barretenberg: v0.67.0

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)