Code

Perf: plonk verifier gadget#949

Code

Merged

yelhousni merged 87 commits intomasterConsensys/gnark:masterfrom perf/plonk-verifierConsensys/gnark:perf/plonk-verifierCopy head branch name to clipboardDec 13, 2023

+2,958-4,063

Commits

Commits on Oct 18, 2023

• feat(sw_bls12377): Add DoubleFixedQPairing

  yelhousni

  committed
  a88809d

  Copy full SHA for a88809d

• feat(sw_bls24315): Add DoubleFixedQPairing

  yelhousni

  committed
  588b840

  Copy full SHA for 588b840

Commits on Oct 19, 2023

• perf: kzg gadget using DoubleFixedQPairing

  yelhousni

  committed
  44733f1

  Copy full SHA for 44733f1

• refactor(bn254, bls12-381): DoubleFixedQPairing and kzg

  yelhousni

  committed
  768d2ad

  Copy full SHA for 768d2ad

• Merge branch 'master' into perf/kzg

  yelhousni

  committed
  dea5a07

  Copy full SHA for dea5a07

Commits on Oct 23, 2023

• Merge branch 'feat/bw6761-fixed-pairing' into perf/kzg

  yelhousni

  committed
  213b824

  Copy full SHA for 213b824

• Merge branch 'feat/bw6761-fixed-pairing' into perf/kzg

  yelhousni

  committed
  2e21d9e

  Copy full SHA for 2e21d9e

• perf(bw6): use optimized DoublePairFixedQ in kzg

  yelhousni

  committed
  ec2f3f4

  Copy full SHA for ec2f3f4

Commits on Oct 24, 2023

• Merge branch 'master' into perf/kzg

  yelhousni

  committed
  7b8201c

  Copy full SHA for 7b8201c

Commits on Oct 26, 2023

• refactor(kzg): lazy precomputation of lines

  yelhousni

  committed
  97842ed

  Copy full SHA for 97842ed

Commits on Nov 9, 2023

• refactor(emulated): use gnark-crytpo fixed-arg pairing

  yelhousni

  committed
  a377fa6

  Copy full SHA for a377fa6

• refactor(2-chains): use gnark-crytpo fixed-arg pairing

  yelhousni

  committed
  fcd7024

  Copy full SHA for fcd7024

Commits on Nov 10, 2023

• refactor: bls24 also uses size 4 lines

  yelhousni

  committed
  bfc72d0

  Copy full SHA for bfc72d0

• refactor: use lineEvaluation type instead of field elements

  yelhousni

  committed
  5461270

  Copy full SHA for 5461270

Commits on Nov 11, 2023

• refactor: algebra interface and pairing

  yelhousni

  committed
  44d4faf

  Copy full SHA for 44d4faf

• perf: use new fixed-arg pairing in kzg (WIP)

  yelhousni

  committed
  03861c5

  Copy full SHA for 03861c5

• perf: use new fixed-arg pairing in kzg

  yelhousni

  committed
  f2b60d1

  Copy full SHA for f2b60d1

• refactor: some refactoring

  yelhousni

  committed
  87e2d9f

  Copy full SHA for 87e2d9f

• Merge branch 'master' into perf/kzg

  yelhousni

  committed
  64a7cc8

  Copy full SHA for 64a7cc8

• Merge branch 'master' into perf/kzg

  yelhousni

  committed
  c4f12ad

  Copy full SHA for c4f12ad

• fix: groth16 recursion

  yelhousni

  committed
  649a633

  Copy full SHA for 649a633

• refactor: use variable point in tests for precomputeLines

  yelhousni

  committed
  237764e

  Copy full SHA for 237764e

Commits on Nov 15, 2023

• perf(bn254): mul lines 2-by-2 in fixed-arg pairing for KZG when bit=0

  yelhousni

  committed
  079d9d1

  Copy full SHA for 079d9d1

• chore: update gnark-crypto

  yelhousni

  committed
  7bbfd50

  Copy full SHA for 7bbfd50

Commits on Nov 16, 2023

• Merge branch 'master' into perf/kzg

  yelhousni

  committed
  813a47d

  Copy full SHA for 813a47d

• refactor: re-introduce points in KZG verification key

  yelhousni

  committed
  343d7ef

  Copy full SHA for 343d7ef

Commits on Nov 17, 2023

