Code

feat: solidity honk verifier#5485

Code

Merged

codygunton merged 32 commits intomasterAztecProtocol/aztec-packages:masterfrom md/02-26-feat_honk_verifier_startAztecProtocol/aztec-packages:md/02-26-feat_honk_verifier_startCopy head branch name to clipboardJul 22, 2024

+8,038-164

Commits

Commits on Feb 27, 2024

• feat(honk): verifier start

  Maddiaa0

  committed
  fa6a841

Commits on Mar 4, 2024

• temp

  Maddiaa0

  committed
  fabd169

Commits on Mar 19, 2024

• Merge branch 'master' into md/02-26-feat_honk_verifier_start

  Maddiaa0

  committed
  43cd61a

Commits on Mar 20, 2024

• temp - get it compiling

  Maddiaa0

  committed
  323e7b0

• Merge branch 'master' into md/02-26-feat_honk_verifier_start

  Maddiaa0

  committed
  ff22c01

• temp

  Maddiaa0

  committed
  1ed41cb

• temp 2

  Maddiaa0

  committed
  78d45b0

• feat: fiat shamir complete

  Maddiaa0

  committed
  b7881f1

Commits on Mar 21, 2024

• feat: experiment with a custom Fr type

  Maddiaa0

  committed
  a724d30

• feat: oink verifier stages

  Maddiaa0

  committed
  dd85f2d

Commits on Mar 23, 2024

• feat: arith, perm, lookup, gen perm relation

  Maddiaa0

  committed
  538f432

• feat: field inversions

  Maddiaa0

  committed
  654ab55

• feat: elliptic relation

  Maddiaa0

  committed
  b9fe7ba

Commits on Mar 25, 2024

• feat: sumcheck complete

  Maddiaa0

  committed
  7f94eb2

Commits on Mar 26, 2024

• feat: start zm

  Maddiaa0

  committed
  b510ca8

• feat: more zm

  Maddiaa0

  committed
  1da70e0

Commits on Mar 27, 2024

• feat: honk verification

  Maddiaa0

  committed
  6c5da89

• chore: remove logs for gas accounting

  Maddiaa0

  committed
  d131397

Commits on Mar 30, 2024

• 🧹

  Maddiaa0

  committed
  b914b69

• 🧹

  Maddiaa0

  committed
  1443210

• 🧹

  Maddiaa0

  committed
  ecd7af6

Commits on Apr 1, 2024

• 🧹

  Maddiaa0

  committed
  2f9a5d0

• chore: add verifier for 3 circuit types

  Maddiaa0

  committed
  60e2a7a

• fix: fix fuzz tests

  Maddiaa0

  committed
  56c28fb

Commits on Apr 16, 2024

• fix: add extra check and invert checkSum result

  Maddiaa0

  committed
  3f5a478

Commits on Jul 16, 2024

• Merge branch 'master' into md/02-26-feat_honk_verifier_start

  Maddiaa0

  committed
  f08a0ec

Commits on Jul 17, 2024

• temp

  Maddiaa0

  committed
  9d7a651

Commits on Jul 21, 2024

• fix: Update honk implementation: add logderiv, scaled etas

  Maddiaa0

  committed
  10a8eea

• fix

  Maddiaa0

  committed
  b2e9eee

• Merge branch 'master' into md/02-26-feat_honk_verifier_start

  Maddiaa0

  authored
  eaa1c0e

• fix: clean up comments

  Maddiaa0

  committed
  4d26743

Commits on Jul 22, 2024

• fix: remove box commit

  Maddiaa0

  committed
  d2906cf