barretenberg: v0.63.0

0.63.0 (2024-11-19)

� BREAKING CHANGES

• avm: byte indexed PC (#9582)
• Remove recursive from ACIR format; add them to API and CLI (#9479)

Features

• Add miscellaneous block to handle structure trace overflow (#9733) (80f9cc4)
• Add Origin Tags to cycle group (#9879) (de6564e)
• avm: Byte indexed PC (#9582) (29724f3)
• avm: Gas specific range check (#9874) (1a9c5ce)
• avm: Hinting merkle trees (#9658) (8d49e59)
• avm: Mem specific range check (#9828) (ada3e3a)
• avm: Non-field sized cmp circuit ops (#9895) (59376d4)
• avm: Tag checking, raising errors and stop execution (#9831) (eac5fb5), closes #9745
• Bb.js tests of ClientIVC (#9412) (90696cd)
• Change definition of lagrange last (#9916) (f566503)
• Constify eccvm and translator (#9661) (c95e5fd)
• Constrain App function VKs (#9756) (ae7cfe7)
• Encode static error strings in the ABI (#9552) (1a41d42)
• Faster random sampling (#9655) (969a3f0)
• Faster randomness sampling for field elements (#9627) (b98e93f)
• Graph methods for circuit analysis (part 1) (#7948) (eeea55a)
• Introduce avm circuit public inputs (#9759) (4660381)
• IPA Accumulation implementation (#9494) (1a935d0)
• IPA Accumulator in Builder (#9846) (8e74cd0)
• Mega memory benchmarks (#9858) (7e587d6)
• Mega zk features (#9774) (2096dc2)
• Mock data for IVC (#9893) (9325f6f)
• Naive attempt to bind the honk solidity verifier function to the ts interface (#9432) (fc27eaf)
• Origin Tags part 3 (Memory) (#9758) (d77e473)
• Prove openings of masking polynomials in ECCVM and Translator (#9726) (f1cdc2d)
• Recursive verifier for decider and last folding proof (#9626) (d7ee6e5)
• Removed redundant scalar muls from the verifiers using shplemini (#9392) (e07cac7)
• Send G_0 in proof to reduce tube size (#9766) (9bc5a2f)
• Split up eccvm proof into two proofs (#9914) (37d7cd7)
• Stop with HeapVector (#9810) (52ae4e1)
• Track active accumulator rows and leverage in IVC folding (#9599) (76328eb)
• Zk shplemini (#9830) (23ff518)

Bug Fixes

• avm: Derive unencrypted log in test (#9813) (abdd912)
• Fix bad merge (#9892) (b621603)
• Fix inclusion path (#10034) (29a9ae3)
• Fix mac build by calling count on durations (#9855) (9978c97)
• Fix random for Mac users (#9670) (bf5d62d)
• Tree heights that last past 3 days (#9760) (23c122d)

Miscellaneous

• Add end_gas_used to avm public inputs (#9910) (3889def)
• avm: Bugfixing witness generation for add, sub, mul for FF (#9938) (d8db656)
• docs: Authwit note, not simulating simulations (#9438) (1779c42)
• Redo typo PR by dsarfed (#9667) (4fc6f8b)
• Redo typo PR by leopardracer (#9705) (dedbe40)
• Remove recursive from ACIR format; add them to API and CLI (#9479) (d2a84c4)
• Remove duplicate and unused flavor related concepts (#10035) (30ca68c)
• Remove public kernels (#10027) (1acf4cf)
• Rename aggregation object to pairing point accumulator (#9817) (0ebd52e)
• Replace to_radix directive with brillig (#9970) (6fec1dc)
• Revert TBB default and ivc matching regression mac build (#9901) (3b70bf0)
• Switch to installing published binaries of foundry (#9731) (5cf3a2a)
• Trace structure is an object (#10003) (5f83755)
• Update Barretenberg README with matching nargo versions (#9908) (e305f48)
• Use stack based recursion instead of function recursion (#9947) (ca050b8)
• World state tech debt cleanup 1 (#9561) (05e4b27)