barretenberg: v0.56.0

0.56.0 (2024-09-25)

⚠ BREAKING CHANGES

• change ec_add to unsafe implementation (but much better perf) (#8374)
• avm: GETENVVAR + ISSTATICCALL (#8692)
• remove sha256 opcode (#4571)
• add support for u1 in the avm, ToRadix's radix arg is a memory addr (#8570)
• avm: remove tag in NOT (#8606)

Features

• (LSP) suggest $vars inside quote { ... } (noir-lang/noir#6114) (7a87314)
• Add initial integration of databus (#8710) (779e104)
• Add support for u1 in the avm, ToRadix's radix arg is a memory addr (#8570) (1785737)
• Aggregate honk and avm recursion constraints together (#8696) (3fa9e83)
• avm: Avm recursive TS/Noir integration (#8531) (dd09f05), closes #7791
• avm: Avm recursive TS/Noir integration (#8611) (e417231)
• avm: Bounded mle implementation (#8668) (aa85f2a), closes #8651
• avm: GETENVVAR + ISSTATICCALL (#8692) (02cff0b)
• avm: Opcode STATICCALL - stubbed (#8601) (facff7f), closes #8596
• avm: Remove tag in NOT (#8606) (d5695fc)
• avm: Set avm circuit subgroup size (#8537) (3b78058)
• Benchmark compute_row_evaluations and update analysis script (#8673) (c738c47)
• Constant sized PG proofs and const sized PG rec verifier (#8605) (09e2f44)
• LSP autocompletion for TypePath (noir-lang/noir#6117) (7a87314)
• Make UltraKeccak work with Shplemini at bb-level (#8646) (82b60eb)
• More robust recursion input generator (#8634) (020d4fd)
• perf: Allow array set last uses optimization in return block of Brillig functions (noir-lang/noir#6119) (7a87314)
• Pretty print Quoted token stream (noir-lang/noir#6111) (7a87314)
• Public kernel handles enqueued calls (#8523) (6303b4a)
• Reduce max memory in translator by freeing accumulator and eccvm (#8253) (7247ddb)
• Remove sha256 opcode (#4571) (4b4a0bf)
• Represent assertions more similarly to function calls (noir-lang/noir#6103) (7a87314)
• Use new IVC scheme (#8480) (1c7b06d)

Bug Fixes

• avm: Fix tests under proving (#8640) (8bfc769)
• Boomerang variable in sha256 hash function (#8581) (f2a1330)
• Decode databus return values (noir-lang/noir#6095) (7a87314)
• Disambiguate field or int static trait method call (noir-lang/noir#6112) (7a87314)
• mem2reg: Remove possibility of underflow (noir-lang/noir#6107) (7a87314)
• New commit_sparse bug and new tests (#8649) (5818018)
• revert: "chore!: change ec_add to unsafe implementation (but much better perf)" (#8722) (9a1b5b5)
• Unencryptedlogs witgen (#8669) (aee4c2d)
• world_state: Fix race conditions in WorldState and IndexedTree (#8612) (6797525)

Miscellaneous

• Add more cases for assert_equal conversion (#8446) (e3ea298)
• avm: Simplify bb-prover and other AVM tests (#8627) (0d75363)
• avm: Smaller skippable test (#8664) (2418977)
• bb readme: Document how to Honk Noir programs (#7638) (cd46ddd)
• Bye bye Zeromorph in Solidity (#8678) (74182c4)
• Change ec_add to unsafe implementation (but much better perf) (#8374) (aabd2d8)
• Create a Gemini prover (#8622) (94339fb)
• Delete duplicated test (noir-lang/noir#6113) (7a87314)
• docs: Removing old versions (noir-lang/noir#6075) (7a87314)
• Ec addition for non-zero points (noir-lang/noir#5858) (7a87314)
• Fixing MacOS build - static_cast from field issue (#8642) (14ff3cf)
• Gas premiums for AVM side effects, DA gas in AVM (#8632) (d5f16cc)
• Migrate higher-level APIs for barretenberg to bb.js (#8677) (0237a20)
• Protogalaxy recursive verifier matches native verifier (#8568) (a4f61b3)
• Reinstate skipped tests (#8743) (18e2697)
• Remove creation of extra toml file in recursion inputs flow (#8700) (014bacc)
• Skip some tests in CI (#8738) (251db7b)