barretenberg.js: v0.70.0

0.70.0 (2025-01-15)

Miscellaneous

• barretenberg.js: Synchronize aztec-packages versions

barretenberg: v0.70.0

0.70.0 (2025-01-15)

Features

• Allow concurrent world state access (#11216) (17aa4b4)
• avm2: Avm redesign init (#10906) (231f017)
• Permutation argument optimizations (#10960) (de99603)
• Use tail public inputs as transaction hash (#11100) (34be2c3)

Bug Fixes

• avm: AVM circuit fixes related calldata, returndata and call_ptr (#11207) (2f05dc0)
• avm: Mac build (#11195) (c4f4452)
• avm: Mac build (retry) (#11197) (0a4b763)
• bootstrap: Don't download bad cache if unstaged changes (#11198) (2bd895b)
• Remove max lookup table size constant (for now) (#11095) (7e9e268)

Miscellaneous

• avm: Fix mac build (#11147) (1775e53)
• avm: Improve column stats (#11135) (535a14c)
• avm: Re-enable bb-prover tests in CI, change some to check-circuit-only, enable multi-enqueued call tests (#11180) (3092212)
• avm: Vm2 followup cleanup (#11186) (6de4013)
• docs: Update tx concepts page (#10947) (d9d9798)
• Move witness computation into class plus some other cleanup (#11140) (d41e9ab)
• Redo typo PR by longxiangqiao (#11109) (b8ef30e)
• Refactor Solidity Transcript and improve error handling in sol_honk flow (#11158) (58fdf87)
• SmallSubgroupIPA tests (#11106) (f034e2a)

aztec-packages: v0.70.0

0.70.0 (2025-01-15)

⚠ BREAKING CHANGES

• Handle generic fields in StructDefinition::fields and move old functionality to StructDefinition::fields_as_written (noir-lang/noir#7067)
• disallow calling unconstrained functions outside of unsafe blocks and passing unconstrained functions in place of constrained functions (noir-lang/noir#6938)
• Disable mocks in execute (noir-lang/noir#6869)
• require trait primitive functions/calls to have their trait in scope (noir-lang/noir#6901)
• Reserve enum and match keywords (noir-lang/noir#6961)
• require trait method calls (foo.bar()) to have the trait in scope (imported) (noir-lang/noir#6895)
• type-check trait default methods (noir-lang/noir#6645)
• update aes128_encrypt to return an array (noir-lang/noir#6973)
• turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953)
• turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952)

Features

• --pedantic-solving flag (noir-lang/noir#6716) (3883a0e)
• 7 bit long note_type_id (#10951) (6fc5673)
• Allow associated types to be ellided from trait constraints (noir-lang/noir#7026) (3ed22ed)
• Allow concurrent world state access (#11216) (17aa4b4)
• Auto-import traits when suggesting trait methods (noir-lang/noir#7037) (3ed22ed)
• avm2: Avm redesign init (#10906) (231f017)
• Avoid generating a new witness when checking if linear expression is zero (noir-lang/noir#7031) (3ed22ed)
• Avoid inserting inc_rc instructions into ACIR (noir-lang/noir#7036) (3ed22ed)
• Blob sink in sandbox without extra process (#11032) (4600f54)
• Browser chunking (#11102) (393e843)
• Build blocks using txs with higher fee first (#11093) (def7cd7), closes #11084
• cli: Add CLI option to filter by contract function name (noir-lang/noir#7018) (9189120)
• comptime: Implement to_be_bits and to_le_bits in the interpreter (noir-lang/noir#7008) (9189120)
• Contract class must be registered before deployment (#10949) (7176a70)
• Dashboard in gcp (#11201) (2790bd7)
• Disable mocks in execute (noir-lang/noir#6869) (9189120)
• Disallow calling unconstrained functions outside of unsafe blocks and passing unconstrained functions in place of constrained functions (noir-lang/noir#6938) (9189120)
• Don't report warnings for dependencies (noir-lang/noir#6926) (3883a0e)
• Don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948) (3883a0e)
• Expose getL2ToL1Membership on the pxe (#11215) (ffd3625)
• Handle generic fields in StructDefinition::fields and move old functionality to StructDefinition::fields_as_written (noir-lang/noir#7067) (3ed22ed)
• Impl Default for U128 (noir-lang/noir#6984) (3883a0e)
• Inject protocol nullifier conditionally (#11155) (93ade26)
• Kickoff tube circuits at the beginning of proving job (#11139) (85d389f), closes #10998
• Lock on Nargo.toml on several nargo commands (noir-lang/noir#6941) (3883a0e)
• LSP: Code action to import trait in a method call (noir-lang/noir#7066) (3ed22ed)
• lsp: Use trait method docs for trait impl method docs on hover (noir-lang/noir#7003) (9189120)
• Monitor event loop lag (#11127) (422f125)
• Permutation argument optimizations (#10960) (de99603)
• PXE db contract store (#10867) (b5d51eb)
• Require trait function calls (Foo::bar()) to have the trait in scope (imported) (noir-lang/noir#6882) (3883a0e)
• Require trait method calls (foo.bar()) to have the trait in scope (imported) (noir-lang/noir#6895) (3883a0e)
• Require trait primitive functions/calls to have their trait in scope (noir-lang/noir#6901) (9189120)
• Simulator split (#11144) (9b99126)
• Single tx block root rollup (#11096) (bcc0168)
• Skip codegen of zero iteration loops (noir-lang/noir#7030) (3ed22ed)
• SSA globals in monomorphization and SSA gen (noir-lang/noir#6985) (9189120)
• ssa: Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893) (3883a0e)
• test: Enable the test fuzzer for Wasm (noir-lang/noir#6835) (3883a0e)
• Track nodejs runtime metrics ([#11160](https://github.com/AztecProtocol/...

aztec-package: v0.70.0

0.70.0 (2025-01-15)

Features

• Blob sink in sandbox without extra process (#11032) (4600f54)
• Browser chunking (#11102) (393e843)

Miscellaneous

• Greater stability at 1TPS (#10981) (1c23662)
• Prover db config (#11126) (9d49393), closes #10267
• Rpc server cleanup & misc fixes (#11145) (8a927eb)

barretenberg.js: v0.69.1

0.69.1 (2025-01-08)

Miscellaneous

• barretenberg.js: Synchronize aztec-packages versions

barretenberg: v0.69.1

0.69.1 (2025-01-08)

Features

• Acir formal proofs (#10973) (1cb7cd7)
• Derive transcript structure between non-zk and zk flavors and between Ultra and UltraKeccak (#11086) (48286c6)
• Fix commitments and openings of masking polynomials used in zk sumcheck (#10773) (fc48dcc)
• Improve witness generation for cycle_group::batch_mul (#9563) (7da7f2b)

Bug Fixes

• Add bytecode instances in reverse (#11064) (036496c)
• Reset pc to 0 for next enqueued call in avm witgen (#11043) (44e4816)
• Update requests per call should be less than per tx (#11072) (da5e95f)

Miscellaneous

• avm: Handle specific MSM errors (#11068) (a5097a9), closes #10854
• avm: More column information in permutations (#11070) (8829f24)
• Clean up proof lengths and IPA (#11020) (800c834)
• Fix write_recursion_inputs flow in bootstrap (#11080) (cd5a615)
• Restore prove_then_verify test on verify_rollup_honk_proof (#11018) (79e289d)
• Unify honk verifier contracts (#11067) (9968849)

aztec-packages: v0.69.1

0.69.1 (2025-01-08)

Features

• Acir formal proofs (#10973) (1cb7cd7)
• blobs: Blob sink (#10079) (94b6c86)
• Derive transcript structure between non-zk and zk flavors and between Ultra and UltraKeccak (#11086) (48286c6)
• Fix commitments and openings of masking polynomials used in zk sumcheck (#10773) (fc48dcc)
• Improve blob simulation speed (#11075) (fe845e2)
• Improve witness generation for cycle_group::batch_mul (#9563) (7da7f2b)
• More efficient compute_l2_to_l1_hash (#11036) (60d43fd)
• Optionally handle rpc errors with 200 + err body (#11083) (b42756b)
• Prover node checks txs availability before sending quote (#10965) (b9e7109), closes #10803
• Slasher (#10693) (9dad251)
• Use unconstrained helper in append_tx_effects_for_blob (#11037) (5355a5e)
• Validate block proposal txs iteratively (#10921) (c92129e), closes #10869

Bug Fixes

• Add bytecode instances in reverse (#11064) (036496c)
• Can't use self.field in trait default implementations (#11004) (f31278f)
• Check class registration nullifier in node before returning class (#11074) (649b590)
• ci: Update docs hash (#11082) (b0a8397)
• Optional check for architecture in bootstrap image-aztec (#11085) (fed44a5), closes #10957
• Prover node retries gathering needed txs (#11089) (6f07132)
• Reset pc to 0 for next enqueued call in avm witgen (#11043) (44e4816)
• Update requests per call should be less than per tx (#11072) (da5e95f)
• Update schema naming (#11038) (547e556)

Miscellaneous

• avm: Handle specific MSM errors (#11068) (a5097a9), closes #10854
• avm: More column information in permutations (#11070) (8829f24)
• Avoid getport race conditions when starting anvil (#11077) (b73f7f9)
• Bump noir-gates-diff (#11056) (e076000)
• Bump noir-gates-diff commit (#11042) (c820a0e)
• Bump devnet prover agents (#11046) (55de1ce)
• Bump rc-1 prover agents (#11033) (fb58c16)
• ci: Fix CI to create baseline gate reports (#11055) (e2f6905)
• Clean up proof lengths and IPA (#11020) (800c834)
• Disable noir contracts tests until stabilized (#11047) (a76b52e)
• Fix customTags is not iterable in e2e-prover-full (#11057) (f35094f)
• Fix invalid random log id (#11076) (b1b67b0)
• Fix write_recursion_inputs flow in bootstrap (#11080) (cd5a615)
• Hide note_hashes log (#11059) (d9a14d2)
• Let IndexedTreeLeafPreimage have LeafPreimage as a parent trait (#10913) (496a55a)
• Load in the big dashboard during metrics install (#11007) (f6f2c12)
• New test that you can register, deploy, and call a public function all in one tx (#11045) (5e3183c)
• Pass fn signatures (#10849) (a2c4e98)
• Patch jest to not use JSON serialization in message passing ci3 (#10964) (d08f540)
• Refactor tail public inputs (#11031) (4ed1530)
• Remove abi refs from publisher (#10766) ([17d6802](17d6802...

aztec-package: v0.69.1

0.69.1 (2025-01-08)

Features

• Optionally handle rpc errors with 200 + err body (#11083) (b42756b)

Miscellaneous

• Representing TxHash as Fr (#10954) (84e67ac)

barretenberg.js: v0.69.0

0.69.0 (2025-01-03)

Miscellaneous

• Cl/ci3.2 (#10919) (49dacc3)

barretenberg: v0.69.0

0.69.0 (2025-01-03)

Features

• Encapsulated UltraHonk Vanilla IVC (#10900) (fd5f611)
• Use full IPA recursive verifier in root rollup (#10962) (37095ce)

Bug Fixes

• Bigint builtins are foreigns (noir-lang/noir#6892) (2d3805a)
• ci: Acir bench (#11021) (9eaa109)
• Consistent file_id across installation paths (noir-lang/noir#6912) (2d3805a)
• Remove unnecessary cast in bit-shift (noir-lang/noir#6890) (2d3805a)

Miscellaneous

• Add Instruction::Noop (noir-lang/noir#6899) (2d3805a)
• Add rollup_root and rollup_block_merge to tracked protocol circuits (noir-lang/noir#6903) (2d3805a)
• Cl/ci3.2 (#10919) (49dacc3)
• Clean up translator circuit builder function definitions (#10944) (f6fef05)
• Disable broken honk test (#11010) (8ad239a)
• Fix mac build (#10963) (158afc4)
• Redo typo PR by Anon-im (#11009) (2044c58)
• Redo typo PR by Hack666r (#10992) (018f11e)
• Redo typo PR by MonkeyKing44 (#10996) (faca458)
• Redo typo PR by petryshkaCODE (#10993) (0c6a4be)
• Redo typo PR by VitalikBerashvili (#10994) (da36da4)
• Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) (2d3805a)