0.67.0 (2024-12-13)
⚠ BREAKING CHANGES
- lower public tx gas limit to 6M (#10635)
- l2 gas maximum is per-TX-public-portion. AVM startup gas is now 20k. (#10214)
- rename Header to BlockHeader (#10372)
Features
- Add verify proof calls to private kernels (#10533) (ce0eee0)
- Adding fuzzer for ultra bigfield and relaxing ultra circuit checker (#10433) (da4c47c)
- AVM inserts fee write on txs with public calls (#10394) (98ba747)
- CIVC browser proveThenVerify (#10431) (8c064d4)
- GETCONTRACTINSTANCE and bytecode retrieval perform nullifier membership checks (#10445) (9301253), closes #10377 #10379
- Handle nested calls in witgen (#10384) (1e21f31)
- Keccak honk proving in bb.js (#10489) (e0d7431)
- Modify HonkRecursionConstraint to handle IPA claims (#10469) (a204d1b)
- Remove auto verify mode from ClientIVC (#10599) (b1d8b97)
- Rename Header to BlockHeader (#10372) (0803964)
- Sayonara old hints (#10547) (dede16e)
- Several Updates in SMT verification module (part 1) (#10437) (0c37672)
- Unified create circuit from acir (#10440) (a4dfe13)
Bug Fixes
- Remove auto verify in cbind ivc prove (#10627) (d773423)
- Use e2e structure in cbind (#10585) (985aef1)
Miscellaneous
- avm: Gas constants adjustment based on trace rows accounting (#10614) (fc729ef), closes #10368
- avm: More pilcom compat changes (#10569) (f18d701)
- avm: Pilcom compatibility changes (#10544) (fbc8c0e)
- L2 gas maximum is per-TX-public-portion. AVM startup gas is now 20k. (#10214) (1365401)
- Lower public tx gas limit to 6M (#10635) (9836036)
- Optimise grand product computation round based on active ranges (#10460) (7fa8f84)