Code

feat: Constant Honk proof sizes#6954

Code

Merged

ledwards2225 merged 54 commits intomasterAztecProtocol/aztec-packages:masterfrom cg/constant-honk-proof-sizeAztecProtocol/aztec-packages:cg/constant-honk-proof-sizeCopy head branch name to clipboardJun 28, 2024

+738-503

Commits

Commits on Jun 12, 2024

• squash; prove_then_verify flow acir test passes

  codygunton

  committed
  fb8ab2c

  Copy full SHA for fb8ab2c

• Merge branch 'master' into cg/constant-honk-proof-size

  codygunton

  authored
  99b9b7e

  Copy full SHA for 99b9b7e

Commits on Jun 23, 2024

• Make stdlib Zm verifier test; it fails.

  codygunton

  committed
  2edb0e8

  Copy full SHA for 2edb0e8

Commits on Jun 24, 2024

• Trying to debug

  codygunton

  committed
  3e6e746

  Copy full SHA for 3e6e746

• It passes

  codygunton

  committed
  8ffeda0

  Copy full SHA for 8ffeda0

• WIP including sumcheck (need more stuff from lx/)

  codygunton

  committed
  15beef5

  Copy full SHA for 15beef5

• getting it to build (with hacks)

  lucasxia01

  committed
  c22a8e7

  Copy full SHA for c22a8e7

• modified dummy rounds to be end of sumcheck, native ultra_honk tests pass

  lucasxia01

  committed
  63dd3bc

  Copy full SHA for 63dd3bc

• passed dummy_round to univariate_eval - recursive verifier test passes

  lucasxia01

  committed
  7afccfe

  Copy full SHA for 7afccfe

• cherrypicked - Implement vk hash and check

  

  codygunton

  authored and

  lucasxia01

  committed
  0dd7530

  Copy full SHA for 0dd7530

• moved recursive verifier changes to this branch from honk-in-rollup

  lucasxia01

  committed
  d6e1efb

  Copy full SHA for d6e1efb

• updating acir/prover.toml of test programs - prove_then_verify flow passes??

  lucasxia01

  committed
  fe85e03

  Copy full SHA for fe85e03

• don't pass the witness to the write_vk_honk flow

  lucasxia01

  committed
  25d0a15

  Copy full SHA for 25d0a15

• Detect rec ver vk changes in test

  codygunton

  committed
  ebe4115

  Copy full SHA for ebe4115

Commits on Jun 25, 2024

• Note bad values

  codygunton

  committed
  0036183

  Copy full SHA for 0036183

• check outer circuit vk not inner

  ledwards2225

  committed
  5db6800

  Copy full SHA for 5db6800

• Merge branch 'master' into cg/constant-honk-proof-size

  ledwards2225

  committed
  302945a

  Copy full SHA for 302945a

• missed test suite updates

  ledwards2225

  committed
  ff23a57

  Copy full SHA for ff23a57

• add back in PCS round missed in merge

  ledwards2225

  committed
  ad22a00

  Copy full SHA for ad22a00

• Merge branch 'master' into cg/constant-honk-proof-size

  ledwards2225

  committed
  3e881e3

  Copy full SHA for 3e881e3

• fix wrapping size_t exponent in ZM

  ledwards2225

  committed
  d138cbc

  Copy full SHA for d138cbc

• update Prover.toml and disable tube acir test for now

  ledwards2225

  committed
  41e8e50

  Copy full SHA for 41e8e50

Commits on Jun 26, 2024

• Fix AcirHonkRecursionConstraint.TestFullRecursiveComposition

  codygunton

  committed
  6f1767a

  Copy full SHA for 6f1767a

• updating proof size and prover toml

  ledwards2225

  committed
  dcd01e3

  Copy full SHA for dcd01e3

• moving changes to honk_recursion_constraint over from other branch

  lucasxia01

  committed
  e4c553b

  Copy full SHA for e4c553b

• revert rebuild script changes

  ledwards2225

  committed
  503adcc

  Copy full SHA for 503adcc

• vk hash agrees for verify_honk_proof thru sumcheck

  ledwards2225

  committed
  fd378aa

  Copy full SHA for fd378aa

• infinite llopy?

  ledwards2225

  committed
  84ba6fa

  Copy full SHA for 84ba6fa

• No infinite llopy

  codygunton

  committed
  61b6744

  Copy full SHA for 61b6744

• Pow in Zm uses witness

  codygunton

  committed
  4ede58a

  Copy full SHA for 4ede58a

• Skip it

  codygunton

  committed
  6d460c0

  Copy full SHA for 6d460c0

• prove_then_verify passes!

  codygunton

  committed
  5ca1060

  Copy full SHA for 5ca1060

• Merge branch 'master' into cg/constant-honk-proof-size

  ledwards2225

  committed
  5e4ea9d

  Copy full SHA for 5e4ea9d

• revert rebuild changes

  ledwards2225

  committed
  41677b7

  Copy full SHA for 41677b7

• delete recusion kernel pinning and fix build

  ledwards2225

  committed
  ecf2cec

  Copy full SHA for ecf2cec

• fix gcc

  ledwards2225

  committed
  137ab4e

  Copy full SHA for 137ab4e

Commits on Jun 27, 2024

• remove lookup delta, maybe fix build?

  ledwards2225

  committed
  b1fbd1e

  Copy full SHA for b1fbd1e

• Merge branch 'master' into cg/constant-honk-proof-size

  lucasxia01

  authored
  8c48c76

  Copy full SHA for 8c48c76

• cleanup

  ledwards2225

  committed
  26252cf

  Copy full SHA for 26252cf

• Merge branch 'cg/constant-honk-proof-size' of github.com:AztecProtocol/aztec-packages into cg/constant-honk-proof-size

  ledwards2225

  committed
  ee01801

  Copy full SHA for ee01801

• more cleanup

  ledwards2225

  committed
  56d9c8c

  Copy full SHA for 56d9c8c

• replace local MAX_LOG with global constant

  ledwards2225

  committed
  79ff45a

  Copy full SHA for 79ff45a

• more clean

  ledwards2225

  committed
  e2875b5

  Copy full SHA for e2875b5

• clean cleann

  ledwards2225

  committed
  b700670

  Copy full SHA for b700670

• Merge branch 'master' into cg/constant-honk-proof-size

  ledwards2225

  committed
  ef815c9

  Copy full SHA for ef815c9

• cleanup and some todos

  ledwards2225

  committed
  1c09df7

  Copy full SHA for 1c09df7

• issue for circuit size in eccvm rec verifier

  ledwards2225

  committed
  8d3cf4f

  Copy full SHA for 8d3cf4f

Commits on Jun 28, 2024

• Merge branch 'master' into cg/constant-honk-proof-size

  ledwards2225

  committed
  331e839

  Copy full SHA for 331e839

• fix avm verifier mle challenge size

  ledwards2225

  committed
  355083b

  Copy full SHA for 355083b

• add todo for gate challenges

  ledwards2225

  committed
  58f324a

  Copy full SHA for 58f324a

• todo for adding hashing constraint for ultra

  ledwards2225

  committed
  eb1e87d

  Copy full SHA for eb1e87d

• cleanup, todos, and avm gen updates

  ledwards2225

  committed
  3cb9179

  Copy full SHA for 3cb9179

• comments, TODOs, cleanup in response to review

  ledwards2225

  committed
  3570320

  Copy full SHA for 3570320

• use older hashing issue in TODO

  ledwards2225

  committed
  296b16e

  Copy full SHA for 296b16e