AztecProtocol/aztec-packages aztec-packages-v0.49.0

aztec-packages: v0.49.0

on GitHub

0.49.0 (2024-08-15)

⚠ BREAKING CHANGES

• alternative key registry contract (#7523)
• Sequencer no longer proves (#7860)

Features

• Add FunctionDefinition::parameters, FunctionDefinition::return_type and impl Eq for Quoted (noir-lang/noir#5681) (b1c7374)
• Add Quoted::as_expr and Expr::as_function_call (noir-lang/noir#5708) (91042c7)
• Add Type::as_struct (noir-lang/noir#5680) (b1c7374)
• Add Type::get_trait_impl (noir-lang/noir#5716) (ccbef55)
• Add Type::implements (noir-lang/noir#5701) (91042c7)
• Add Type::is_field and Type::as_integer (noir-lang/noir#5670) (b1c7374)
• Add Type methods: as_tuple, as_slice, as_array, as_constant, is_bool (noir-lang/noir#5678) (b1c7374)
• Add a limited form of arithmetic on generics (noir-lang/noir#5625) (b1c7374)
• Add array_to_str_lossy (noir-lang/noir#5613) (b1c7374)
• Add generate-secret-and-hash to cli (#7977) (cdf62a0)
• Add mutating FunctionDefinition functions (noir-lang/noir#5685) (b1c7374)
• Add proven flag to sent tx wait opts (#7950) (e80e7d2)
• Add some Module comptime functions (noir-lang/noir#5684) (b1c7374)
• Alternative key registry contract (#7523) (3e6a20f)
• avm: More no fake rows + virtual dyn gas (part 1) (#7942) (9e8ba96)
• Derive Ord and Hash in the stdlib; add std::meta::make_impl helper (noir-lang/noir#5683) (b1c7374)
• Destroy_note_unsafe (#7891) (5cda7ba)
• docs: Nits (#7838) (a76c999)
• Enable UltraHonk verifier (#7923) (5e8b4a8), closes #7373
• Implement closures in the comptime interpreter (noir-lang/noir#5682) (b1c7374)
• IVC integration tests using new accumulate model (#7946) (c527ae9)
• LSP autocompletion for use statement (noir-lang/noir#5704) (91042c7)
• LSP closing brace hints (noir-lang/noir#5686) (b1c7374)
• LSP fields, functions and methods completion after "." and "::" (noir-lang/noir#5714) (ccbef55)
• LSP hover now includes "Go to" links (noir-lang/noir#5677) (b1c7374)
• LSP path completion (noir-lang/noir#5712) (91042c7)
• noir_js: Expose UltraHonk and integration tests (noir-lang/noir#5656) (b1c7374)
• Optimizing PrivateFPC (#7980) (d018335)
• Private refunds optimizations (#7968) (cea8295)
• Resolve arguments to attributes (noir-lang/noir#5649) (b1c7374)
• ssa: Simple serialization of unoptimized SSA to file (noir-lang/noir#5679) (b1c7374)
• Sync from aztec-packages (noir-lang/noir#5718) (ccbef55)
• Update honk ultra_recursive_verifier to do aggregation (#7582) (a96a5ad)

Bug Fixes

• Add locations to most SSA instructions (noir-lang/noir#5697) (b1c7374)
• Allow txs on block zero (#7928) (5e25cd6)
• Build error in e2e_block_building (0d0646d)
• debugger: Update the debugger to handle the new Brillig debug metadata format (noir-lang/noir#5706) (91042c7)
• Delete forks after proving job has finished (#7972) (2b4a842)
• Deploy verifier cmd (#7983) (f4fa797)
• Derive generic types (noir-lang/noir#5674) (b1c7374)
• Do not duplicate redundant Brillig debug metadata (noir-lang/noir#5696) (b1c7374)
• Do not mount ssh agent on OSX (#7991) (950db8e)
• docs: Add redirects for website links (#7979) (e890814)
• Elaborate struct & trait annotations in the correct module (noir-lang/noir#5643) (b1c7374)
• Fix where clause issue in items generated from attributes (noir-lang/noir#5673) (b1c7374)
• Lay plumbing for having simulations throw an error if they cannot be added in a block (#7839) (eedbc11)
• Let a trait impl that relies on another trait work (noir-lang/noir#5646) (b1c7374)
• Only record bytecode if >0 (#7932) (3f145b3)
• Remove missing file (#7941) (4d9290f)
• Replace unused ArrayGet/Set with constrain if possibly out of bounds (noir-lang/noir#5691) (ccbef55)
• Switch verify proof to arrays (noir-lang/noir#5664) (b1c7374)
• Track L1 block for last L2 block body retrieved (#7927) (cd36be4), closes #7918
• Unexpose get note nonces on pxe (#7889) (163c3a6)
• Use data dir for lmdb forks (#7973) (5b53d43)
• Workaround from_slice with nested slices (noir-lang/noir#5648) (b1c7374)

Miscellaneous

• Add docs tip about filenames between commands (noir-lang/noir#5695) (b1c7374)
• Add env var to disable bb cleanup (#7936) (806a370)
• Add parser support for ::ident (noir-lang/noir#5688) (b1c7374)
• Add tests for noir<>ivc integration testing (#7931) (7cc47a6)
• Allow passing custom executors to fuzzer (noir-lang/noir#5710) (91042c7)
• avm: Fewer errors unless testing (#7943) (33b65a9)
• bb: Constexpr simplifications (#7906) (65d3b7f)
• bb: Prereq work for polynomial mem optimization (#7949) (5ca5138)
• ci: Print detailed target timings (#7934) (fb574aa)
• Do not clean up bb files on err (#7985) (75c6768)
• Enable execute command on aws ecs services (#7975) (4331bc6)
• Ensure bootstrapped networks have no pending blocks when proving starts (#7986) (fb471b3)
• Fork logs and prover job catch (#7982) (69bde53)
• Move siloing to reset (#7871) (014b5f0)
• Pin yarn versions in noir-projects and bb/ts (#7988) (83f33a1)
• Release Noir(0.33.0) (noir-lang/noir#5550) (b1c7374)
• Replace relative paths to noir-protocol-circuits (cd5f138)
• Replace relative paths to noir-protocol-circuits (6f3cef9)
• Replace relative paths to noir-protocol-circuits (54c4441)
• Replace VERSION with IMAGE on provernet template (d5e48aa)
• Sequencer no longer proves (#7860) (7168290)
• Simplify registry (#7939) (8e0418f)
• Terraform template for prover-node (#7846) (546f946)
• Update provernet docker compose template (#7929) (33d47d2)
• Updating token with refunds (#7969) (504deba)

barretenberg: 0.49.0

0.49.0 (2024-08-15)

Features

• avm: More no fake rows + virtual dyn gas (part 1) (#7942) (9e8ba96)
• IVC integration tests using new accumulate model (#7946) (c527ae9)
• Update honk ultra_recursive_verifier to do aggregation (#7582) (a96a5ad)

Miscellaneous

• avm: Fewer errors unless testing (#7943) (33b65a9)
• bb: Constexpr simplifications (#7906) (65d3b7f)
• bb: Prereq work for polynomial mem optimization (#7949) (5ca5138)