aztec-packages: v0.50.0

0.50.0 (2024-08-22)

⚠ BREAKING CHANGES

• replace public key fetching API (#7996)

Features

• (LSP) suggest names that match any part of the current prefix (noir-lang/noir#5752) (0379462)
• Add Expr::as_any_integer and Expr::as_member_access (noir-lang/noir#5742) (0379462)
• Add Expr::as_array, Expr::as_repeated_element_array and same for slice (noir-lang/noir#5750) (0379462)
• Add Expr::as_binary_op (noir-lang/noir#5734) (0379462)
• Add Expr::as_bool (noir-lang/noir#5729) (0379462)
• Add Expr::as_unary (noir-lang/noir#5731) (0379462)
• Add Expr methods: as_tuple, as_parenthesized, as_index, as_if (noir-lang/noir#5726) (0379462)
• Add TraitImpl::trait_generic_args and TraitImpl::methods (noir-lang/noir#5722) (0379462)
• Add unsafe blocks for calling unconstrained code from constrained functions (noir-lang/noir#4429) (0379462)
• Add a prover-node to the proving e2e tests (#7952) (ec5a5fb)
• Add max pending txs to bot (#8046) (7f5517e)
• Add reusable procedures to brillig generation (#7981) (99d1131)
• Automate verify_honk_proof input generation (#8092) (bf38d61)
• avm: Enable zeromorph in AVM verification (#8111) (b1f9fb6), closes #4944
• Build for arm (#7994) (0dffe1b)
• Completing MockNote (#8059) (05efe23), closes #7636
• Constant addresses as addresses (#8056) (1da5caf)
• Deterministic deployments for L1 (#8031) (abc6b19)
• docs: Cookbook integration (#8083) (19bd8a9)
• Enabling public and private bridging w/ cli (#8011) (f0f9c73)
• Fault-tolerant parsing of fn and impl (noir-lang/noir#5753) (0379462)
• Flush sequencer (#8050) (8821e5f)
• Introduce blob circuit (#8101) (4bb3bac)
• Introduce validator client (#7854) (e3be8e6)
• JSON logging (#8095) (048fa12)
• LSP auto-import completion (noir-lang/noir#5741) (0379462)
• LSP autocomplete constructor fields (noir-lang/noir#5732) (0379462)
• LSP signature help (noir-lang/noir#5725) (0379462)
• Max pending jobs in prover node (#8045) (c857604)
• Move out_hash inside tx_effect_hash (#7489) (ff0effe)
• Native Merkle Trees (#7037) (8a1032e)
• Oink recursive verifier (#8121) (580708a)
• optimization: Follow past array_sets when optimizing array_gets (noir-lang/noir#5772) (0379462)
• Passes copy_cycles by const reference to avoid copying (#8051) (495d363)
• perf: Mem2reg function state for value loads to optimize across blocks (noir-lang/noir#5757) (0379462)
• PG recursive verifier constructors based on stdlib inputs (#8052) (4c568b0)
• Poseidon2 gates for Ultra arithmetisation (#7494) (d86577c)
• Prover node metrics (#8086) (ab018ff)
• Removed socat, fixed aztec-run (#8145) (ff94aa2)
• Removing redundant key fetching (#8043) (2bbcc7b)
• Replace public key fetching API (#7996) (73d6aa9)
• Small optimization in toradix (#8040) (0dc7a50)
• Some fixes and cleanup in PG recursive verifier (#8053) (5f2a9bd)
• Suggest trait methods in LSP completion (noir-lang/noir#5735) (0379462)
• Suggest tuple fields in LSP completion (noir-lang/noir#5730) (0379462)
• Track world state metrics (#8109) (ca58d94)
• Typing specific pub keys (#8099) (638793a)
• Unify all acir recursion constraints based on RecursionConstraint and proof_type (#7993) (7cb39bc)
• User super:: in LSP autocompletion if possible (noir-lang/noir#5751) (0379462)
• Various token note improvements (#8062) (8f9dfd9)
• Zk sumcheck (#7517) (0e9a530)

Bug Fixes

• (LSP) only add cached files relevant to workspace (noir-lang/noir#5775) (2d70215)
• Add DEBUG and LOG_LEVEL to valid env vars (#8094) (70e61f9)
• Add link to l1-artifacts (#7940) (dcfd120)
• Add missing trait impls for integer types to stdlib (noir-lang/noir#5738) (0379462)
• Allow comptime code to use break without also being unconstrained (noir-lang/noir#5744) (0379462)
• avm: Real bytes finalization (#8041) (047461a)
• ci: Correctly run bb tests with asserts (#7607) (7b73f69)
• Correctly constrain get header at (#7893) (2ebba0d)
• Deploy L1 rollup contract using salt if provided (#8074) (1e8eddf)
• Flaky e2e_prover_node test (#8116) (9d97bd4)
• frontend: Continue type check if we are missing an unsafe block (noir-lang/noir#5720) (0379462)
• Let LSP autocompletion work in more contexts (noir-lang/noir#5719) (0379462)
• Port option & extracting correct namespaced options (#8097) (e74c83e)
• Set prover node max pending jobs in tests (#8055) (403c26f)
• Stop WorldStrateSynchronizer in prover node (#8126) (f724b07)
• Txe port and aztec start options (#8071) (23778c5)
• Unconstrained fn mismatch is now a warning (noir-lang/noir#5764) (0379462)
• Wallet fixes for devnet, testing and misc (#8058) (15f3e8c)

Miscellaneous

• Add Brillig loop bytecode size regression and update noir-gates-diff report (noir-lang/noir#5747) (0379462)
• Apply some new lints across workspace (noir-lang/noir#5736) (0379462)
• avm: Kernel trace and finalization (#8049) (d7edd24)
• avm: Separate alu finalization (#8069) (e8a9eb4)
• bb: IPA parallelization cleanup (#8088) (9227fa9)
• bb: Simplify parallel_for_if_effective (#8079) (5bff26b)
• bb: Small cleanup in protogalaxy prover (#8072) (4cb5c83)
• ci: Only show last 50 master cpp benches (#8075) (96f35bc)
• Clarify Field use (noir-lang/noir#5740) (0379462)
• CLI command to set latest block as proven (#7987) (80eaf1d)
• Configuration for bot on various networks (#8063) (453a096)
• Count brillig opcodes in nargo info (noir-lang/noir#5189) (0379462)
• Deduplication in Protogalaxy (#8067) (a5cc3ba)
• docs: Expanding solidity verifier chain list (noir-lang/noir#5587) (0379462)
• Dont trail whitespace in vscode (#5661) (7595d91)
• Handle constant output for ec add opcode (#8108) (2ee79d2)
• Make spans non-optional on UnresolvedType (noir-lang/noir#5773) (2d70215)
• Merge devnet fixes back to master (#8149) (6be2183)
• Merge devnet to master (#8044) (f84950f)
• Merge Provernet back to master (#8070) (82f3dc7)
• Merging TokenWithRefunds with Token (#8042) (8b795eb)
• Modified devnet config (#8087) (854ab45)
• Nuking old registry contract (#8057) (3bd08a8), closes #7955
• Pedersen hash related cleanup in aztec.nr (#8009) (3c4ac65)
• Portal manager cli (#8047) (618e251)
• Proper portal setup for fees + test (#7944) (9fec67e)
• Public kernel (#8061) (617a69c)
• Refactor ACIR function IDs from raw integers to struct (noir-lang/noir#5748) (0379462)
• Replace relative paths to noir-protocol-circuits (5ddf0e6)
• Replace relative paths to noir-protocol-circuits (ca77c17)
• Replace relative paths to noir-protocol-circuits (fe73c93)
• Replace relative paths to noir-protocol-circuits (576bc2f)
• Replace relative paths to noir-protocol-circuits (0d05d6b)
• Simplify sequencer and l1 communication (#7989) (cee4eba)
• Split LSP completion.rs into several files (noir-lang/noir#5723) (0379462)
• Split up stdlib/recursion (#8054) (ec03e40)
• sync-noir: Fix modify/delete conflicts automatically (#8090) (a09627c)
• Use decider verifier in ultra verifier (#8115) (6c5ab2b)

Documentation

• Fix typo overview.md (#7908) (3749211)
• Update installation info for bb and noir (#8119) (a744321)