Code

feat: folding acir programs#6685

Code

Merged

ledwards2225 merged 33 commits intomasterAztecProtocol/aztec-packages:masterfrom lde/acir_foldingAztecProtocol/aztec-packages:lde/acir_foldingCopy head branch name to clipboardMay 28, 2024

+307-19

Commits

Commits on May 20, 2024

• WiP fails to verify with any recursive verifier

  ledwards2225

  committed
  8009652

  Copy full SHA for 8009652

• basic integration test setup

  ledwards2225

  committed
  5c1bdf8

  Copy full SHA for 5c1bdf8

• add and use program stack struct

  ledwards2225

  committed
  1e4efca

  Copy full SHA for 1e4efca

• integration test for program stack

  ledwards2225

  committed
  2c0b89c

  Copy full SHA for 2c0b89c

• client ivc prove and verify method

  ledwards2225

  committed
  e328d2c

  Copy full SHA for e328d2c

• updates to inegration tests, client ivc test failing

  ledwards2225

  committed
  aaf1550

  Copy full SHA for aaf1550

• minimal test showing issue with adding RAM post

  ledwards2225

  committed
  436f751

  Copy full SHA for 436f751

Commits on May 22, 2024

• test cleanup

  ledwards2225

  committed
  5e9072f

  Copy full SHA for 5e9072f

• Merge branch 'master' into lde/acir_folding

  ledwards2225

  committed
  6a1de02

  Copy full SHA for 6a1de02

• client ivc test passes

  ledwards2225

  committed
  492b2ed

  Copy full SHA for 492b2ed

• move adding of mock ops into client ivc

  ledwards2225

  committed
  6e7162f

  Copy full SHA for 6e7162f

• fold and verify flow passes

  ledwards2225

  committed
  f3a91e0

  Copy full SHA for f3a91e0

• add cbinds for fold and verify

  ledwards2225

  committed
  deb9658

  Copy full SHA for deb9658

Commits on May 23, 2024

• Merge branch 'master' into lde/acir_folding

  ledwards2225

  committed
  bfc2db9

  Copy full SHA for bfc2db9

• add fold tests to CI for bb and bbjs

  ledwards2225

  committed
  5adc97a

  Copy full SHA for 5adc97a

• Merge branch 'master' into lde/acir_folding

  ledwards2225

  committed
  e3088ef

  Copy full SHA for e3088ef

• update integration tests after merge

  ledwards2225

  committed
  5e5784c

  Copy full SHA for 5e5784c

• Merge branch 'master' into lde/acir_folding

  ledwards2225

  committed
  248d4ba

  Copy full SHA for 248d4ba

• fix binding

  ledwards2225

  committed
  adcbe99

  Copy full SHA for adcbe99

• fix CI setup

  ledwards2225

  committed
  0cacb52

  Copy full SHA for 0cacb52

• clean up

  ledwards2225

  committed
  bea3d67

  Copy full SHA for bea3d67

Commits on May 24, 2024

• clean up

  ledwards2225

  committed
  bba7d2d

  Copy full SHA for bba7d2d

• Merge branch 'master' into lde/acir_folding

  ledwards2225

  committed
  ee002d6

  Copy full SHA for ee002d6

• Merge branch 'master' into lde/acir_folding

  ledwards2225

  committed
  db19d39

  Copy full SHA for db19d39

• mega name fix

  ledwards2225

  committed
  233ff93

  Copy full SHA for 233ff93

• disable tests at risk for intermittent failure

  ledwards2225

  committed
  7d03507

  Copy full SHA for 7d03507

Commits on May 27, 2024

• Address issue 1003

  codygunton

  committed
  a41fe29

  Copy full SHA for a41fe29

• Merge remote-tracking branch 'origin/master' into lde/acir_folding

  codygunton

  committed
  92fd298

  Copy full SHA for 92fd298

Commits on May 28, 2024

• update mega naming

  ledwards2225

  committed
  e7ace4a

  Copy full SHA for e7ace4a

• Merge branch 'master' into lde/acir_folding

  ledwards2225

  committed
  c4c1843

  Copy full SHA for c4c1843

• update name

  ledwards2225

  committed
  922d83e

  Copy full SHA for 922d83e

• disable last integration test

  ledwards2225

  committed
  ffc3622

  Copy full SHA for ffc3622

• Merge branch 'master' into lde/acir_folding

  ledwards2225

  authored
  837de7e

  Copy full SHA for 837de7e