• chore: update gnark-crypto

  yelhousni

  committed
  d86a141

  Copy full SHA for d86a141

Commits on Nov 30, 2023

• feat(2-chain): MSM of size 2

  yelhousni

  committed
  5ee67a1

  Copy full SHA for 5ee67a1

• fix(2-chain): last iteration of MSM of size 2

  yelhousni

  committed
  4d93903

  Copy full SHA for 4d93903

• perf: use JointScalarMul in plonk recursion

  yelhousni

  committed
  e0e6494

  Copy full SHA for e0e6494

Commits on Dec 1, 2023

• perf(plonkVerif): manually reduce wrong-field elements here and there

  yelhousni

  committed
  670a9ec

  Copy full SHA for 670a9ec

Commits on Dec 2, 2023

• perf(mimc/bw6-761): use inverse as bijection instead of pow5

  yelhousni

  committed
  bdab848

  Copy full SHA for bdab848

• perf(2-chain/msm): special case using same scalar

  yelhousni

  committed
  079152e

  Copy full SHA for 079152e

• perf: mutualize bit decomposition when same scalar used is ScalarMul

  yelhousni

  committed
  5e6c608

  Copy full SHA for 5e6c608

Commits on Dec 3, 2023

• perf: implement unified addition in 2-chains

  yelhousni

  committed
  82f4176

  Copy full SHA for 82f4176

Commits on Dec 4, 2023

• perf: rewrite Hayashida et al. hard part

  yelhousni

  committed
  9c27643

  Copy full SHA for 9c27643

• Merge branch 'master' into perf/kzg

  yelhousni

  committed
  fc61e36

  Copy full SHA for fc61e36

• Merge branch 'master' into perf/plonk-verifier

  yelhousni

  committed
  ae2b1d6

  Copy full SHA for ae2b1d6

• Revert "perf(plonkVerif): manually reduce wrong-field elements here and there"

  Show description for 10ad7ac
  yelhousni

  committed
  10ad7ac

  Copy full SHA for 10ad7ac

• refactor(bn254): precomputed lines embedded in G2Affine struct

  yelhousni

  committed
  8f3b20d

  Copy full SHA for 8f3b20d

Commits on Dec 5, 2023

• refactor(bn254+bw6761): use precomputed lines in kzg and plonk verifier

  yelhousni

  committed
  a572b8c

  Copy full SHA for a572b8c

• fix: groth16 verifier

  yelhousni

  committed
  696c813

  Copy full SHA for 696c813

• refactor(bls12-381): precomputed lines embedded in G2Affine struct

  yelhousni

  committed
  005549f

  Copy full SHA for 005549f

• refactor(bls12381, bn254, bw6761): precomputed lines in KZG

  yelhousni

  committed
  eaf7e8b

  Copy full SHA for eaf7e8b

• fix: test Expt remaned to ExpX0

  yelhousni

  committed
  df19d9b

  Copy full SHA for df19d9b

• test: plonk verifier with precomputed lines

  yelhousni

  committed
  be1cf55

  Copy full SHA for be1cf55

Commits on Dec 6, 2023

• refactor(2-chain): precomputed lines in pairing + KZG + plonk verifier

  yelhousni

  committed
  cc528dd

  Copy full SHA for cc528dd

• refactor(2-chain bls24): precomputed lines in pairing+KZG+plonk verifier

  yelhousni

  committed
  0af6ef0

  Copy full SHA for 0af6ef0

• refactor: rename precompute to compute when done in-circuit

  yelhousni

  committed
  5b72b4a

  Copy full SHA for 5b72b4a

• fix: update stats

  yelhousni

  committed
  dba4c79

  Copy full SHA for dba4c79

• refactor: reconcile with master

  yelhousni

  committed
  f8a3f82

  Copy full SHA for f8a3f82

• Merge branch 'perf/kzg' into perf/plonk-verifier

  yelhousni

  committed
  b4f4738

  Copy full SHA for b4f4738

• perf(bls12-377/FE): rearrange addchain to use karabina1234 sq for size 3

  yelhousni

  committed
  2e061ca

  Copy full SHA for 2e061ca

• perf(bw6/FE): Karabina1234 all the way is better in emulated case

  yelhousni

  committed
  b766ff7

  Copy full SHA for b766ff7

• perf(bw6/tower): save some emulated negations

  yelhousni

  committed
  0e29879

  Copy full SHA for 0e29879

