chore: Remove the remainder of legacy code #5525

jfecher · 2024-07-16T16:22:30Z

Description

Problem*

Summary*

Removes the remainder of legacy code: the Resolver and the TypeChecker.

Additional Context

Removing this bit required updating aztec_macros a bit to use the elaborator instead of the resolver/type checker when inserting the code, hence why this was split into a separate PR. The change should be minor.

Documentation*

Check one:

No documentation needed.
Documentation included in this PR.
[For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

I have tested the changes locally.
I have formatted the changes with Prettier and/or cargo fmt on default settings.

# Description ## Problem\* ## Summary\* Made this PR as an experiment to see how much legacy code we can remove today. It looks like we can remove the majority of resolution code at the `dc_crate` level, but we can't remove the NameResolver or TypeChecker since these are used by the aztec macros crate. This is something we'll have to watch out for when the elaborator is used by default - that code injected by macros will still use the old resolution & type checking code. I'm not aware of any compatibility errors when running both but it is something to keep in mind. Edit: Removed the NameResolver and TypeChecker in a separate PR: #5525 ## Additional Context ## Documentation\* Check one: - [x] No documentation needed. - [ ] Documentation included in this PR. - [ ] **[For Experimental Features]** Documentation to be submitted in a separate PR. # PR Checklist\* - [x] I have tested the changes locally. - [x] I have formatted the changes with [Prettier](https://prettier.io/) and/or `cargo fmt` on default settings.

…5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367) fix: lsp hover wasn't always working (noir-lang/noir#5515) fix: Mutability in the comptime interpreter (noir-lang/noir#5517) chore: Noir version for Pedersen commitment and hash (noir-lang/noir#5431) chore: add benchmark for ecdsa (noir-lang/noir#5113) feat(nargo): Default expression width field in `Nargo.toml` (noir-lang/noir#5505) chore: bump hardhat version to `2.22.6` (noir-lang/noir#5514) chore: added regression test for check_for_underconstrained_values resolve bug (noir-lang/noir#5490) feat: add debug codelens action (noir-lang/noir#5474) chore(ci): remove bad colon in yaml file (noir-lang/noir#5520) chore(ci): add workflow to run `nargo check` on external repos (noir-lang/noir#5355) feat: add support for usage of `super` in import paths (noir-lang/noir#5502) feat: Allow comptime attributes on traits & functions (noir-lang/noir#5496) feat: skip reading values immediately after it being written into an array (noir-lang/noir#5449) fix: Don't type error when calling certain trait impls in the interpreter (noir-lang/noir#5471) feat: LSP hover (noir-lang/noir#5491) chore: update typo PR script (noir-lang/noir#5488) feat: Handle ACIR calls in the debugger (noir-lang/noir#5051) feat: Add unquote function (noir-lang/noir#5497) feat: Allow arguments to attribute functions (noir-lang/noir#5494)

…ins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367)

feat: add comptime support for `modulus_*` compiler builtins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367)

