barretenberg: v0.42.0

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 bb installer 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)