aztec-packages: v0.47.0
Pre-release
Pre-release
0.47.0 (2024-07-24)
⚠ BREAKING CHANGES
- frontend: Restrict numeric generic types to unsigned ints up to
u32
(noir-lang/noir#5581)
Features
- Add
TraitDefinition::as_trait_constraint()
(noir-lang/noir#5541) (a26419f) - Add
TraitDefinition::as_trait_constraint()
(noir-lang/noir#5541) (7799fc6) - Add
TraitDefinition::as_trait_constraint()
(noir-lang/noir#5541) (c39bcdc) - Add a compile-time hash map type (noir-lang/noir#5543) (a26419f)
- Add a compile-time hash map type (noir-lang/noir#5543) (7799fc6)
- Add a compile-time hash map type (noir-lang/noir#5543) (c39bcdc)
- Add comptime support for
modulus_*
compiler builtins (noir-lang/noir#5530) (a26419f) - Add comptime support for
modulus_*
compiler builtins (noir-lang/noir#5530) (7799fc6) - Add comptime support for
modulus_*
compiler builtins (noir-lang/noir#5530) (c39bcdc) - Add debug codelens action (noir-lang/noir#5474) (4ec86c0)
- Add support for usage of
super
in import paths (noir-lang/noir#5502) (4ec86c0) - Add TraitConstraint type (noir-lang/noir#5499) (a26419f)
- Add TraitConstraint type (noir-lang/noir#5499) (7799fc6)
- Add TraitConstraint type (noir-lang/noir#5499) (c39bcdc)
- Add unquote function (noir-lang/noir#5497) (4ec86c0)
- Allow arguments to attribute functions (noir-lang/noir#5494) (4ec86c0)
- Allow comptime attributes on traits & functions (noir-lang/noir#5496) (4ec86c0)
- avm-simulator: Keccakf1600 opcode (#7545) (b81c503)
- avm: Concurrency improvements (#7495) (0d5c066)
- Avoid heap allocs when going to/from field (#7547) (086522d)
- Bootstrap devnet (#7578) (ade373b)
- Bootstrap devnet on CI (#7534) (77ce1c3)
- Bridge devcoin (#7595) (a316fcd), closes #7571
- Bus updates (#7522) (bf774c2)
- docs: Update sandbox commands, add reference, fix tutorials (#7580) (4f07290)
- Faucet takes mnemonic (#7546) (dbd054f)
- Handle ACIR calls in the debugger (noir-lang/noir#5051) (4ec86c0)
- Implement
poseidon2_permutation
in comptime interpreter (noir-lang/noir#5590) (a26419f) - Implement
zeroed
in the interpreter (noir-lang/noir#5540) (a26419f) - LSP document symbol (noir-lang/noir#5532) (a26419f)
- LSP document symbol (noir-lang/noir#5532) (7799fc6)
- LSP document symbol (noir-lang/noir#5532) (c39bcdc)
- LSP hover (noir-lang/noir#5491) (4ec86c0)
- LSP inlay hints for let and global (noir-lang/noir#5510) (a26419f)
- LSP inlay hints for let and global (noir-lang/noir#5510) (7799fc6)
- LSP inlay hints for let and global (noir-lang/noir#5510) (c39bcdc)
- LSP inlay parameter hints (noir-lang/noir#5553) (a26419f)
- LSP inlay parameter hints (noir-lang/noir#5553) (7799fc6)
- LSP inlay parameter hints (noir-lang/noir#5553) (c39bcdc)
- Make Brillig do integer arithmetic operations using u128 instead of Bigint (#7518) (4a2011e)
- nargo: Default expression width field in
Nargo.toml
(noir-lang/noir#5505) (4ec86c0) - Populate recipient in outgoing (#7390) (3293244)
- Prover node (#7452) (609a68f), closes #7346
- Simple sparse commitment (#7488) (df08874)
- Skip reading values immediately after it being written into an array (noir-lang/noir#5449) (4ec86c0)
- Solidity honk verifier (#5485) (8dfebe4)
- Trimming 1 byte from compressed repr of Point (#7505) (9a68034)
- TS keccakf1600 (#7542) (55fb93d)
- TXE nr deployments, dependency cleanup for CLI (#7548) (92ff2fa)
Bug Fixes
- 'cannot eval non-comptime global' error (noir-lang/noir#5586) (a26419f)
- Add yq to build image (#7338) (6035595)
- Allow calling a trait method with paths that don't consist of exactly two segments (noir-lang/noir#5577) (a26419f)
- Allow calling a trait method with paths that don't consist of exactly two segments (noir-lang/noir#5577) (7799fc6)
- avm: One too many range check rows (#7499) (deb6918)
- aztec-nr: Make impls not stricter than traits (#7502) (c498934)
- Cli fixes (#7543) (689000a)
- Correctly track sources for open LSP documents (noir-lang/noir#5561) (a26419f)
- Do not load the BN254 CRS for verifying client ivc proofs (#7556) (e515b71)
- Don't bind ports when running the cli (#7596) (5a907c6)
- Don't panic when a macro fails to resolve (noir-lang/noir#5537) (a26419f)
- Don't panic when a macro fails to resolve (noir-lang/noir#5537) (7799fc6)
- Don't panic when a macro fails to resolve (noir-lang/noir#5537) (c39bcdc)
- Don't type error when calling certain trait impls in the interpreter (noir-lang/noir#5471) (4ec86c0)
- Error on empty function bodies (noir-lang/noir#5519) (a26419f)
- Error on empty function bodies (noir-lang/noir#5519) (7799fc6)
- Error on empty function bodies (noir-lang/noir#5519) (c39bcdc)
- Error on trait impl generics count mismatch (noir-lang/noir#5582) (a26419f)
- Fix
uhashmap
test name (noir-lang/noir#5563) (a26419f) - Fix
uhashmap
test name (noir-lang/noir#5563) (7799fc6) - Fix
uhashmap
test name (noir-lang/noir#5563) (c39bcdc) - Fix occurs check (noir-lang/noir#5535) (a26419f)
- Fix occurs check (noir-lang/noir#5535) (7799fc6)
- Fix occurs check (noir-lang/noir#5535) (c39bcdc)
- frontend: Disallow signed numeric generics (noir-lang/noir#5572) (a26419f)
- frontend: Disallow signed numeric generics (noir-lang/noir#5572) (7799fc6)
- frontend: Disallow signed numeric generics (noir-lang/noir#5572) (c39bcdc)
- frontend: Error for when impl is stricter than trait (noir-lang/noir#5343) (a26419f)
- frontend: Error for when impl is stricter than trait (noir-lang/noir#5343) (7799fc6)
- frontend: Error for when impl is stricter than trait (noir-lang/noir#5343) (c39bcdc)
- frontend: Restrict numeric generic types to unsigned ints up to
u32
(noir-lang/noir#5581) (a26419f) - Let unary traits work at comptime (noir-lang/noir#5507) (a26419f)
- Let unary traits work at comptime (noir-lang/noir#5507) (7799fc6)
- Let unary traits work at comptime (noir-lang/noir#5507) (c39bcdc)
- Lsp hover wasn't always working (noir-lang/noir#5515) (4ec86c0)
- Mutability in the comptime interpreter (noir-lang/noir#5517) (4ec86c0)
- Never panic in LSP inlay hints (noir-lang/noir#5534) (a26419f)
- Never panic in LSP inlay hints (noir-lang/noir#5534) (7799fc6)
- Never panic in LSP inlay hints (noir-lang/noir#5534) (c39bcdc)
- Nuke app siloed incoming viewing keys (#7464) (24d353a)
- Prover JSON RPC (#7496) (ca584a0)
- Remove custom entrypoint from CLI image (#7508) (c892c6a)
- Revert "feat: Sync from noir (#7512)" (#7558) (548701e)
- Revert PR #5449 (noir-lang/noir#5548) (a26419f)
- Revert PR #5449 (noir-lang/noir#5548) (7799fc6)
- Revert PR #5449 (noir-lang/noir#5548) (c39bcdc)
- Run macros within comptime contexts (noir-lang/noir#5576) (a26419f)
- Run macros within comptime contexts (noir-lang/noir#5576) (7799fc6)
- ssa: More robust array deduplication check (noir-lang/noir#5547) (a26419f)
- ssa: More robust array deduplication check (noir-lang/noir#5547) (7799fc6)
- ssa: More robust array deduplication check (noir-lang/noir#5547) (c39bcdc)
- Type_of for pointer types (noir-lang/noir#5536) (a26419f)
- Type_of for pointer types (noir-lang/noir#5536) (7799fc6)
- Type_of for pointer types (noir-lang/noir#5536) (c39bcdc)
Miscellaneous
- Add a regression test for bit not on untyped integer (noir-lang/noir#5589) (a26419f)
- Add benchmark for ecdsa (noir-lang/noir#5113) (4ec86c0)
- Added regression test for check_for_underconstrained_values resolve bug (noir-lang/noir#5490) (4ec86c0)
- avm: Bump SRS to 1 << 20 (#7575) (fad37a7)
- avm: Count non-zero elems and others (#7498) (7d97c0f)
- avm: Nuke declare_views (#7507) (7e07ba9)
- avm: Use commit_sparse (#7581) (6812f2b)
- Bump hardhat version to
2.22.6
(noir-lang/noir#5514) (4ec86c0) - ci: Add workflow to run
nargo check
on external repos (noir-lang/noir#5355) (4ec86c0) - ci: Remove bad colon in yaml file (noir-lang/noir#5520) (4ec86c0)
- Disable aztec-packages CI checks (noir-lang/noir#5566) (a26419f)
- Disable aztec-packages CI checks (noir-lang/noir#5566) (7799fc6)
- Disable aztec-packages CI checks (noir-lang/noir#5566) (c39bcdc)
- docs: Docs for turbofish operator (noir-lang/noir#5555) (a26419f)
- docs: Docs for turbofish operator (noir-lang/noir#5555) (7799fc6)
- docs: Docs for turbofish operator (noir-lang/noir#5555) (c39bcdc)
- docs: Fix migration notes (#7599) (ba90e2c)
- Filter warnings from elaborator in Aztec Macros (noir-lang/noir#5556) (a26419f)
- Filter warnings from elaborator in Aztec Macros (noir-lang/noir#5556) (7799fc6)
- Filter warnings from elaborator in Aztec Macros (noir-lang/noir#5556) (c39bcdc)
- Fix benchmark summary credentials (#7549) (817dd10)
- Introduce execution oracle (#7521) (645aec1)
- Moving pub_key_to_bytes to aztec-nr (#7506) (5b323a7)
- Noir version for Pedersen commitment and hash (noir-lang/noir#5431) (4ec86c0)
- Optimizing DA cost with new point compression (#7473) (2a5ee4f)
- Persist initial header in local store (#7555) (d65c692)
- Release Noir(0.32.0) (noir-lang/noir#5268) (a26419f)
- Release Noir(0.32.0) (noir-lang/noir#5268) (7799fc6)
- Release Noir(0.32.0) (noir-lang/noir#5268) (c39bcdc)
- Remove
--use-legacy
and resolution code (noir-lang/noir#5248) (a26419f) - Remove
--use-legacy
and resolution code (noir-lang/noir#5248) (7799fc6) - Remove
--use-legacy
and resolution code (noir-lang/noir#5248) (c39bcdc) - Remove comptime scanning pass (noir-lang/noir#5569) (a26419f)
- Remove comptime scanning pass (noir-lang/noir#5569) (7799fc6)
- Remove dbg on find_func_with_name (noir-lang/noir#5526) (a26419f)
- Remove dbg on find_func_with_name (noir-lang/noir#5526) (7799fc6)
- Remove dbg on find_func_with_name (noir-lang/noir#5526) (c39bcdc)
- Remove dummy arrays (#7246) (a4acd12)
- Remove more aztec-nr warnings (numerics and unused variables) (#7519) (3da86cb)
- Remove the remainder of legacy code (noir-lang/noir#5525) (a26419f)
- Remove the remainder of legacy code (noir-lang/noir#5525) (7799fc6)
- Remove the remainder of legacy code (noir-lang/noir#5525) (c39bcdc)
- Remove unknown annotation warning (noir-lang/noir#5531) (a26419f)
- Remove unknown annotation warning (noir-lang/noir#5531) (7799fc6)
- Remove unknown annotation warning (noir-lang/noir#5531) (c39bcdc)
- Replace relative paths to noir-protocol-circuits (301b34f)
- Replace relative paths to noir-protocol-circuits (0977dec)
- Replace relative paths to noir-protocol-circuits (da071bf)
- Replace relative paths to noir-protocol-circuits (954bcd7)
- Standardize experimental feature disclaimer across documentation (noir-lang/noir#5367) (a26419f)
- Standardize experimental feature disclaimer across documentation (noir-lang/noir#5367) (7799fc6)
- Standardize experimental feature disclaimer across documentation (noir-lang/noir#5367) (c39bcdc)
- Switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) (a26419f)
- Switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) (7799fc6)
- Switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) (c39bcdc)
- Update typo PR script (noir-lang/noir#5488) (4ec86c0)
- Use new let syntax for generic numerics (#7503) (25e6684)