• perf(bw6/pairing): small perf improvement

  yelhousni

  committed
  870dd5a

  Copy full SHA for 870dd5a

• perf(bw6/plonk-verifier): small perf improvement

  yelhousni

  committed
  dc152cd

  Copy full SHA for dc152cd

Commits on Dec 7, 2023

• perf(emulated/doubleAndAdd): substitute some Sub with Add

  yelhousni

  committed
  7f9ef23

  Copy full SHA for 7f9ef23

• perf(emulated/doubleAndAdd): avoid an emulated negation

  yelhousni

  committed
  7fb4c17

  Copy full SHA for 7fb4c17

• perf: isolate trival add/mul by 0/1 in plonk verifier and kzg

  yelhousni

  committed
  23b2918

  Copy full SHA for 23b2918

Commits on Dec 8, 2023

• perf: minor optims for plonk verifier

  yelhousni

  committed
  f9b9df9

  Copy full SHA for f9b9df9

Commits on Dec 10, 2023

• perf: glv-base msm for bw6 (dirty)

  yelhousni

  committed
  2386a14

  Copy full SHA for 2386a14

Commits on Dec 11, 2023

• perf: plonk verifier

  yelhousni

  committed
  c0b923c

  Copy full SHA for c0b923c

• perf: bw6 glv with smaller loop

  yelhousni

  committed
  f26c9aa

  Copy full SHA for f26c9aa

Commits on Dec 12, 2023

• refactor: remove SameScalarMul from interface

  yelhousni

  committed
  d9865b4

  Copy full SHA for d9865b4

• feat: implement glv for all curves

  yelhousni

  committed
  192708e

  Copy full SHA for 192708e

• fix: use Generic instead of GLV for ECMUL to handle edge-cases

  yelhousni

  committed
  3b96e17

  Copy full SHA for 3b96e17

• refactor: hardcode glv values instead of exporting from gnark-crypto

  yelhousni

  committed
  e7e5628

  Copy full SHA for e7e5628

• chore: fix linter errors

  ivokub

  committed
  018b09a

  Copy full SHA for 018b09a

• perf: avoid some additions in jointScalarMulGLV

  yelhousni

  committed
  31f67a7

  Copy full SHA for 31f67a7

Commits on Dec 13, 2023

• Revert "perf(mimc/bw6-761): use inverse as bijection instead of pow5"

  Show description for 0737cc8
  yelhousni

  committed
  0737cc8

  Copy full SHA for 0737cc8

• fix: stats

  yelhousni

  committed
  e22b65a

  Copy full SHA for e22b65a

• chore: inline computation

  ivokub

  committed
  e187ab5

  Copy full SHA for e187ab5

• chore: use type alias

  ivokub

  committed
  d0d198f

  Copy full SHA for d0d198f

• test: keep test curve

  ivokub

  committed
  a5b1b80

  Copy full SHA for a5b1b80

• refactor: use line evaluation references for avoiding copies

  ivokub

  committed
  166008c

  Copy full SHA for 166008c

• docs: add method documentation

  ivokub

  committed
  57da485

  Copy full SHA for 57da485

• refactor: make newG2Aff private

  ivokub

  committed
  a7eec50

  Copy full SHA for a7eec50

• chore: remove unused line eval init

  ivokub

  committed
  14211e7

  Copy full SHA for 14211e7

• feat: register hints in std/ also when have no circuit

  ivokub

  committed
  ef4572e

  Copy full SHA for ef4572e

• refactor: use emulated pointer to avoid init when no GLV

  ivokub

  committed
  823c63d

  Copy full SHA for 823c63d

• docs: define that addition is now unsafe

  ivokub

  committed
  c3c813b

  Copy full SHA for c3c813b

• fix: use eigenvalue and thirdroot pointers

  ivokub

  committed
  c4f4a2d

  Copy full SHA for c4f4a2d

• fix: init lines before assigning

  ivokub

  committed
  c9d6114

  Copy full SHA for c9d6114

• chore: remove unused line init

  ivokub

  committed
  b150f30

  Copy full SHA for b150f30

• refactor: use existing modulus value

  ivokub

  committed
  188c4d8

  Copy full SHA for 188c4d8

• refactor: work on pointer values

  ivokub

  committed
  e76b231

  Copy full SHA for e76b231