0.57.0 (2024-10-07)
⚠ BREAKING CHANGES
- avm: remove CMOV opcode (#9030)
- avm: make indirects big enough for relative addressing (#9000)
- keccak_ultra -> ultra_keccak (#8878)
Features
- Add support for unlimited width in ACIR (#8960) (3e05e22)
- avm: Integrate public inputs in AVM recursive verifier (#8846) (4354ae0), closes #8714
- avm: Skip gas accounting for fake rows (#8944) (818325a), closes #8903
- CI/local S3 build cache (#8802) (06be26e)
- Connect the public inputs but not the proof in ivc recursion constraints (#8973) (4f1af9a)
- Faster CIV benching with mocked VKs (#8843) (fad3d6e)
- Handle consecutive kernels in IVC (#8924) (0be9f25)
- Lazy commitment key allocation for better memory (#9017) (527d820)
- Make shplemini proof constant (#8826) (c8cbc33)
- New Tracy Time preset and more efficient univariate extension (#8789) (ead4649)
- Origin Tags part 1 (#8787) (ed1e23e)
- Origin Tags Part 2 (#8936) (77c05f5)
- sol: Add shplemini transcript (#8865) (089dbad)
- sol: Shplemini verification (#8866) (989eb08)
- Ultra honk on Shplemini (#8886) (d8d04f6)
- Use structured polys to reduce prover memory (#8587) (59e3dd9)
Bug Fixes
- Assign one_idx in the same place as zero_idx in
UltraCircuitBuilder(#9029) (fe11d9a) - avm: Kernel out full proving fix (#8873) (784d483)
- Bb.js acir tests (#8862) (d8d0541)
Miscellaneous
- avm: Make indirects big enough for relative addressing (#9000) (39b9e78)
- avm: Remove CMOV opcode (#9030) (ec9dfdf)
- bb.js: Strip wasm-threads again (#8833) (68ba5d4)
- Bump foundry (#8868) (bfd0b8e)
- ci: Finally isolate bb-native-tests (#9039) (9c9c385)
- Keccak_ultra -> ultra_keccak (#8878) (670af8a)
- Protogalaxy only instantiated with Mega (#8949) (b8d87f1)
- Prove_then_verify_ultra_honk on all existing acir tests (#9042) (62f6b8a)
- Reduce number of gates in stdlib/sha256 hash function (#8905) (dd3a27e)
- Remove copy from
compute_row_evaluations(#8875) (9cd450e) - Remove unused methods and small state cleanup (#8968) (9b66a3e)
- Removing hack commitment from eccvm (#8825) (5e4cfa7)
- Revert "fix: assign one_idx in the same place as zero_idx in
UltraCircuitBuilder" (#9049) (ebb6a2d)