0.42.0 (2024-06-04)
� BREAKING CHANGES
- integrate AVM proving (#6775)
Features
- ACIR integration tests in Bb (#6607) (ca89670)
- Add code-workspace and update build dirs (#6723) (c373d15)
- Add goblin recursive verifier to ClientIVC recursive verifier (#6811) (bd795c7)
- avm executor: Kernel outputs & execution hints in executor (#6769) (6ab7360)
- Avm unconstrained external call (#6846) (5a65ffc)
- avm: Add storage address kernel opcode (#6863) (19aba3e)
- avm: Add temporary sha256 execution (#6604) (34088b4)
- avm: Avm keccak permutation (#6596) (c0917e4)
- avm: Handle debuglog (#6630) (eba345b)
- avm: In vm static gas accounting (#6542) (6b88ae0)
- avm: Internal call stack dedicated memory (#6503) (d3c3d4a), closes #6245
- avm: JUMPI opcode in AVM circuit (#6800) (64d4ba9), closes #6795
- avm: Kernel output opcodes (#6416) (0281b8f)
- avm: Pedersen ops (#6765) (7b3a72c)
- avm: Plumb execution hints from TS to AVM prover (#6806) (f3234f1)
- avm: Poseidon2 gadget (#6504) (9e8cba1)
- avm: Sha256_compression (#6452) (5596bb3)
- Bench uploading (#5787) (bd64ceb)
- Biggroup handles points at infinity (#6391) (bd72db5)
- Changing finite field arithmetic in wasm to 29 bits for multiplications (second try, disabled AVM build in wasm) (#6027) (c3fa366)
- ClientIvc recursive verifier (#6721) (ceec7e2)
- Complete ECCVM recursive verifier (#6720) (a98d30b)
- Cycle scalar <> bigfield interactions (#6744) (6e363ec)
- Enable honk_recursion through acir (#6719) (7ce4cbe)
- Fold acir programs (#6563) (f7d6541)
- Folding acir programs (#6685) (8d1788d)
- Goblin Recursive Verifier (#6778) (53d0d55)
- Increasing MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_CALL, removing hack (#6739) (d5550c6)
- Instantiate ECCVM relations on bigfield (#6647) (0ee6ef9)
- Integrate AVM proving (#6775) (f1512a2)
- New test program for verifying honk (#6781) (1324d58)
- Pow method for bigfield (#6725) (e4feb80)
- Prototype for using the databus with ACIR opcode (#6366) (9f746d9)
- Representation of a grumpkin verifier commitment key inside a bn254 circuit (#6593) (1d84975)
- Sumcheck part of ECCVM recursive verifier instantiated as an UltraCircuit (#6413) (afe84a2)
- Support AVM in bb-prover-exec (#6666) (a64a921)
- Update honk recursion constraint (#6545) (6f86352)
Bug Fixes
- Add cbind declarations for new methods to fix autogen (#6622) (2429cd8)
- Add missing initializers (#6591) (a575708)
- Disable redundant failing acir tests (#6700) (00eed94)
- ECCVM correctly handles points at infinity and group operation edge cases (#6388) (a022220)
- Refreshing constants (#6786) (49a3b1d)
- Remove finalize from acir create circuit (#6585) (f45d20d)
- Run more Bb CI (#6812) (67a8f8a)
Miscellaneous
- Acir tests in bb (#6620) (a4e001e)
- Add bench programs (#6566) (edb6db6)
- Add l1 to l2 msg read requests to public circuit public inputs (#6762) (69d90c4)
- Add simple
bbinstaller script (#6376) (51bc682) - avm: AVM Minimial lookup table for testing (#6641) (79beef1)
- avm: Better error msgs and some cpp nits (#6796) (f8a9452)
- avm: Remove portal opcode from avm circuit (#6706) (a790d24)
- bb: -30% compile time (#6610) (d6838a1)
- bb: Better AVM disable in WASM (#6683) (d3cfc4c)
- bb: Reduce and smooth compile time (#6688) (1253330)
- bb: Small compile improvements (#6665) (61f27b7)
- ci: Ensure ad-hoc apt doesnt time out (#6755) (12921d4)
- Delete spike vm (#6818) (5633ee9)
- Evaluate expressions in constant gen (#6813) (c2a50f4)
- Fix compilation error due to missing import (#6815) (98ba899)
- Goblin cleanup (#6722) (8e9ab3d)
- Reduce compilation by breaking up acir types.hpp (#6816) (d9f7da3)
- Remove acir goblin flow (#6724) (f035231)
- Stop building/publishing
acvm_backend.wasm(#6584) (7a3a491) - Tool to analyze C++ compilation time (#6823) (101e966)
- Ultra goblin --> mega (#6674) (d272abd)