fix: never panic in LSP inlay hints (noir-lang/noir#5534) feat: LSP document symbol (noir-lang/noir#5532) feat: add comptime support for `modulus_*` compiler builtins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367)

chore(docs): Docs for turbofish operator (noir-lang/noir#5555) fix(frontend): Error for when impl is stricter than trait (noir-lang/noir#5343) chore: filter warnings from elaborator in Aztec Macros (noir-lang/noir#5556) fix: Don't panic when a macro fails to resolve (noir-lang/noir#5537) fix(ssa): More robust array deduplication check (noir-lang/noir#5547) fix: Fix occurs check (noir-lang/noir#5535) fix: type_of for pointer types (noir-lang/noir#5536) chore: Release Noir(0.32.0) (noir-lang/noir#5268) fix: revert PR #5449 (noir-lang/noir#5548) fix: never panic in LSP inlay hints (noir-lang/noir#5534) feat: LSP document symbol (noir-lang/noir#5532) feat: add comptime support for `modulus_*` compiler builtins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367)

…g/noir#5572) chore: disable aztec-packages CI checks (noir-lang/noir#5566) feat: LSP inlay parameter hints (noir-lang/noir#5553) feat: Add `TraitDefinition::as_trait_constraint()` (noir-lang/noir#5541) fix: Fix `uhashmap` test name (noir-lang/noir#5563) fix: let unary traits work at comptime (noir-lang/noir#5507) feat: Add a compile-time hash map type (noir-lang/noir#5543) chore(docs): Docs for turbofish operator (noir-lang/noir#5555) fix(frontend): Error for when impl is stricter than trait (noir-lang/noir#5343) chore: filter warnings from elaborator in Aztec Macros (noir-lang/noir#5556) fix: Don't panic when a macro fails to resolve (noir-lang/noir#5537) fix(ssa): More robust array deduplication check (noir-lang/noir#5547) fix: Fix occurs check (noir-lang/noir#5535) fix: type_of for pointer types (noir-lang/noir#5536) chore: Release Noir(0.32.0) (noir-lang/noir#5268) fix: revert PR #5449 (noir-lang/noir#5548) fix: never panic in LSP inlay hints (noir-lang/noir#5534) feat: LSP document symbol (noir-lang/noir#5532) feat: add comptime support for `modulus_*` compiler builtins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367)

chore: disable aztec-packages CI checks (noir-lang/noir#5566) feat: LSP inlay parameter hints (noir-lang/noir#5553) feat: Add `TraitDefinition::as_trait_constraint()` (noir-lang/noir#5541) fix: Fix `uhashmap` test name (noir-lang/noir#5563) fix: let unary traits work at comptime (noir-lang/noir#5507) feat: Add a compile-time hash map type (noir-lang/noir#5543) chore(docs): Docs for turbofish operator (noir-lang/noir#5555) fix(frontend): Error for when impl is stricter than trait (noir-lang/noir#5343) chore: filter warnings from elaborator in Aztec Macros (noir-lang/noir#5556) fix: Don't panic when a macro fails to resolve (noir-lang/noir#5537) fix(ssa): More robust array deduplication check (noir-lang/noir#5547) fix: Fix occurs check (noir-lang/noir#5535) fix: type_of for pointer types (noir-lang/noir#5536) chore: Release Noir(0.32.0) (noir-lang/noir#5268) fix: revert PR #5449 (noir-lang/noir#5548) fix: never panic in LSP inlay hints (noir-lang/noir#5534) feat: LSP document symbol (noir-lang/noir#5532) feat: add comptime support for `modulus_*` compiler builtins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367)

…g/noir#5572) chore: disable aztec-packages CI checks (noir-lang/noir#5566) feat: LSP inlay parameter hints (noir-lang/noir#5553) feat: Add `TraitDefinition::as_trait_constraint()` (noir-lang/noir#5541) fix: Fix `uhashmap` test name (noir-lang/noir#5563) fix: let unary traits work at comptime (noir-lang/noir#5507) feat: Add a compile-time hash map type (noir-lang/noir#5543) chore(docs): Docs for turbofish operator (noir-lang/noir#5555) fix(frontend): Error for when impl is stricter than trait (noir-lang/noir#5343) chore: filter warnings from elaborator in Aztec Macros (noir-lang/noir#5556) fix: Don't panic when a macro fails to resolve (noir-lang/noir#5537) fix(ssa): More robust array deduplication check (noir-lang/noir#5547) fix: Fix occurs check (noir-lang/noir#5535) fix: type_of for pointer types (noir-lang/noir#5536) chore: Release Noir(0.32.0) (noir-lang/noir#5268) fix: revert PR #5449 (noir-lang/noir#5548) fix: never panic in LSP inlay hints (noir-lang/noir#5534) feat: LSP document symbol (noir-lang/noir#5532) feat: add comptime support for `modulus_*` compiler builtins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367)

chore: disable aztec-packages CI checks (noir-lang/noir#5566) feat: LSP inlay parameter hints (noir-lang/noir#5553) feat: Add `TraitDefinition::as_trait_constraint()` (noir-lang/noir#5541) fix: Fix `uhashmap` test name (noir-lang/noir#5563) fix: let unary traits work at comptime (noir-lang/noir#5507) feat: Add a compile-time hash map type (noir-lang/noir#5543) chore(docs): Docs for turbofish operator (noir-lang/noir#5555) fix(frontend): Error for when impl is stricter than trait (noir-lang/noir#5343) chore: filter warnings from elaborator in Aztec Macros (noir-lang/noir#5556) fix: Don't panic when a macro fails to resolve (noir-lang/noir#5537) fix(ssa): More robust array deduplication check (noir-lang/noir#5547) fix: Fix occurs check (noir-lang/noir#5535) fix: type_of for pointer types (noir-lang/noir#5536) chore: Release Noir(0.32.0) (noir-lang/noir#5268) fix: revert PR #5449 (noir-lang/noir#5548) fix: never panic in LSP inlay hints (noir-lang/noir#5534) feat: LSP document symbol (noir-lang/noir#5532) feat: add comptime support for `modulus_*` compiler builtins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367)

…g/noir#5572) chore: disable aztec-packages CI checks (noir-lang/noir#5566) feat: LSP inlay parameter hints (noir-lang/noir#5553) feat: Add `TraitDefinition::as_trait_constraint()` (noir-lang/noir#5541) fix: Fix `uhashmap` test name (noir-lang/noir#5563) fix: let unary traits work at comptime (noir-lang/noir#5507) feat: Add a compile-time hash map type (noir-lang/noir#5543) chore(docs): Docs for turbofish operator (noir-lang/noir#5555) fix(frontend): Error for when impl is stricter than trait (noir-lang/noir#5343) chore: filter warnings from elaborator in Aztec Macros (noir-lang/noir#5556) fix: Don't panic when a macro fails to resolve (noir-lang/noir#5537) fix(ssa): More robust array deduplication check (noir-lang/noir#5547) fix: Fix occurs check (noir-lang/noir#5535) fix: type_of for pointer types (noir-lang/noir#5536) chore: Release Noir(0.32.0) (noir-lang/noir#5268) fix: revert PR #5449 (noir-lang/noir#5548) fix: never panic in LSP inlay hints (noir-lang/noir#5534) feat: LSP document symbol (noir-lang/noir#5532) feat: add comptime support for `modulus_*` compiler builtins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367)

chore: disable aztec-packages CI checks (noir-lang/noir#5566) feat: LSP inlay parameter hints (noir-lang/noir#5553) feat: Add `TraitDefinition::as_trait_constraint()` (noir-lang/noir#5541) fix: Fix `uhashmap` test name (noir-lang/noir#5563) fix: let unary traits work at comptime (noir-lang/noir#5507) feat: Add a compile-time hash map type (noir-lang/noir#5543) chore(docs): Docs for turbofish operator (noir-lang/noir#5555) fix(frontend): Error for when impl is stricter than trait (noir-lang/noir#5343) chore: filter warnings from elaborator in Aztec Macros (noir-lang/noir#5556) fix: Don't panic when a macro fails to resolve (noir-lang/noir#5537) fix(ssa): More robust array deduplication check (noir-lang/noir#5547) fix: Fix occurs check (noir-lang/noir#5535) fix: type_of for pointer types (noir-lang/noir#5536) chore: Release Noir(0.32.0) (noir-lang/noir#5268) fix: revert PR #5449 (noir-lang/noir#5548) fix: never panic in LSP inlay hints (noir-lang/noir#5534) feat: LSP document symbol (noir-lang/noir#5532) feat: add comptime support for `modulus_*` compiler builtins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367)

Automated pull of development from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec. BEGIN_COMMIT_OVERRIDE feat: add comptime support for `modulus_*` compiler builtins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367) END_COMMIT_OVERRIDE --------- Co-authored-by: TomAFrench <[email protected]>

…onsist of exactly two segments (noir-lang/noir#5577) fix: Run macros within comptime contexts (noir-lang/noir#5576) chore: Remove comptime scanning pass (noir-lang/noir#5569) fix(frontend): Disallow signed numeric generics (noir-lang/noir#5572) chore: disable aztec-packages CI checks (noir-lang/noir#5566) feat: LSP inlay parameter hints (noir-lang/noir#5553) feat: Add `TraitDefinition::as_trait_constraint()` (noir-lang/noir#5541) fix: Fix `uhashmap` test name (noir-lang/noir#5563) fix: let unary traits work at comptime (noir-lang/noir#5507) feat: Add a compile-time hash map type (noir-lang/noir#5543) chore(docs): Docs for turbofish operator (noir-lang/noir#5555) fix(frontend): Error for when impl is stricter than trait (noir-lang/noir#5343) chore: filter warnings from elaborator in Aztec Macros (noir-lang/noir#5556) fix: Don't panic when a macro fails to resolve (noir-lang/noir#5537) fix(ssa): More robust array deduplication check (noir-lang/noir#5547) fix: Fix occurs check (noir-lang/noir#5535) fix: type_of for pointer types (noir-lang/noir#5536) chore: Release Noir(0.32.0) (noir-lang/noir#5268) fix: revert PR #5449 (noir-lang/noir#5548) fix: never panic in LSP inlay hints (noir-lang/noir#5534) feat: LSP document symbol (noir-lang/noir#5532) feat: add comptime support for `modulus_*` compiler builtins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367)

Automated pull of development from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec. BEGIN_COMMIT_OVERRIDE fix: allow calling a trait method with paths that don't consist of exactly two segments (noir-lang/noir#5577) fix: Run macros within comptime contexts (noir-lang/noir#5576) chore: Remove comptime scanning pass (noir-lang/noir#5569) fix(frontend): Disallow signed numeric generics (noir-lang/noir#5572) chore: disable aztec-packages CI checks (noir-lang/noir#5566) feat: LSP inlay parameter hints (noir-lang/noir#5553) feat: Add `TraitDefinition::as_trait_constraint()` (noir-lang/noir#5541) fix: Fix `uhashmap` test name (noir-lang/noir#5563) fix: let unary traits work at comptime (noir-lang/noir#5507) feat: Add a compile-time hash map type (noir-lang/noir#5543) chore(docs): Docs for turbofish operator (noir-lang/noir#5555) fix(frontend): Error for when impl is stricter than trait (noir-lang/noir#5343) chore: filter warnings from elaborator in Aztec Macros (noir-lang/noir#5556) fix: Don't panic when a macro fails to resolve (noir-lang/noir#5537) fix(ssa): More robust array deduplication check (noir-lang/noir#5547) fix: Fix occurs check (noir-lang/noir#5535) fix: type_of for pointer types (noir-lang/noir#5536) chore: Release Noir(0.32.0) (noir-lang/noir#5268) fix: revert PR #5449 (noir-lang/noir#5548) fix: never panic in LSP inlay hints (noir-lang/noir#5534) feat: LSP document symbol (noir-lang/noir#5532) feat: add comptime support for `modulus_*` compiler builtins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367) END_COMMIT_OVERRIDE --------- Co-authored-by: sirasistant <[email protected]> Co-authored-by: Maxim Vezenov <[email protected]>

…er (noir-lang/noir#5589) feat: Implement `poseidon2_permutation` in comptime interpreter (noir-lang/noir#5590) fix: 'cannot eval non-comptime global' error (noir-lang/noir#5586) fix(frontend)!: Restrict numeric generic types to unsigned ints up to `u32` (noir-lang/noir#5581) feat: Implement `zeroed` in the interpreter (noir-lang/noir#5540) fix: correctly track sources for open LSP documents (noir-lang/noir#5561) fix: error on trait impl generics count mismatch (noir-lang/noir#5582) fix: allow calling a trait method with paths that don't consist of exactly two segments (noir-lang/noir#5577) fix: Run macros within comptime contexts (noir-lang/noir#5576) chore: Remove comptime scanning pass (noir-lang/noir#5569) fix(frontend): Disallow signed numeric generics (noir-lang/noir#5572) chore: disable aztec-packages CI checks (noir-lang/noir#5566) feat: LSP inlay parameter hints (noir-lang/noir#5553) feat: Add `TraitDefinition::as_trait_constraint()` (noir-lang/noir#5541) fix: Fix `uhashmap` test name (noir-lang/noir#5563) fix: let unary traits work at comptime (noir-lang/noir#5507) feat: Add a compile-time hash map type (noir-lang/noir#5543) chore(docs): Docs for turbofish operator (noir-lang/noir#5555) fix(frontend): Error for when impl is stricter than trait (noir-lang/noir#5343) chore: filter warnings from elaborator in Aztec Macros (noir-lang/noir#5556) fix: Don't panic when a macro fails to resolve (noir-lang/noir#5537) fix(ssa): More robust array deduplication check (noir-lang/noir#5547) fix: Fix occurs check (noir-lang/noir#5535) fix: type_of for pointer types (noir-lang/noir#5536) chore: Release Noir(0.32.0) (noir-lang/noir#5268) fix: revert PR #5449 (noir-lang/noir#5548) fix: never panic in LSP inlay hints (noir-lang/noir#5534) feat: LSP document symbol (noir-lang/noir#5532) feat: add comptime support for `modulus_*` compiler builtins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367)

Automated pull of development from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec. BEGIN_COMMIT_OVERRIDE chore: Add a regression test for bit not on untyped integer (noir-lang/noir#5589) feat: Implement `poseidon2_permutation` in comptime interpreter (noir-lang/noir#5590) fix: 'cannot eval non-comptime global' error (noir-lang/noir#5586) fix(frontend)!: Restrict numeric generic types to unsigned ints up to `u32` (noir-lang/noir#5581) feat: Implement `zeroed` in the interpreter (noir-lang/noir#5540) fix: correctly track sources for open LSP documents (noir-lang/noir#5561) fix: error on trait impl generics count mismatch (noir-lang/noir#5582) fix: allow calling a trait method with paths that don't consist of exactly two segments (noir-lang/noir#5577) fix: Run macros within comptime contexts (noir-lang/noir#5576) chore: Remove comptime scanning pass (noir-lang/noir#5569) fix(frontend): Disallow signed numeric generics (noir-lang/noir#5572) chore: disable aztec-packages CI checks (noir-lang/noir#5566) feat: LSP inlay parameter hints (noir-lang/noir#5553) feat: Add `TraitDefinition::as_trait_constraint()` (noir-lang/noir#5541) fix: Fix `uhashmap` test name (noir-lang/noir#5563) fix: let unary traits work at comptime (noir-lang/noir#5507) feat: Add a compile-time hash map type (noir-lang/noir#5543) chore(docs): Docs for turbofish operator (noir-lang/noir#5555) fix(frontend): Error for when impl is stricter than trait (noir-lang/noir#5343) chore: filter warnings from elaborator in Aztec Macros (noir-lang/noir#5556) fix: Don't panic when a macro fails to resolve (noir-lang/noir#5537) fix(ssa): More robust array deduplication check (noir-lang/noir#5547) fix: Fix occurs check (noir-lang/noir#5535) fix: type_of for pointer types (noir-lang/noir#5536) chore: Release Noir(0.32.0) (noir-lang/noir#5268) fix: revert PR #5449 (noir-lang/noir#5548) fix: never panic in LSP inlay hints (noir-lang/noir#5534) feat: LSP document symbol (noir-lang/noir#5532) feat: add comptime support for `modulus_*` compiler builtins (noir-lang/noir#5530) chore: Remove unknown annotation warning (noir-lang/noir#5531) feat: Add TraitConstraint type (noir-lang/noir#5499) fix: Error on empty function bodies (noir-lang/noir#5519) feat: LSP inlay hints for let and global (noir-lang/noir#5510) chore: Remove dbg on find_func_with_name (noir-lang/noir#5526) chore: Remove the remainder of legacy code (noir-lang/noir#5525) chore: Remove `--use-legacy` and resolution code (noir-lang/noir#5248) chore: switch to Noir Keccak implementation with variable size support (noir-lang/noir#5508) chore: standardize experimental feature disclaimer across documentation (noir-lang/noir#5367) END_COMMIT_OVERRIDE --------- Co-authored-by: Maxim Vezenov <[email protected]>

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

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

jfecher added 12 commits June 13, 2024 11:28

Replace use-elaborator flag with use-legacy

cf44659

Fix cyclic dependency bug

a80fd7c

Remove resolution code

8c85eef

Merge branch 'master' into jf/remove-legacy-code

f0d1d1e

Fix test compilation

2db3f96

Remove remaining legacy tests

3e136f8

Fix frontend tests

7377809

Fix lsp

8e7b532

Format

4fa6f72

Thank you cargo for not giving me errors in test libs. Very helpful

970b250

Merge branch 'master' into jf/remove-legacy-code

6604406

Remove more legacy code

c9fb4da

jfecher requested review from Thunkar and a team July 16, 2024 16:22

jfecher added 2 commits July 16, 2024 11:23

Remove legacy no bug tests

7a8922b

Merge branch 'jf/remove-legacy-code' into jf/remove-more-legacy-code

d545f8f

jfecher mentioned this pull request Jul 16, 2024

chore: Remove --use-legacy and resolution code #5248

Merged

5 tasks

Format

7019c4c

michaeljklein approved these changes Jul 16, 2024

View reviewed changes

Base automatically changed from jf/remove-legacy-code to master July 16, 2024 17:31

jfecher added 2 commits July 16, 2024 12:56

Fix comptime tests

47b3214

Merge branch 'master' into jf/remove-more-legacy-code

1651b43

jfecher enabled auto-merge July 16, 2024 17:59

jfecher added this pull request to the merge queue Jul 16, 2024

Merged via the queue into master with commit 0319be2 Jul 16, 2024
45 of 47 checks passed

jfecher deleted the jf/remove-more-legacy-code branch July 16, 2024 18:15

AztecBot mentioned this pull request Jul 17, 2024

feat: Sync from noir AztecProtocol/aztec-packages#7512

Merged

AztecBot mentioned this pull request Jul 23, 2024

chore(master): Release 0.47.0 AztecProtocol/aztec-packages#7501

Merged

sirasistant mentioned this pull request Jul 23, 2024

feat: Sync from noir (restores #7512) AztecProtocol/aztec-packages#7574

Closed

AztecBot mentioned this pull request Jul 23, 2024

feat: Sync from noir AztecProtocol/aztec-packages#7577

Merged

AztecBot mentioned this pull request Jul 23, 2024

feat: Sync from noir AztecProtocol/aztec-packages#7583

Merged

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

chore: Remove the remainder of legacy code #5525

chore: Remove the remainder of legacy code #5525

jfecher commented Jul 16, 2024

chore: Remove the remainder of legacy code #5525

chore: Remove the remainder of legacy code #5525

Conversation

jfecher commented Jul 16, 2024

Description

Problem*

Summary*

Additional Context

Documentation*

PR Checklist*