Code

feat: Honk recursive verifier Pt. 1#1488

Code

Merged

ledwards2225 merged 15 commits intomasterAztecProtocol/aztec-packages:masterfrom lde/recursive_verifierAztecProtocol/aztec-packages:lde/recursive_verifierCopy head branch name to clipboardAug 18, 2023

+1,508-259

Commits

Commits on Aug 18, 2023

• shell of stdlib flavor and recursive verifier test

  ledwards2225

  committed
  e0f24fa

  Copy full SHA for e0f24fa

• sumcheck recursive verify is building

  ledwards2225

  committed
  b124338

  Copy full SHA for b124338

• verifies and passes check circuit through sumcheck

  ledwards2225

  committed
  6673bdc

  Copy full SHA for 6673bdc

• move recursive vk constructor to flavor

  ledwards2225

  committed
  e3a88c5

  Copy full SHA for e3a88c5

• unsatisfying but working barycentric solution

  ledwards2225

  committed
  2477b64

  Copy full SHA for 2477b64

• get rid of is_literal_type

  ledwards2225

  committed
  eadeaf9

  Copy full SHA for eadeaf9

• things working prior to gemini reduce verify

  ledwards2225

  committed
  e30f756

  Copy full SHA for e30f756

• tests passing through gemini

  ledwards2225

  committed
  e6a60d4

  Copy full SHA for e6a60d4

• building and running through Shplonk

  ledwards2225

  committed
  481a482

  Copy full SHA for 481a482

• better stdlib code paths in shplonk

  ledwards2225

  committed
  bd78acf

  Copy full SHA for bd78acf

• debugging prints

  ledwards2225

  committed
  fa67966

  Copy full SHA for fa67966

• added computation of pairing points and pairing check in test

  ledwards2225

  committed
  a50b1ff

  Copy full SHA for a50b1ff

• comments and cleanup

  ledwards2225

  committed
  cbf04fa

  Copy full SHA for cbf04fa

• test commenting and cleanup

  ledwards2225

  committed
  76c7640

  Copy full SHA for 76c7640

• lots of comment and naming updates based on review

  ledwards2225

  committed
  6a22879

  Copy full SHA for 6a22879