0.68.0 (2024-12-20)
� 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)
- remove SchnorrVerify opcode (#9897)
Features
- Add gate count tracking for ivc constraints (#10772) (ebd6aba)
- Add priority fees to gas settings (#10763) (263eaad)
- Add total mana used to header (#9868) (2478d19)
- Add tree equality assertions (#10756) (923826a)
- Add verify proof calls to private kernels (#10533) (ce0eee0)
- Added a UnivariateMonomial representation to reduce field ops in protogalaxy+sumcheck (#10401) (15475f4)
- Adding fuzzer for ultra bigfield and relaxing ultra circuit checker (#10433) (da4c47c)
- Allow querying block number for tree indices (#10332) (cf05a7a)
- AVM inserts fee write on txs with public calls (#10394) (98ba747)
- avm: Error handling for address resolution (#9994) (ceaeda5), closes #9131
- avm: New public inputs witgen (#10179) (ac8f13e)
- Avoid inserting an empty leaf in indexed trees on update (#10281) (5a04ca8)
- Avoid inserting an empty leaf in indexed trees on update (#10334) (80fad45)
- bb: Define std::hash for field (#10312) (752bc59)
- Better initialization for permutation mapping components (#10750) (1516d7f)
- CIVC browser proveThenVerify (#10431) (8c064d4)
- Client IVC API (#10217) (cc54a1e)
- Configure world state block history (#10216) (01eb392)
- Don't store every block number in block indices DB (#10658) (a3fba84)
- Full IPA Recursive Verifier (#10189) (b5783d3)
- GETCONTRACTINSTANCE and bytecode retrieval perform nullifier membership checks (#10445) (9301253), closes #10377 #10379
- Handle nested calls in witgen (#10384) (1e21f31)
- Improved data storage metrics (#10020) (c6ab0c9)
- Integrate verify_proof calls in mock protocol circuits (#9253) (7ed89aa)
- Keccak honk proving in bb.js (#10489) (e0d7431)
- Leaf index requests to the native world state can now be performed as a batch query (#10649) (a437e73)
- Manage enqueued calls & phases in AVM witgen (#10310) (e7ebef8)
- Mock IVC state from arbitrary acir IVC recursion constraints (#10314) (ac7c0da)
- Modify HonkRecursionConstraint to handle IPA claims (#10469) (a204d1b)
- Move busread and lookup block construction at the top of the trace (#10707) (e8480cb)
- New 17 in 20 IVC bench added to actions (#10777) (9fbcff6)
- Note hash management in the AVM (#10666) (e077980)
- Origin tags implemented in biggroup (#10002) (c8696b1)
- Remove auto verify mode from ClientIVC (#10599) (b1d8b97)
- Rename Header to BlockHeader (#10372) (0803964)
- Sayonara old hints (#10547) (dede16e)
- Sequential insertion in indexed trees (#10111) (bfd9fa6)
- Several Updates in SMT verification module (part 1) (#10437) (0c37672)
- Speed up transaction execution (#10172) (da265b6)
- Sumcheck with disabled rows (#10068) (abd2226)
- Swap polys to facilitate dynamic trace overflow (#9976) (b7b282c)
- Ultra rollup flows (#10162) (c53f4cf)
- UltraRollupRecursiveFlavor (#10088) (4418ef2)
- Unified create circuit from acir (#10440) (a4dfe13)
Bug Fixes
- Avm gas and non-member (#10709) (dd8cc7b)
- AVM witgen track gas for nested calls and external halts (#10731) (b8bdb52)
- avm: Execution test ordering (#10226) (49b4a6c)
- Bbup cleanup and fix (#10067) (0ff8177)
- Cl/ci3.1 (#10888) (2454a26)
- Don't store indices of zero leaves. (#10270) (c22be8b)
- Handle calls to non-existent contracts in AVM witgen (#10862) (8820bd5)
- Remove auto verify in cbind ivc prove (#10627) (d773423)
- Remove table shifts (#10814) (469476b)
- Revert "feat: Avoid inserting an empty leaf in indexed trees on update" (#10319) (887c011)
- Small fixes to avm witgen (#10749) (96887b6)
- Strip wasm debug (#9987) (62a6b66)
- Url in bbup install (#10456) (1b0dfb7)
- Use correct size for databus_id (#10673) (95eb658)
- Use e2e structure in cbind (#10585) (985aef1)
- Witness changes in file sponge.hpp (#10345) (4a38edf)
- Zero index is not always 0 (#10135) (bbac3d9)
Miscellaneous
- avm: Conditionally enable avm recursion unit tests based on an env variable (#10873) (7a9506c)
- avm: Extra column information in lookups (#10905) (ef247d4)
- avm: Fake verification routine for avm recursion in public base rollup (#10382) (a1e5966), closes #10243
- avm: Gas constants adjustment based on trace rows accounting (#10614) (fc729ef), closes #10368
- avm: Handle parsing error (#10203) (3c623fc), closes #9770
- avm: More pilcom compat changes (#10569) (f18d701)
- avm: Operands reordering (#10182) (69bdf4f), closes #10136
- avm: Pilcom compatibility changes (#10544) (fbc8c0e)
- avm: Radix opcode - remove immediates (#10696) (4ac13e6), closes #10371
- avm: Remove function selector type of getenv opcode (#10406) (38c0c14), closes #9396
- avm: Remove initialization for non-derived polynomials (#10103) (c6fdf4b), closes #10096
- avm: Zero initialization in avm public inputs and execution test fixes (#10238) (0c7c4c9)
- Ci3 phase 1 (#10042) (641da4b)
- CIVC VK (#10223) (089c34c)
- Don't generate proofs of verifier circuits in test (#10405) (c00ebdd)
- 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)
- Making bbup a shell script (#10426) (1c29554)
- master: Release 0.64.0 (#10043) (12b1daa)
- master: Release 0.65.0 (#10181) (903bcb0)
- master: Release 0.65.1 (#10219) (62fc917)
- master: Release 0.65.2 (#10258) (10754db)
- master: Release 0.66.0 (#10282) (fc61b27)
- master: Release 0.67.0 (#10472) (19a500f)
- master: Release 0.67.1 (#10684) (c90bb16)
- Move decider PK allocation to methods (#10670) (1ab9e30)
- Optimise grand product computation round based on active ranges (#10460) (7fa8f84)
- Parallelise construction of perturbator coefficients at each level (#10304) (ba335bd)
- Parallelise inverse polynomial construction for lookup relations (#10413) (427cf59)
- Public inputs in unit tests with proving were incorrectly set (#10300) (0311bf3)
- Pull out some sync changes (#10245) (1bfc15e)
- Pull value merger code from sync (#10080) (3392629)
- Redo typo PR by Dimitrolito (#10364) (da809c5)
- Redo typo PR by leopardracer (#10363) (0d1b722)
- Remove handling of duplicates from the note hash tree (#10016) (ece1d45)
- Remove SchnorrVerify opcode (#9897) (93cd323)
- Replace bbup.dev link (#10908) (6cdcdb3)