AztecProtocol/aztec-packages aztec-packages-v0.53.0

aztec-packages: v0.53.0

on GitHub

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 (noir-lang/noir#5951) (f3e4f97)
• Track proving times in prover stats in CLI (#8281) (efad298)
• Tuple return value typescript decoding (#8319) (b09a1bb)
• Ultra keccak honk verifier (#8261) (7f02900)
• Unquote some value as tokens, not as unquote markers (noir-lang/noir#5924) (05cc59f)
• Update AztecIvc interface to facilitate acir-ivc (#8230) (665750a)
• Use visibility (noir-lang/noir#5856) (f8f4709)
• Verify public validation requests (#8150) (2be1415)
• Warn on unused functions (noir-lang/noir#5892) (05cc59f)

Bug Fixes

• Address issues when using wall-time (#8329) (639fb3b)
• Always place module attribute generated items inside module (noir-lang/noir#5943) (f3e4f97)
• Bot config for skip public simulation (#8320) (133b642)
• Broken build (#8395) (d0ea6eb)
• Collect functions generated by attributes (noir-lang/noir#5930) (05cc59f)
• Do not reuse anvil admin key (#8304) (6863fe5)
• frontend: Ban type vars bound to a reference from passing the unconstrained boundary (noir-lang/noir#5949) (f3e4f97)
• HonkRecursion serde for cpp bindings (#8387) (6162179)
• Increase timeout for Sepolia mining (#8430) (29369ed)
• Let derive(Eq) work for empty structs (noir-lang/noir#5965) (075036e)
• mem2reg: Handle aliases better when setting a known value for a load (noir-lang/noir#5959) (075036e)
• mem2reg: Handle aliases in function last store cleanup and additional alias unit test (noir-lang/noir#5967) (075036e)
• Prevent comptime println from crashing LSP (noir-lang/noir#5918) (176bce6)
• Revert "feat: ultra keccak honk verifier (#8427) (31df5ea)
• Revert "feat: ultra keccak honk verifier" (#8391) (3228e75)
• Split stores per component and split merkle tree operations (#8299) (4ee69ac)
• SubscriptionNote preimage attack (#8390) (94006a9)
• Support debug comptime flag for attributes (noir-lang/noir#5929) (05cc59f)
• Temporary register leaks in brillig gen (#8350) (5f6d2e2)
• Transpiler after noir sync (#8353) (249e50e)
• TXE logs in docker (#8365) (157dd11)
• Use element_size() instead of computing it with division (noir-lang/noir#5939) (05cc59f)
• Wait for receipt (#8358) (8b7b2d2)

Miscellaneous

• Add a span to track timing of brillig gen (noir-lang/noir#5835) (f8f4709)
• Add pass to normalize Ids in SSA (noir-lang/noir#5909) (176bce6)
• Add uint (U128) note to aztec-nr and remove OwnedNote from ValueNote (#8142) (225b6d3)
• 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)
• Bump some dependencies (noir-lang/noir#5893) (176bce6)
• Change efs volumes to use bursting throughput (#8370) (d6ebe3e)
• ci: Don't run on draft PRs (#8426) (8abe6c8)
• ci: Skip vk generation on protocol-circuits-gates-report and noir-format (#8398) (824aa8a)
• ci: Test lowering of non-persistent ebs provisions (#8360) (8ee8595)
• Cleanup str_as_bytes (noir-lang/noir#5900) (176bce6)
• Delete more unwanted stuff from noir code (#8335) (d2a8aa4)
• docs: Cli wallet (#8182) (7298c8f)
• docs: Fix migration notes (#8447) (1e91469)
• Error on false constraint (noir-lang/noir#5890) (05cc59f)
• Fix some instances of missing unsafe blocks (#8232) (e8e0907)
• Fix spartan test nightly runner (#8433) (a34f353)
• Improve ec addition (#8291) (e8a097c)
• Increase AZTEC_SLOT_DURATION (#8331) (5d48500)
• Make nested slice error more clear for [[T]; N] case (noir-lang/noir#5906) (176bce6)
• Merge provernet to master (#8373) (e1dc987)
• More efficient verification with shplonk and gemini (#8351) (e51d157)
• Move spartan network tests to nightly (#8369) (8fe045c)
• No assert in is_valid_impl(...) (#8397) (1c1d35a)
• Pw/devnet fixes (#8385) (4fb4e17)
• Redo typo PR by FilipHarald (#8418) (2894b68)
• Redo typo PR by operagxsasha (#8429) (a1060a3)
• Remove coinbase and unimplemented block gas limit opcodes from AVM (#8408) (dd09b76)
• Remove equality operation on boolean constraints against constants (noir-lang/noir#5919) (176bce6)
• Remove override to use rust syntax highlighting (noir-lang/noir#5881) (f3e4f97)
• Remove unimplemented headermember opcode from avm (#8407) (cfea06e)
• Renaming Instance's (#8362) (4789440)
• Replace relative paths to noir-protocol-circuits (3c9d85e)
• Replace relative paths to noir-protocol-circuits (69b1754)
• Replace relative paths to noir-protocol-circuits (feff126)
• Replace relative paths to noir-protocol-circuits (3d58d36)
• Replace relative paths to noir-protocol-circuits (7c15ac4)
• revert: "chore(ci): Test lowering of non-persistent ebs provisions" (#8392) (2ea6ec2)
• Send anvil logs to stdout (#8311) (6a2614a)
• Uncomment asserts in oink rec verifier (#8316) (a7f3144)
• Update git user for release PRs (noir-lang/noir#5894) (176bce6)
• Use new_let more widely (noir-lang/noir#5882) (f8f4709)