barretenberg.js: v0.54.0

0.54.0 (2024-09-10)

Miscellaneous

• barretenberg.js: Synchronize aztec-packages versions

barretenberg: v0.54.0

0.54.0 (2024-09-10)

⚠ BREAKING CHANGES

• avm: variants for binary operations (#8473)
• avm: make JUMP(I) 16-bit (#8443)
• avm: variants for SET opcode (#8441)
• avm: variants for MOV opcode (#8440)

Features

• (bb) 128-bit challenges (#8406) (d5b2397)
• avm: DSL integration of AVM recursive verifier (#8405) (467120e), closes #8285
• avm: Make JUMP(I) 16-bit (#8443) (5bb38b1)
• avm: Variants for binary operations (#8473) (8de1f2a)
• avm: Variants for MOV opcode (#8440) (5b27fbc)
• avm: Variants for SET opcode (#8441) (dc43306)
• bb: Towards reduced polynomial memory usage (#7990) (372f23c)

Bug Fixes

• avm: Full proving kernel fix (#8468) (684d962)
• bb: Mac release (#8450) (1b3f914)

Miscellaneous

• bb: Remove poly downsizing, other fast-follow from structured polys (#8475) (ac88f30)
• Rename files relating to what were "instances" (#8383) (a934e85)

aztec-packages: v0.54.0

0.54.0 (2024-09-10)

⚠ BREAKING CHANGES

• avm: variants for binary operations (#8473)
• avm: make JUMP(I) 16-bit (#8443)
• avm: variants for SET opcode (#8441)
• avm: variants for MOV opcode (#8440)

Features

• (bb) 128-bit challenges (#8406) (d5b2397)
• Module::add_item (noir-lang/noir#5947) (8ac81b1)
• Add Expr::as_let (noir-lang/noir#5964) (8ac81b1)
• Add FunctionDefinition::module and StructDefinition::module (noir-lang/noir#5956) (8ac81b1)
• Add FunctionDefinition methods is_unconstrained and set_unconstrained (noir-lang/noir#5962) (8ac81b1)
• Add StructDefinition::add_generic (noir-lang/noir#5961) (8ac81b1)
• Add StructDefinition::name (noir-lang/noir#5960) (8ac81b1)
• Add a panic method to the stdlib (noir-lang/noir#5966) (8ac81b1)
• Archiver fork block num (#8425) (a9f2364)
• Arithmetic Generics (noir-lang/noir#5950) (8ac81b1)
• avm-transpiler: Optionally count opcode types (#8439) (21c06b5)
• avm/public: User space PublicContext::get_args_hash (#8292) (56ce16a)
• avm: DSL integration of AVM recursive verifier (#8405) (467120e), closes #8285
• avm: Make JUMP(I) 16-bit (#8443) (5bb38b1)
• avm: Variants for binary operations (#8473) (8de1f2a)
• avm: Variants for MOV opcode (#8440) (5b27fbc)
• avm: Variants for SET opcode (#8441) (dc43306)
• bb: Towards reduced polynomial memory usage (#7990) (372f23c)
• Let nargo and LSP work well in the stdlib (noir-lang/noir#5969) (8ac81b1)
• LSP autocompletion for attributes (noir-lang/noir#5963) (8ac81b1)
• LSP now suggests self fields and methods (noir-lang/noir#5955) (8ac81b1)
• Show doc comments in LSP (noir-lang/noir#5968) (8ac81b1)

Bug Fixes

• Add re-exports back (#8453) (b6cab90)
• avm: Full proving kernel fix (#8468) (684d962)
• bb: Mac release (#8450) (1b3f914)
• docs: Some docs updates (#8412) (ad73f30)
• Error when quote is used in runtime code (noir-lang/noir#5978) (8ac81b1)
• Error when comptime functions are used in runtime code (noir-lang/noir#5976) (8ac81b1)
• Fmt (#8454) (34b4a8a)
• Guesstimate gas for propose (#8445) (bff0338)
• Let derive(Eq) work for empty structs (noir-lang/noir#5965) (8ac81b1)
• LSP document symbol didn't work for primitive impls (noir-lang/noir#5970) (8ac81b1)
• mem2reg: Handle aliases better when setting a known value for a load (noir-lang/noir#5959) (8ac81b1)
• mem2reg: Handle aliases in function last store cleanup and additional alias unit test (noir-lang/noir#5967) (8ac81b1)
• Public data reads and writes verification (#8296) (ae86347)
• Restrict keccak256_injective test input to 8 bits (noir-lang/noir#5977) (8ac81b1)
• Suggest trait attributes in LSP (noir-lang/noir#5972) (8ac81b1)

Miscellaneous

• bb: Remove poly downsizing, other fast-follow from structured polys (#8475) (ac88f30)
• ci: Rerun ci when ready for review + don't allow draft merge (#8456) (ede16d3)
• docs: Update box readme, remove duplicated features, added box install to the docs (#8254) (b747ac1)
• Document BoundedVec (noir-lang/noir#5974) (8ac81b1)
• Document HashMap (noir-lang/noir#5984) (8ac81b1)
• Merge devnet to master (#8472) (26706e9)
• Remove 3 unused functions warnings in the stdlib (noir-lang/noir#5973) (8ac81b1)
• Remove warnings from protocol circuits ([#8420](https://github.com/AztecProt...

aztec-package: v0.54.0

0.54.0 (2024-09-10)

Features

• Archiver fork block num (#8425) (a9f2364)

Miscellaneous

• Merge devnet to master (#8472) (26706e9)

barretenberg.js: v0.53.0

0.53.0 (2024-09-09)

Bug Fixes

• HonkRecursion serde for cpp bindings (#8387) (6162179)

barretenberg: v0.53.0

0.53.0 (2024-09-09)

⚠ BREAKING CHANGES

• avm/brillig: take addresses in calldatacopy (#8388)
• remove coinbase and unimplemented block gas limit opcodes from AVM (#8408)

Features

• Add poseidon relations to UltraKeccak flavor and Solidity verifier (#8243) (f7e4bfb)
• avm/brillig: Take addresses in calldatacopy (#8388) (eab944c)
• ci: Tracy gate counter preset (#8382) (882af1e)
• Replace arithmetic equalities with assert equal (#8386) (0d8e835)
• Ultra keccak honk verifier (#8261) (7f02900)
• Update AztecIvc interface to facilitate acir-ivc (#8230) (665750a)
• Verify public validation requests (#8150) (2be1415)

Bug Fixes

• Broken build (#8395) (d0ea6eb)
• Revert "feat: ultra keccak honk verifier (#8427) (31df5ea)
• Revert "feat: ultra keccak honk verifier" (#8391) (3228e75)

Miscellaneous

• avm: Move proving key to avm files (#8318) (32d67bd)
• avm: Remove some unused deps (#8366) (e2150a7)
• bb: Reinstate "chore: uncomment asserts in oink rec verifier"" (#8356) (4dbad01)
• bb: Use std::span for srs (#8371) (f174699)
• Improve ec addition (#8291) (e8a097c)
• More efficient verification with shplonk and gemini (#8351) (e51d157)
• Remove coinbase and unimplemented block gas limit opcodes from AVM (#8408) (dd09b76)
• Remove unimplemented headermember opcode from avm (#8407) (cfea06e)
• Renaming Instance's (#8362) (4789440)
• Uncomment asserts in oink rec verifier (#8316) (a7f3144)

aztec-packages: v0.53.0

0.53.0 (2024-09-09)

⚠ BREAKING CHANGES

• avm/brillig: take addresses in calldatacopy (#8388)
• remove coinbase and unimplemented block gas limit opcodes from AVM (#8408)
• return arrays instead of slices from to_be_radix functions (noir-lang/noir#5851)
• Do not encode assertion strings in the programs (#8315)

Features

• Module::add_item (noir-lang/noir#5947) (075036e)
• Add Expr::as_assert_eq (noir-lang/noir#5880) (f8f4709)
• Add fmtstr::contents (noir-lang/noir#5928) (05cc59f)
• Add FunctionDef::set_return_visibility (noir-lang/noir#5941) (f3e4f97)
• Add FunctionDefinition::add_attribute (noir-lang/noir#5944) (f3e4f97)
• Add FunctionDefinition::module and StructDefinition::module (noir-lang/noir#5956) (075036e)
• Add FunctionDefinition methods is_unconstrained and set_unconstrained (noir-lang/noir#5962) (075036e)
• Add Quoted::tokens (noir-lang/noir#5942) (f3e4f97)
• Add std::meta::typ::fresh_type_variable (noir-lang/noir#5948) (f3e4f97)
• Add StructDefinition::add_attribute and has_named_attribute (noir-lang/noir#5945) (f3e4f97)
• Add StructDefinition::add_generic (noir-lang/noir#5961) (075036e)
• Add StructDefinition::name (noir-lang/noir#5960) (075036e)
• Add StructDefinition::set_fields (noir-lang/noir#5931) (05cc59f)
• Add bot config to toggle simulation (#8297) (1c7c447)
• Add poseidon relations to UltraKeccak flavor and Solidity verifier (#8243) (f7e4bfb)
• Addressing Nico's router comments (#8384) (d582c93)
• Allow inserting new structs and into programs from attributes (noir-lang/noir#5927) (05cc59f)
• Arithmetic Generics (noir-lang/noir#5950) (075036e)
• avm/brillig: Take addresses in calldatacopy (#8388) (eab944c)
• Better println for Quoted (noir-lang/noir#5896) (176bce6)
• Calculate FunctionSelectors and EventSelectors during comptime (#8354) (52258b1)
• Check argument count and types on attribute function callback (noir-lang/noir#5921) (05cc59f)
• ci: Tracy gate counter preset (#8382) (882af1e)
• Do not encode assertion strings in the programs (#8315) (f5bbb89)
• Implement str_as_bytes in the comptime interpreter (noir-lang/noir#5887) (f8f4709)
• Liveness analysis for constants (#8294) (0330ced)
• LSP autocompletion for attributes (noir-lang/noir#5963) (075036e)
• LSP code action "Fill struct fields" (noir-lang/noir#5885) (176bce6)
• LSP code actions to import or qualify unresolved paths (noir-lang/noir#5876) (f8f4709)
• LSP diagnostics for all package files (noir-lang/noir#5895) (176bce6)
• LSP diagnostics now have "unnecessary" and "deprecated" tags (noir-lang/noir#5878) (f8f4709)
• LSP now suggests self fields and methods (noir-lang/noir#5955) (075036e)
• LSP will now suggest private items if they are visible (noir-lang/noir#5923) (05cc59f)
• Module attributes (noir-lang/noir#5888) (05cc59f)
• Only check array bounds in brillig if index is unsafe (noir-lang/noir#5938) (05cc59f)
• perf: Remove known store values that equal the store address in mem2reg (noir-lang/noir#5935) (05cc59f)
• perf: Remove last store in return block if last load is before that store (noir-lang/noir#5910) (176bce6)
• Remove blocks which consist of only a jump to another block (noir-lang/noir#5889) (05cc59f)
• Replace arithmetic equalities with assert equal (#8386) (0d8e835)
• Return arrays instead of slices from to_be_radix functions (noir-lang/noir#5851) (f8f4709)
• Router contract (#8352) (138dc52)
• Sequencer selection in k8s tests (#8313) (8d9947d)
• Sync from aztec-packages (noir-lang/noir#5877) (27e4761)
• Sync from aztec-packages (noir-lang/noir#5883) (f8f4709)
• Sync from aztec-packages (noir-lang/noir#5917) (176bce6)
• Sync from aztec-packages (https://github.com/no...

aztec-package: v0.53.0

0.53.0 (2024-09-09)

Bug Fixes

• Do not reuse anvil admin key (#8304) (6863fe5)
• Split stores per component and split merkle tree operations (#8299) (4ee69ac)

Miscellaneous

• Change efs volumes to use bursting throughput (#8370) (d6ebe3e)
• Fix spartan test nightly runner (#8433) (a34f353)
• Increase AZTEC_SLOT_DURATION (#8331) (5d48500)
• Merge provernet to master (#8373) (e1dc987)
• Pw/devnet fixes (#8385) (4fb4e17)

barretenberg.js: v0.52.0

0.52.0 (2024-09-01)

Miscellaneous

• barretenberg.js: Synchronize aztec-packages versions

barretenberg: v0.52.0

0.52.0 (2024-09-01)

Features

• Clarify state in Protogalaxy 3 (#8181) (4a9bb9d)

Bug Fixes

• Prevent honk proof from getting stale inputs on syncs (#8293) (2598108)

Miscellaneous

• bb: Make compile on stock mac clang (#8278) (7af80ff)
• bb: More graceful pippenger on non-powers-of-2 (#8279) (104ea85)
• Renaming around Protogalaxy Prover (#8272) (be2169d)
• revert: Earthfile accidental change (#8309) (2d3e0b6)

Documentation

• bb: Transcript spec (#8301) (18abf37)