Code

feat: add PLONK in-circuit verifier#880

Code

Merged

ivokub merged 27 commits intomasterConsensys/gnark:masterfrom feat/plonk-verifierConsensys/gnark:feat/plonk-verifierCopy head branch name to clipboardNov 28, 2023

+1,849-13

Commits

Commits on Nov 20, 2023

• test: add recursion hash tests

  ivokub

  committed
  53fee2d

  Copy full SHA for 53fee2d

• fix: accumulate MSM result

  ivokub

  committed
  e29589c

  Copy full SHA for e29589c

• refactor: take emulated element for additional data

  ivokub

  committed
  395a6d7

  Copy full SHA for 395a6d7

• fix: handled infinity point in native multi scalar exp

  

  ThomasPiellard

  authored and

  ivokub

  committed
  3945e90

  Copy full SHA for 3945e90

• fix: use only nbBits when creating scalar

  ivokub

  committed
  daae22c

  Copy full SHA for daae22c

• feat: add PLONK verifier

  ivokub

  committed
  7a41420

  Copy full SHA for 7a41420

• feat: PlaceholderVerifyingKey takes the vk as argument

  

  ThomasPiellard

  authored and

  ivokub

  committed
  ed6ce0a

  Copy full SHA for ed6ce0a

• feat: f -> scalarApi

  

  ThomasPiellard

  authored and

  ivokub

  committed
  c72177b

  Copy full SHA for c72177b

• feat: addition of computeIthLagrangeAtZeta

  

  ThomasPiellard

  authored and

  ivokub

  committed
  e727a92

  Copy full SHA for e727a92

• feat: bsb commitments are added to pi

  

  ThomasPiellard

  authored and

  ivokub

  committed
  9595331

  Copy full SHA for 9595331

• refactor: PlaceholderProof takes the proof as argument

  

  ThomasPiellard

  authored and

  ivokub

  committed
  e958ce6

  Copy full SHA for e958ce6

• fix: compute ith lagrange ok, hashToField failing

  

  ThomasPiellard

  authored and

  ivokub

  committed
  330904c

  Copy full SHA for 330904c

• fix: native short hash output size

  ivokub

  committed
  dbff073

  Copy full SHA for dbff073

• feat: add bw6

  ivokub

  committed
  5f8a060

  Copy full SHA for 5f8a060

• docs: add package documentation

  ivokub

  committed
  b7cc8fb

  Copy full SHA for b7cc8fb

• refactor: describe error in panic

  ivokub

  committed
  75bf361

  Copy full SHA for 75bf361

• refactor: init curve and pairing implicitly

  ivokub

  committed
  01f28ce

  Copy full SHA for 01f28ce

• refactor: remove comments

  ivokub

  committed
  e608d57

  Copy full SHA for e608d57

• docs: add package examples

  ivokub

  committed
  16d88db

  Copy full SHA for 16d88db

• feat: add all supported witness assignments

  ivokub

  committed
  5860e3a

  Copy full SHA for 5860e3a

Commits on Nov 23, 2023

• test: add MSM test

  ivokub

  committed
  74145f9

  Copy full SHA for 74145f9

• fix: remove todo panic

  ivokub

  committed
  f4fc463

  Copy full SHA for f4fc463

• feat: add option shortcuts

  ivokub

  committed
  51846bf

  Copy full SHA for 51846bf

Commits on Nov 28, 2023

• fix: include hash to field in shortcut option

  ivokub

  committed
  9e3d250

  Copy full SHA for 9e3d250

• feat: use only CCS for placeholder proof and verifyingkey

  ivokub

  committed
  a3ec483

  Copy full SHA for a3ec483

• chore: typos and cleanup

  ivokub

  committed
  3608b29

  Copy full SHA for 3608b29

• docs: add KZG package documentation

  ivokub

  committed
  f31664b

  Copy full SHA for f31664b