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)