Code

feat: Goblin recursive verifier#1822

Code

Merged

ledwards2225 merged 13 commits intomasterAztecProtocol/aztec-packages:masterfrom lde/goblin_recursive_verifierAztecProtocol/aztec-packages:lde/goblin_recursive_verifierCopy head branch name to clipboardSep 5, 2023

+413-250

Commits

Commits on Sep 5, 2023

• proper goblin batch mul in biggroup; tests passing

  ledwards2225

  committed
  c422de1

  Copy full SHA for c422de1

• convert muls in Gemini to batch mul

  ledwards2225

  committed
  0da55f9

  Copy full SHA for 0da55f9

• convert Shplonk to batch mul

  ledwards2225

  committed
  eb7f119

  Copy full SHA for eb7f119

• template recursive verifier on goblin flag

  ledwards2225

  committed
  77ca9af

  Copy full SHA for 77ca9af

• batch mul in kzg

  ledwards2225

  committed
  ebee778

  Copy full SHA for ebee778

• remove unneeded else in batch mul

  ledwards2225

  committed
  2566a06

  Copy full SHA for 2566a06

• add test for goblin batch mul

  ledwards2225

  committed
  fe578f1

  Copy full SHA for fe578f1

• comments and cleanup

  ledwards2225

  committed
  abfdc34

  Copy full SHA for abfdc34

• todos with issue numbers in gemini

  ledwards2225

  committed
  7b27b3d

  Copy full SHA for 7b27b3d

• WiP alternative constraints

  ledwards2225

  committed
  ef387fb

  Copy full SHA for ef387fb

• update constraints in batch mul

  ledwards2225

  committed
  2eebc7a

  Copy full SHA for 2eebc7a

• fix unconstrained witnesses and do add accum in batch mul

  ledwards2225

  committed
  9abfd42

  Copy full SHA for 9abfd42

• update zero evaluation and comments

  ledwards2225

  committed
  05e872f

  Copy full SHA for 05e872f