chore: Separate unconstrained functions during monomorphization #6894

jfecher · 2024-12-20T15:34:50Z

Description

Problem*

Resolves #6841
Resolves #6831

Summary*

Adds a boolean is_unconstrained as an extra key during monomorphization. This should separate constrained from unconstrained functions. This key is infectious so every function called from an unconstrained function will also be unconstrained.

Additional Context

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.

github-actions · 2024-12-20T15:37:53Z

Changes to Brillig bytecode sizes

Generated at commit: f6db36c8fef6b0c37be7dc2be0df903a231aa845, compared to commit: da18a12e32e60fb2301e747fd24505fb46d679d7

🧾 Summary (10% most significant diffs)

Program	Brillig opcodes (+/-)	%
sha256_regression	-13 ✅	-0.19%
higher_order_functions	-598 ✅	-88.33%

Full diff report 👇

Program	Brillig opcodes (+/-)	%
sha256_var_padding_regression	5,123 (-6)	-0.12%
sha256	2,404 (-4)	-0.17%
sha256_regression	6,904 (-13)	-0.19%
higher_order_functions	79 (-598)	-88.33%

github-actions · 2024-12-20T15:39:11Z

Peak Memory Sample

Program	Peak Memory	%
keccak256	78.48M	0%
workspace	123.58M	0%
regression_4709	422.91M	0%
ram_blowup_regression	1.58G	0%
rollup-base-public	10.47G	0%
rollup-base-private	6.57G	0%
private-kernel-tail	202.04M	0%
private-kernel-reset	716.67M	-1%
private-kernel-inner	292.31M	0%
parity-root	172.14M	0%

github-actions · 2024-12-20T15:41:26Z

Compilation Report

Program	Compilation Time	%
sha256_regression	1.430s	6%
regression_4709	0.816s	5%
ram_blowup_regression	15.220s	3%
rollup-root	5.060s	30%
rollup-block-merge	3.820s	-18%
rollup-base-public	37.400s	-6%
rollup-base-private	19.400s	-6%
private-kernel-tail	1.133s	10%
private-kernel-reset	6.892s	-1%
private-kernel-inner	2.214s	2%
noir-contracts	86.200s	0%

github-actions · 2024-12-20T15:41:27Z

Execution Report

Program	Execution Time	%
sha256_regression	0.101s	1%
regression_4709	0.001s	0%
ram_blowup_regression	0.585s	-1%
rollup-root	0.125s	0%
rollup-block-merge	0.128s	1%
rollup-base-public	2.490s	-2%
rollup-base-private	1.700s	1%
private-kernel-tail	0.023s	0%
private-kernel-reset	0.387s	-2%
private-kernel-inner	0.116s	-1%

compiler/noirc_frontend/src/monomorphization/mod.rs

compiler/noirc_evaluator/src/ssa.rs

github-actions · 2025-01-02T16:08:36Z

Changes to number of Brillig opcodes executed

Generated at commit: f6db36c8fef6b0c37be7dc2be0df903a231aa845, compared to commit: da18a12e32e60fb2301e747fd24505fb46d679d7

🧾 Summary (10% most significant diffs)

Program	Brillig opcodes (+/-)	%
sha256_regression	-141 ✅	-0.12%
higher_order_functions	-1,144 ✅	-91.16%

Full diff report 👇

Program	Brillig opcodes (+/-)	%
sha256_var_padding_regression	222,210 (-6)	-0.00%
sha256	14,992 (-4)	-0.03%
sha256_regression	118,563 (-141)	-0.12%
higher_order_functions	111 (-1,144)	-91.16%

github-actions · 2025-01-03T19:18:09Z

Execution Memory Report

Program	Peak Memory
keccak256	74.61M
workspace	123.71M
regression_4709	315.93M
ram_blowup_regression	512.47M
rollup-base-public	1.18G
rollup-base-private	831.52M
private-kernel-tail	181.99M
private-kernel-reset	255.57M
private-kernel-inner	215.17M

github-actions · 2025-01-03T19:18:10Z

Compilation Memory Report

Program	Peak Memory
keccak256	78.50M
workspace	123.60M
regression_4709	422.91M
ram_blowup_regression	1.58G
rollup-base-public	2.80G
rollup-base-private	1.86G
private-kernel-tail	201.95M
private-kernel-reset	716.58M
private-kernel-inner	292.22M

jfecher · 2025-01-03T20:34:21Z

This should be ready for review now. There were some issues with unused functions before that have since been resolved. I've tried a few combinations including updating the defunctionalization pass to not touch acir functions, but I found that it was easiest to just remove unused functions again after inlining to avoid triggering a constant_assert in an unreachable function in the hashmap example.

TomAFrench · 2025-01-03T23:24:47Z

This causes some regressions on circuit sizes which is not being shown due to a bug in the noir-gates-diff action. The fix is in #6944.

vezenovm

Looks good once the debugger is patched. I see that we do have some monomorphization logic for the debugger under monomorphization/debug.rs

compiler/noirc_evaluator/src/ssa/opt/remove_unreachable.rs

…ir-lang/noir into jf/monomorphize-unconstrained

jfecher · 2025-01-06T18:10:52Z

Made an issue for the debugger issue here: #6955.
For now, I added a short circuit if no such function exists in the pass. In the future we probably shouldn't have the inliner removing functions still referenced by debugger functions.

* master: chore: Separate unconstrained functions during monomorphization (#6894) feat!: turn CannotReexportItemWithLessVisibility into an error (#6952) feat: lock on Nargo.toml on several nargo commands (#6941)

…oir#6926) chore: simplify boolean in a mul of a mul (noir-lang/noir#6951) feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893) chore: Move comment as part of #6945 (noir-lang/noir#6959) chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894) feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952) feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941) feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948) chore: add reproduction case for bignum test failure (noir-lang/noir#6464) chore: bump `noir-gates-diff` (noir-lang/noir#6949) feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835) chore: also print test output to stdout in CI (noir-lang/noir#6930) fix: Non-determinism from under constrained checks (noir-lang/noir#6945) chore: use logs for benchmarking (noir-lang/noir#6911) chore: bump `noir-gates-diff` (noir-lang/noir#6944) chore: bump `noir-gates-diff` (noir-lang/noir#6943) fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942) chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939) feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882) chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)

chore: simplify boolean in a mul of a mul (noir-lang/noir#6951) feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893) chore: Move comment as part of #6945 (noir-lang/noir#6959) chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894) feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952) feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941) feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948) chore: add reproduction case for bignum test failure (noir-lang/noir#6464) chore: bump `noir-gates-diff` (noir-lang/noir#6949) feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835) chore: also print test output to stdout in CI (noir-lang/noir#6930) fix: Non-determinism from under constrained checks (noir-lang/noir#6945) chore: use logs for benchmarking (noir-lang/noir#6911) chore: bump `noir-gates-diff` (noir-lang/noir#6944) chore: bump `noir-gates-diff` (noir-lang/noir#6943) fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942) chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939) feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882) chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)

With PR noir-lang#6894 upstream have moved the SSA optimization "separate_runtime" to be happening during the monomorphization phase.

) feat: `--pedantic-solving` flag (noir-lang/noir#6716) feat!: update `aes128_encrypt` to return an array (noir-lang/noir#6973) fix: wrong module to lookup trait when using crate or super (noir-lang/noir#6974) fix: Start RC at 1 again (noir-lang/noir#6958) feat!: turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953) fix: don't fail parsing macro if there are parser warnings (noir-lang/noir#6969) fix: error on missing function parameters (noir-lang/noir#6967) feat: don't report warnings for dependencies (noir-lang/noir#6926) chore: simplify boolean in a mul of a mul (noir-lang/noir#6951) feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893) chore: Move comment as part of #6945 (noir-lang/noir#6959) chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894) feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952) feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941) feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948) chore: add reproduction case for bignum test failure (noir-lang/noir#6464) chore: bump `noir-gates-diff` (noir-lang/noir#6949) feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835) chore: also print test output to stdout in CI (noir-lang/noir#6930) fix: Non-determinism from under constrained checks (noir-lang/noir#6945) chore: use logs for benchmarking (noir-lang/noir#6911) chore: bump `noir-gates-diff` (noir-lang/noir#6944) chore: bump `noir-gates-diff` (noir-lang/noir#6943) fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942) chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939) feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882) chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)

feat: `--pedantic-solving` flag (noir-lang/noir#6716) feat!: update `aes128_encrypt` to return an array (noir-lang/noir#6973) fix: wrong module to lookup trait when using crate or super (noir-lang/noir#6974) fix: Start RC at 1 again (noir-lang/noir#6958) feat!: turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953) fix: don't fail parsing macro if there are parser warnings (noir-lang/noir#6969) fix: error on missing function parameters (noir-lang/noir#6967) feat: don't report warnings for dependencies (noir-lang/noir#6926) chore: simplify boolean in a mul of a mul (noir-lang/noir#6951) feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893) chore: Move comment as part of #6945 (noir-lang/noir#6959) chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894) feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952) feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941) feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948) chore: add reproduction case for bignum test failure (noir-lang/noir#6464) chore: bump `noir-gates-diff` (noir-lang/noir#6949) feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835) chore: also print test output to stdout in CI (noir-lang/noir#6930) fix: Non-determinism from under constrained checks (noir-lang/noir#6945) chore: use logs for benchmarking (noir-lang/noir#6911) chore: bump `noir-gates-diff` (noir-lang/noir#6944) chore: bump `noir-gates-diff` (noir-lang/noir#6943) fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942) chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939) feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882) chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)

* master: (51 commits) feat!: type-check trait default methods (#6645) feat: `--pedantic-solving` flag (#6716) feat!: update `aes128_encrypt` to return an array (#6973) fix: wrong module to lookup trait when using crate or super (#6974) fix: Start RC at 1 again (#6958) feat!: turn TypeIsMorePrivateThenItem into an error (#6953) fix: don't fail parsing macro if there are parser warnings (#6969) fix: error on missing function parameters (#6967) feat: don't report warnings for dependencies (#6926) chore: simplify boolean in a mul of a mul (#6951) feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (#6893) chore: Move comment as part of #6945 (#6959) chore: Separate unconstrained functions during monomorphization (#6894) feat!: turn CannotReexportItemWithLessVisibility into an error (#6952) feat: lock on Nargo.toml on several nargo commands (#6941) feat: don't simplify SSA instructions when creating them from a string (#6948) chore: add reproduction case for bignum test failure (#6464) chore: bump `noir-gates-diff` (#6949) feat(test): Enable the test fuzzer for Wasm (#6835) chore: also print test output to stdout in CI (#6930) ...

) feat: `--pedantic-solving` flag (noir-lang/noir#6716) feat!: update `aes128_encrypt` to return an array (noir-lang/noir#6973) fix: wrong module to lookup trait when using crate or super (noir-lang/noir#6974) fix: Start RC at 1 again (noir-lang/noir#6958) feat!: turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953) fix: don't fail parsing macro if there are parser warnings (noir-lang/noir#6969) fix: error on missing function parameters (noir-lang/noir#6967) feat: don't report warnings for dependencies (noir-lang/noir#6926) chore: simplify boolean in a mul of a mul (noir-lang/noir#6951) feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893) chore: Move comment as part of #6945 (noir-lang/noir#6959) chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894) feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952) feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941) feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948) chore: add reproduction case for bignum test failure (noir-lang/noir#6464) chore: bump `noir-gates-diff` (noir-lang/noir#6949) feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835) chore: also print test output to stdout in CI (noir-lang/noir#6930) fix: Non-determinism from under constrained checks (noir-lang/noir#6945) chore: use logs for benchmarking (noir-lang/noir#6911) chore: bump `noir-gates-diff` (noir-lang/noir#6944) chore: bump `noir-gates-diff` (noir-lang/noir#6943) fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942) chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939) feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882) chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)

feat: `--pedantic-solving` flag (noir-lang/noir#6716) feat!: update `aes128_encrypt` to return an array (noir-lang/noir#6973) fix: wrong module to lookup trait when using crate or super (noir-lang/noir#6974) fix: Start RC at 1 again (noir-lang/noir#6958) feat!: turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953) fix: don't fail parsing macro if there are parser warnings (noir-lang/noir#6969) fix: error on missing function parameters (noir-lang/noir#6967) feat: don't report warnings for dependencies (noir-lang/noir#6926) chore: simplify boolean in a mul of a mul (noir-lang/noir#6951) feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893) chore: Move comment as part of #6945 (noir-lang/noir#6959) chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894) feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952) feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941) feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948) chore: add reproduction case for bignum test failure (noir-lang/noir#6464) chore: bump `noir-gates-diff` (noir-lang/noir#6949) feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835) chore: also print test output to stdout in CI (noir-lang/noir#6930) fix: Non-determinism from under constrained checks (noir-lang/noir#6945) chore: use logs for benchmarking (noir-lang/noir#6911) chore: bump `noir-gates-diff` (noir-lang/noir#6944) chore: bump `noir-gates-diff` (noir-lang/noir#6943) fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942) chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939) feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882) chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)

Co-authored-by: Tom French <[email protected]>

fix: Do not emit range check for multiplication by bool (noir-lang/noir#6983) fix: do not panic on indices which are not valid `u32`s (noir-lang/noir#6976) feat!: require trait method calls (`foo.bar()`) to have the trait in scope (imported) (noir-lang/noir#6895) feat!: type-check trait default methods (noir-lang/noir#6645) feat: `--pedantic-solving` flag (noir-lang/noir#6716) feat!: update `aes128_encrypt` to return an array (noir-lang/noir#6973) fix: wrong module to lookup trait when using crate or super (noir-lang/noir#6974) fix: Start RC at 1 again (noir-lang/noir#6958) feat!: turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953) fix: don't fail parsing macro if there are parser warnings (noir-lang/noir#6969) fix: error on missing function parameters (noir-lang/noir#6967) feat: don't report warnings for dependencies (noir-lang/noir#6926) chore: simplify boolean in a mul of a mul (noir-lang/noir#6951) feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893) chore: Move comment as part of #6945 (noir-lang/noir#6959) chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894) feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952) feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941) feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948) chore: add reproduction case for bignum test failure (noir-lang/noir#6464) chore: bump `noir-gates-diff` (noir-lang/noir#6949) feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835) chore: also print test output to stdout in CI (noir-lang/noir#6930) fix: Non-determinism from under constrained checks (noir-lang/noir#6945) chore: use logs for benchmarking (noir-lang/noir#6911) chore: bump `noir-gates-diff` (noir-lang/noir#6944) chore: bump `noir-gates-diff` (noir-lang/noir#6943) fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942) chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939) feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882) chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871)

Automated pull of development from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec. BEGIN_COMMIT_OVERRIDE feat: impl Default for U128 (noir-lang/noir#6984) fix: Do not emit range check for multiplication by bool (noir-lang/noir#6983) fix: do not panic on indices which are not valid `u32`s (noir-lang/noir#6976) feat!: require trait method calls (`foo.bar()`) to have the trait in scope (imported) (noir-lang/noir#6895) feat!: type-check trait default methods (noir-lang/noir#6645) feat: `--pedantic-solving` flag (noir-lang/noir#6716) feat!: update `aes128_encrypt` to return an array (noir-lang/noir#6973) fix: wrong module to lookup trait when using crate or super (noir-lang/noir#6974) fix: Start RC at 1 again (noir-lang/noir#6958) feat!: turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953) fix: don't fail parsing macro if there are parser warnings (noir-lang/noir#6969) fix: error on missing function parameters (noir-lang/noir#6967) feat: don't report warnings for dependencies (noir-lang/noir#6926) chore: simplify boolean in a mul of a mul (noir-lang/noir#6951) feat(ssa): Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893) chore: Move comment as part of #6945 (noir-lang/noir#6959) chore: Separate unconstrained functions during monomorphization (noir-lang/noir#6894) feat!: turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952) feat: lock on Nargo.toml on several nargo commands (noir-lang/noir#6941) feat: don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948) chore: add reproduction case for bignum test failure (noir-lang/noir#6464) chore: bump `noir-gates-diff` (noir-lang/noir#6949) feat(test): Enable the test fuzzer for Wasm (noir-lang/noir#6835) chore: also print test output to stdout in CI (noir-lang/noir#6930) fix: Non-determinism from under constrained checks (noir-lang/noir#6945) chore: use logs for benchmarking (noir-lang/noir#6911) chore: bump `noir-gates-diff` (noir-lang/noir#6944) chore: bump `noir-gates-diff` (noir-lang/noir#6943) fix: Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942) chore: delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939) feat: require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882) chore: Bump arkworks to version `0.5.0` (noir-lang/noir#6871) END_COMMIT_OVERRIDE --------- Co-authored-by: Michael J Klein <[email protected]> Co-authored-by: Michael Klein <[email protected]> Co-authored-by: Tom French <[email protected]> Co-authored-by: Tom French <[email protected]> Co-authored-by: Charlie Lye <[email protected]> Co-authored-by: ludamad <[email protected]>

@safety

🤖 I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.70.0</summary> ## [0.70.0](aztec-package-v0.69.1...aztec-package-v0.70.0) (2025-01-15) ### Features * Blob sink in sandbox without extra process ([#11032](#11032)) ([4600f54](4600f54)) * Browser chunking ([#11102](#11102)) ([393e843](393e843)) ### Miscellaneous * Greater stability at 1TPS ([#10981](#10981)) ([1c23662](1c23662)) * Prover db config ([#11126](#11126)) ([9d49393](9d49393)), closes [#10267](#10267) * Rpc server cleanup & misc fixes ([#11145](#11145)) ([8a927eb](8a927eb)) </details> <details><summary>barretenberg.js: 0.70.0</summary> ## [0.70.0](barretenberg.js-v0.69.1...barretenberg.js-v0.70.0) (2025-01-15) ### Miscellaneous * **barretenberg.js:** Synchronize aztec-packages versions </details> <details><summary>aztec-packages: 0.70.0</summary> ## [0.70.0](aztec-packages-v0.69.1...aztec-packages-v0.70.0) (2025-01-15) ### ⚠ BREAKING CHANGES * disallow calling unconstrained functions outside of `unsafe` blocks and passing unconstrained functions in place of constrained functions (noir-lang/noir#6938) * Disable mocks in `execute` (noir-lang/noir#6869) * require trait primitive functions/calls to have their trait in scope (noir-lang/noir#6901) * Reserve `enum` and `match` keywords (noir-lang/noir#6961) * require trait method calls (`foo.bar()`) to have the trait in scope (imported) (noir-lang/noir#6895) * type-check trait default methods (noir-lang/noir#6645) * update `aes128_encrypt` to return an array (noir-lang/noir#6973) * turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953) * turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952) ### Features * `--pedantic-solving` flag (noir-lang/noir#6716) ([3883a0e](3883a0e)) * 7 bit long `note_type_id` ([#10951](#10951)) ([6fc5673](6fc5673)) * **avm2:** Avm redesign init ([#10906](#10906)) ([231f017](231f017)) * Blob sink in sandbox without extra process ([#11032](#11032)) ([4600f54](4600f54)) * Browser chunking ([#11102](#11102)) ([393e843](393e843)) * Build blocks using txs with higher fee first ([#11093](#11093)) ([def7cd7](def7cd7)), closes [#11084](#11084) * **cli:** Add CLI option to filter by contract function name (noir-lang/noir#7018) ([9189120](9189120)) * **comptime:** Implement to_be_bits and to_le_bits in the interpreter (noir-lang/noir#7008) ([9189120](9189120)) * Contract class must be registered before deployment ([#10949](#10949)) ([7176a70](7176a70)) * Dashboard in gcp ([#11201](#11201)) ([2790bd7](2790bd7)) * Disable mocks in `execute` (noir-lang/noir#6869) ([9189120](9189120)) * Disallow calling unconstrained functions outside of `unsafe` blocks and passing unconstrained functions in place of constrained functions (noir-lang/noir#6938) ([9189120](9189120)) * Don't report warnings for dependencies (noir-lang/noir#6926) ([3883a0e](3883a0e)) * Don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948) ([3883a0e](3883a0e)) * Expose getL2ToL1Membership on the pxe ([#11215](#11215)) ([ffd3625](ffd3625)) * Impl Default for U128 (noir-lang/noir#6984) ([3883a0e](3883a0e)) * Inject protocol nullifier conditionally ([#11155](#11155)) ([93ade26](93ade26)) * Kickoff tube circuits at the beginning of proving job ([#11139](#11139)) ([85d389f](85d389f)), closes [#10998](#10998) * Lock on Nargo.toml on several nargo commands (noir-lang/noir#6941) ([3883a0e](3883a0e)) * **lsp:** Use trait method docs for trait impl method docs on hover (noir-lang/noir#7003) ([9189120](9189120)) * Monitor event loop lag ([#11127](#11127)) ([422f125](422f125)) * Permutation argument optimizations ([#10960](#10960)) ([de99603](de99603)) * PXE db contract store ([#10867](#10867)) ([b5d51eb](b5d51eb)) * Require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882) ([3883a0e](3883a0e)) * Require trait method calls (`foo.bar()`) to have the trait in scope (imported) (noir-lang/noir#6895) ([3883a0e](3883a0e)) * Require trait primitive functions/calls to have their trait in scope (noir-lang/noir#6901) ([9189120](9189120)) * Simulator split ([#11144](#11144)) ([9b99126](9b99126)) * Single tx block root rollup ([#11096](#11096)) ([bcc0168](bcc0168)) * SSA globals in monomorphization and SSA gen (noir-lang/noir#6985) ([9189120](9189120)) * **ssa:** Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893) ([3883a0e](3883a0e)) * **test:** Enable the test fuzzer for Wasm (noir-lang/noir#6835) ([3883a0e](3883a0e)) * Track nodejs runtime metrics ([#11160](#11160)) ([1d24fab](1d24fab)) * Turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952) ([3883a0e](3883a0e)) * Turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953) ([3883a0e](3883a0e)) * Type-check trait default methods (noir-lang/noir#6645) ([3883a0e](3883a0e)) * Unchecked math operations in SSA (noir-lang/noir#7011) ([9189120](9189120)) * Update `aes128_encrypt` to return an array (noir-lang/noir#6973) ([3883a0e](3883a0e)) * Use tail public inputs as transaction hash ([#11100](#11100)) ([34be2c3](34be2c3)) * Validator deadline for reexecution ([#11050](#11050)) ([1aa34e7](1aa34e7)), closes [#10959](#10959) ### Bug Fixes * Added start/stop guards to running promise and serial queue ([#11120](#11120)) ([23e642f](23e642f)) * Allow multiple trait impls for the same trait as long as one is in scope (noir-lang/noir#6987) ([9189120](9189120)) * **avm:** AVM circuit fixes related calldata, returndata and call_ptr ([#11207](#11207)) ([2f05dc0](2f05dc0)) * **avm:** Mac build ([#11195](#11195)) ([c4f4452](c4f4452)) * **avm:** Mac build (retry) ([#11197](#11197)) ([0a4b763](0a4b763)) * Aztec-spartan config var ([#11137](#11137)) ([acbfad4](acbfad4)) * Blob fees & l1-publisher logging ([#11029](#11029)) ([c2c0bc6](c2c0bc6)) * **bootstrap:** Don't download bad cache if unstaged changes ([#11198](#11198)) ([2bd895b](2bd895b)) * **boxes:** Fix attempt 2 ([#11175](#11175)) ([e87b11a](e87b11a)) * Bump inotify limits on tester ([#11217](#11217)) ([60bdf1d](60bdf1d)) * Do not emit range check for multiplication by bool (noir-lang/noir#6983) ([3883a0e](3883a0e)) * Do not panic on indices which are not valid `u32`s (noir-lang/noir#6976) ([3883a0e](3883a0e)) * Docs rebuild patterns ([#11191](#11191)) ([1999990](1999990)) * Don't fail parsing macro if there are parser warnings (noir-lang/noir#6969) ([3883a0e](3883a0e)) * Don't retransmit txs upon node restart ([#11123](#11123)) ([39535c9](39535c9)) * Duplicate env vars ([#11166](#11166)) ([2507b6f](2507b6f)) * Error on missing function parameters (noir-lang/noir#6967) ([3883a0e](3883a0e)) * Get_next_power_exponent off by 1 ([#11169](#11169)) ([80ec19e](80ec19e)) * Let static_assert fail with the provided message (noir-lang/noir#7005) ([9189120](9189120)) * Max_note_len computation ([#10438](#10438)) ([099c17b](099c17b)) * Non-determinism from under constrained checks (noir-lang/noir#6945) ([3883a0e](3883a0e)) * Prover node aborts execution at epoch end ([#11111](#11111)) ([2a77616](2a77616)), closes [#10802](#10802) * Prover node does not err upon an empty epoch ([#11204](#11204)) ([2c3ab84](2c3ab84)) * Remove arch tag in sandbox images ([#11233](#11233)) ([80a872d](80a872d)) * Remove max lookup table size constant (for now) ([#11095](#11095)) ([7e9e268](7e9e268)) * Reproduce and fix bytecode blowup (noir-lang/noir#6972) ([9189120](9189120)) * Require generic trait impls to be in scope to call them (noir-lang/noir#6913) ([9189120](9189120)) * Restore upload_logs script in use by acir bench ([2d88497](2d88497)) * Return trait impl method as FuncId if there's only one (noir-lang/noir#6989) ([9189120](9189120)) * Revert "chore: use L1 Tx Utils" ([#11167](#11167)) ([f4e5c79](f4e5c79)) * Sequencer times out L1 tx at end of L2 slot ([#11112](#11112)) ([1b88a34](1b88a34)) * Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942) ([3883a0e](3883a0e)) * Start RC at 1 again (noir-lang/noir#6958) ([3883a0e](3883a0e)) * Underconstrained bug ([#11174](#11174)) ([0b3088b](0b3088b)) * Update fs max user instances for k8s ([#11220](#11220)) ([b42da6d](b42da6d)) * Use absolute path for docker bind in e2e-test ([f2885ec](f2885ec)) * Wrong module to lookup trait when using crate or super (noir-lang/noir#6974) ([3883a0e](3883a0e)) ### Miscellaneous * Add cli option to specify withdrawer address in the add-l1-validator … ([#11199](#11199)) ([107f175](107f175)) * Add memsuspend to parallel in bootstrap ([#11040](#11040)) ([c78cb82](c78cb82)) * Add more Field use info (noir-lang/noir#7019) ([9189120](9189120)) * Add reproduction case for bignum test failure (noir-lang/noir#6464) ([3883a0e](3883a0e)) * Add short circuit in ssa-gen for known if conditions (noir-lang/noir#7007) ([9189120](9189120)) * Also print test output to stdout in CI (noir-lang/noir#6930) ([3883a0e](3883a0e)) * **avm:** Fix mac build ([#11147](#11147)) ([1775e53](1775e53)) * **avm:** Improve column stats ([#11135](#11135)) ([535a14c](535a14c)) * **avm:** Re-enable bb-prover tests in CI, change some to check-circuit-only, enable multi-enqueued call tests ([#11180](#11180)) ([3092212](3092212)) * **avm:** Vm2 followup cleanup ([#11186](#11186)) ([6de4013](6de4013)) * Block building benchmark via github-action-benchmark ([#11202](#11202)) ([c107b6b](c107b6b)), closes [#11154](#11154) * Bump `noir-gates-diff` (noir-lang/noir#6943) ([3883a0e](3883a0e)) * Bump `noir-gates-diff` (noir-lang/noir#6944) ([3883a0e](3883a0e)) * Bump `noir-gates-diff` (noir-lang/noir#6949) ([3883a0e](3883a0e)) * Bump arkworks to version `0.5.0` (noir-lang/noir#6871) ([3883a0e](3883a0e)) * **ci:** Easier to use mac ci ([#11194](#11194)) ([9ab4cee](9ab4cee)) * **ci:** Ensure that prover.toml files in protocol circuits are in sync ([#11141](#11141)) ([db769bd](db769bd)) * **ci:** Fail properly in `external-repo-checks` (noir-lang/noir#6988) ([9189120](9189120)) * **ci:** Try fix boxes-test ([#11162](#11162)) ([a66349f](a66349f)) * Clarity fix in docs (noir-lang/noir#7016) ([9189120](9189120)) * Delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939) ([3883a0e](3883a0e)) * Delete docs for versions which aren't used (noir-lang/noir#7020) ([9189120](9189120)) * Disable reorg test ([#11176](#11176)) ([78bec44](78bec44)) * Disallow inserting ACIR-only instructions into brillig functions (noir-lang/noir#7017) ([9189120](9189120)) * **docs:** Backport 1.0.0-beta.0 doc fixes (noir-lang/noir#7014) ([9189120](9189120)) * **docs:** Edit Aztec.nr Guide section ([#10866](#10866)) ([4051ba8](4051ba8)) * **docs:** Remove node pages ([#11161](#11161)) ([e494f6b](e494f6b)) * **docs:** Update tx concepts page ([#10947](#10947)) ([d9d9798](d9d9798)) * Document aztec-nargo in readme ([#11173](#11173)) ([927eabf](927eabf)) * Greater stability at 1TPS ([#10981](#10981)) ([1c23662](1c23662)) * Jest reporters for CI ([#11125](#11125)) ([90cd9d2](90cd9d2)) * Log number of instructions executed for call in AVM. Misc fix. ([#11110](#11110)) ([44e01f4](44e01f4)) * Mark `aztec-nr` as expected to compile (noir-lang/noir#7015) ([9189120](9189120)) * Mark casts as able to be deduplicated (noir-lang/noir#6996) ([9189120](9189120)) * Missed test account retrieval simplification in one spot ([#11172](#11172)) ([b72234e](b72234e)) * Move comment as part of [#6945](#6945) (noir-lang/noir#6959) ([3883a0e](3883a0e)) * Move witness computation into class plus some other cleanup ([#11140](#11140)) ([d41e9ab](d41e9ab)) * Nuke unused `getSiblingPath` oracle ([#11090](#11090)) ([36b640a](36b640a)) * Nuking mental model of "packing into a hash" ([#11200](#11200)) ([e1ebcc0](e1ebcc0)) * Only resolved globals monomorphization (noir-lang/noir#7006) ([9189120](9189120)) * Prover db config ([#11126](#11126)) ([9d49393](9d49393)), closes [#10267](#10267) * Redo typo PR by longxiangqiao ([#11109](#11109)) ([b8ef30e](b8ef30e)) * Refactor `get_tx_effects_hash_input_helper` ([#11213](#11213)) ([5becb99](5becb99)) * Refactor Solidity Transcript and improve error handling in sol_honk flow ([#11158](#11158)) ([58fdf87](58fdf87)) * Remove explicit collector address ([#11227](#11227)) ([dfb0db5](dfb0db5)) * Remove resolve_is_unconstrained pass (noir-lang/noir#7004) ([9189120](9189120)) * Removing noir bug workaround ([#10535](#10535)) ([8be882f](8be882f)) * Replace relative paths to noir-protocol-circuits ([d8619fa](d8619fa)) * Replace relative paths to noir-protocol-circuits ([70cad1c](70cad1c)) * Replace relative paths to noir-protocol-circuits ([e962534](e962534)) * Replace relative paths to noir-protocol-circuits ([ba5a589](ba5a589)) * Replace relative paths to noir-protocol-circuits ([b7c3fa2](b7c3fa2)) * Replace relative paths to noir-protocol-circuits ([32840c6](32840c6)) * Require safety doc comment for unsafe instead of `//[@safety](https://github.com/safety)` (noir-lang/noir#6992) ([9189120](9189120)) * Reserve `enum` and `match` keywords (noir-lang/noir#6961) ([9189120](9189120)) * Rpc server cleanup & misc fixes ([#11145](#11145)) ([8a927eb](8a927eb)) * Sanity checking of proving job IDs ([#11134](#11134)) ([61c3e95](61c3e95)) * Save kind smoke test logs as artifact ([#11212](#11212)) ([1389a5b](1389a5b)) * Separate unconstrained functions during monomorphization (noir-lang/noir#6894) ([3883a0e](3883a0e)) * Simplify a couple of enum variants (noir-lang/noir#7025) ([9189120](9189120)) * Simplify boolean in a mul of a mul (noir-lang/noir#6951) ([3883a0e](3883a0e)) * SmallSubgroupIPA tests ([#11106](#11106)) ([f034e2a](f034e2a)) * **spartan:** Making the spartan script install jq ([#11231](#11231)) ([7e628cc](7e628cc)) * Test:e2e defaults to no-docker ([#10966](#10966)) ([15e0d71](15e0d71)) * Turn on averaging for protocol circuits metrics in CI (noir-lang/noir#6999) ([9189120](9189120)) * Update aztec-spartan.sh script ([#11228](#11228)) ([52b3a87](52b3a87)) * Use DFG in SSA printer (noir-lang/noir#6986) ([9189120](9189120)) * Use L1 Tx Utils ([#10759](#10759)) ([ccf28f5](ccf28f5)), closes [#10464](#10464) * Use logs for benchmarking (noir-lang/noir#6911) ([3883a0e](3883a0e)) * VariableMerkleTree readability improvements ([#11165](#11165)) ([010d1b0](010d1b0)) * Wait for ethereum in each pod ([#11238](#11238)) ([9c08e00](9c08e00)) ### Documentation * Enable protocol specs for docs in dev mode ([#11219](#11219)) ([10c8afe](10c8afe)) </details> <details><summary>barretenberg: 0.70.0</summary> ## [0.70.0](barretenberg-v0.69.1...barretenberg-v0.70.0) (2025-01-15) ### Features * **avm2:** Avm redesign init ([#10906](#10906)) ([231f017](231f017)) * Permutation argument optimizations ([#10960](#10960)) ([de99603](de99603)) * Use tail public inputs as transaction hash ([#11100](#11100)) ([34be2c3](34be2c3)) ### Bug Fixes * **avm:** AVM circuit fixes related calldata, returndata and call_ptr ([#11207](#11207)) ([2f05dc0](2f05dc0)) * **avm:** Mac build ([#11195](#11195)) ([c4f4452](c4f4452)) * **avm:** Mac build (retry) ([#11197](#11197)) ([0a4b763](0a4b763)) * **bootstrap:** Don't download bad cache if unstaged changes ([#11198](#11198)) ([2bd895b](2bd895b)) * Remove max lookup table size constant (for now) ([#11095](#11095)) ([7e9e268](7e9e268)) ### Miscellaneous * **avm:** Fix mac build ([#11147](#11147)) ([1775e53](1775e53)) * **avm:** Improve column stats ([#11135](#11135)) ([535a14c](535a14c)) * **avm:** Re-enable bb-prover tests in CI, change some to check-circuit-only, enable multi-enqueued call tests ([#11180](#11180)) ([3092212](3092212)) * **avm:** Vm2 followup cleanup ([#11186](#11186)) ([6de4013](6de4013)) * **docs:** Update tx concepts page ([#10947](#10947)) ([d9d9798](d9d9798)) * Move witness computation into class plus some other cleanup ([#11140](#11140)) ([d41e9ab](d41e9ab)) * Redo typo PR by longxiangqiao ([#11109](#11109)) ([b8ef30e](b8ef30e)) * Refactor Solidity Transcript and improve error handling in sol_honk flow ([#11158](#11158)) ([58fdf87](58fdf87)) * SmallSubgroupIPA tests ([#11106](#11106)) ([f034e2a](f034e2a)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

@safety

🤖 I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.70.0</summary> ## [0.70.0](AztecProtocol/aztec-packages@aztec-package-v0.69.1...aztec-package-v0.70.0) (2025-01-15) ### Features * Blob sink in sandbox without extra process ([#11032](AztecProtocol/aztec-packages#11032)) ([4600f54](AztecProtocol/aztec-packages@4600f54)) * Browser chunking ([#11102](AztecProtocol/aztec-packages#11102)) ([393e843](AztecProtocol/aztec-packages@393e843)) ### Miscellaneous * Greater stability at 1TPS ([#10981](AztecProtocol/aztec-packages#10981)) ([1c23662](AztecProtocol/aztec-packages@1c23662)) * Prover db config ([#11126](AztecProtocol/aztec-packages#11126)) ([9d49393](AztecProtocol/aztec-packages@9d49393)), closes [#10267](AztecProtocol/aztec-packages#10267) * Rpc server cleanup & misc fixes ([#11145](AztecProtocol/aztec-packages#11145)) ([8a927eb](AztecProtocol/aztec-packages@8a927eb)) </details> <details><summary>barretenberg.js: 0.70.0</summary> ## [0.70.0](AztecProtocol/aztec-packages@barretenberg.js-v0.69.1...barretenberg.js-v0.70.0) (2025-01-15) ### Miscellaneous * **barretenberg.js:** Synchronize aztec-packages versions </details> <details><summary>aztec-packages: 0.70.0</summary> ## [0.70.0](AztecProtocol/aztec-packages@aztec-packages-v0.69.1...aztec-packages-v0.70.0) (2025-01-15) ### ⚠ BREAKING CHANGES * disallow calling unconstrained functions outside of `unsafe` blocks and passing unconstrained functions in place of constrained functions (noir-lang/noir#6938) * Disable mocks in `execute` (noir-lang/noir#6869) * require trait primitive functions/calls to have their trait in scope (noir-lang/noir#6901) * Reserve `enum` and `match` keywords (noir-lang/noir#6961) * require trait method calls (`foo.bar()`) to have the trait in scope (imported) (noir-lang/noir#6895) * type-check trait default methods (noir-lang/noir#6645) * update `aes128_encrypt` to return an array (noir-lang/noir#6973) * turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953) * turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952) ### Features * `--pedantic-solving` flag (noir-lang/noir#6716) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * 7 bit long `note_type_id` ([#10951](AztecProtocol/aztec-packages#10951)) ([6fc5673](AztecProtocol/aztec-packages@6fc5673)) * **avm2:** Avm redesign init ([#10906](AztecProtocol/aztec-packages#10906)) ([231f017](AztecProtocol/aztec-packages@231f017)) * Blob sink in sandbox without extra process ([#11032](AztecProtocol/aztec-packages#11032)) ([4600f54](AztecProtocol/aztec-packages@4600f54)) * Browser chunking ([#11102](AztecProtocol/aztec-packages#11102)) ([393e843](AztecProtocol/aztec-packages@393e843)) * Build blocks using txs with higher fee first ([#11093](AztecProtocol/aztec-packages#11093)) ([def7cd7](AztecProtocol/aztec-packages@def7cd7)), closes [#11084](AztecProtocol/aztec-packages#11084) * **cli:** Add CLI option to filter by contract function name (noir-lang/noir#7018) ([9189120](AztecProtocol/aztec-packages@9189120)) * **comptime:** Implement to_be_bits and to_le_bits in the interpreter (noir-lang/noir#7008) ([9189120](AztecProtocol/aztec-packages@9189120)) * Contract class must be registered before deployment ([#10949](AztecProtocol/aztec-packages#10949)) ([7176a70](AztecProtocol/aztec-packages@7176a70)) * Dashboard in gcp ([#11201](AztecProtocol/aztec-packages#11201)) ([2790bd7](AztecProtocol/aztec-packages@2790bd7)) * Disable mocks in `execute` (noir-lang/noir#6869) ([9189120](AztecProtocol/aztec-packages@9189120)) * Disallow calling unconstrained functions outside of `unsafe` blocks and passing unconstrained functions in place of constrained functions (noir-lang/noir#6938) ([9189120](AztecProtocol/aztec-packages@9189120)) * Don't report warnings for dependencies (noir-lang/noir#6926) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Don't simplify SSA instructions when creating them from a string (noir-lang/noir#6948) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Expose getL2ToL1Membership on the pxe ([#11215](AztecProtocol/aztec-packages#11215)) ([ffd3625](AztecProtocol/aztec-packages@ffd3625)) * Impl Default for U128 (noir-lang/noir#6984) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Inject protocol nullifier conditionally ([#11155](AztecProtocol/aztec-packages#11155)) ([93ade26](AztecProtocol/aztec-packages@93ade26)) * Kickoff tube circuits at the beginning of proving job ([#11139](AztecProtocol/aztec-packages#11139)) ([85d389f](AztecProtocol/aztec-packages@85d389f)), closes [#10998](AztecProtocol/aztec-packages#10998) * Lock on Nargo.toml on several nargo commands (noir-lang/noir#6941) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * **lsp:** Use trait method docs for trait impl method docs on hover (noir-lang/noir#7003) ([9189120](AztecProtocol/aztec-packages@9189120)) * Monitor event loop lag ([#11127](AztecProtocol/aztec-packages#11127)) ([422f125](AztecProtocol/aztec-packages@422f125)) * Permutation argument optimizations ([#10960](AztecProtocol/aztec-packages#10960)) ([de99603](AztecProtocol/aztec-packages@de99603)) * PXE db contract store ([#10867](AztecProtocol/aztec-packages#10867)) ([b5d51eb](AztecProtocol/aztec-packages@b5d51eb)) * Require trait function calls (`Foo::bar()`) to have the trait in scope (imported) (noir-lang/noir#6882) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Require trait method calls (`foo.bar()`) to have the trait in scope (imported) (noir-lang/noir#6895) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Require trait primitive functions/calls to have their trait in scope (noir-lang/noir#6901) ([9189120](AztecProtocol/aztec-packages@9189120)) * Simulator split ([#11144](AztecProtocol/aztec-packages#11144)) ([9b99126](AztecProtocol/aztec-packages@9b99126)) * Single tx block root rollup ([#11096](AztecProtocol/aztec-packages#11096)) ([bcc0168](AztecProtocol/aztec-packages@bcc0168)) * SSA globals in monomorphization and SSA gen (noir-lang/noir#6985) ([9189120](AztecProtocol/aztec-packages@9189120)) * **ssa:** Immediately simplify away RefCount instructions in ACIR functions (noir-lang/noir#6893) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * **test:** Enable the test fuzzer for Wasm (noir-lang/noir#6835) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Track nodejs runtime metrics ([#11160](AztecProtocol/aztec-packages#11160)) ([1d24fab](AztecProtocol/aztec-packages@1d24fab)) * Turn CannotReexportItemWithLessVisibility into an error (noir-lang/noir#6952) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Turn TypeIsMorePrivateThenItem into an error (noir-lang/noir#6953) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Type-check trait default methods (noir-lang/noir#6645) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Unchecked math operations in SSA (noir-lang/noir#7011) ([9189120](AztecProtocol/aztec-packages@9189120)) * Update `aes128_encrypt` to return an array (noir-lang/noir#6973) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Use tail public inputs as transaction hash ([#11100](AztecProtocol/aztec-packages#11100)) ([34be2c3](AztecProtocol/aztec-packages@34be2c3)) * Validator deadline for reexecution ([#11050](AztecProtocol/aztec-packages#11050)) ([1aa34e7](AztecProtocol/aztec-packages@1aa34e7)), closes [#10959](AztecProtocol/aztec-packages#10959) ### Bug Fixes * Added start/stop guards to running promise and serial queue ([#11120](AztecProtocol/aztec-packages#11120)) ([23e642f](AztecProtocol/aztec-packages@23e642f)) * Allow multiple trait impls for the same trait as long as one is in scope (noir-lang/noir#6987) ([9189120](AztecProtocol/aztec-packages@9189120)) * **avm:** AVM circuit fixes related calldata, returndata and call_ptr ([#11207](AztecProtocol/aztec-packages#11207)) ([2f05dc0](AztecProtocol/aztec-packages@2f05dc0)) * **avm:** Mac build ([#11195](AztecProtocol/aztec-packages#11195)) ([c4f4452](AztecProtocol/aztec-packages@c4f4452)) * **avm:** Mac build (retry) ([#11197](AztecProtocol/aztec-packages#11197)) ([0a4b763](AztecProtocol/aztec-packages@0a4b763)) * Aztec-spartan config var ([#11137](AztecProtocol/aztec-packages#11137)) ([acbfad4](AztecProtocol/aztec-packages@acbfad4)) * Blob fees & l1-publisher logging ([#11029](AztecProtocol/aztec-packages#11029)) ([c2c0bc6](AztecProtocol/aztec-packages@c2c0bc6)) * **bootstrap:** Don't download bad cache if unstaged changes ([#11198](AztecProtocol/aztec-packages#11198)) ([2bd895b](AztecProtocol/aztec-packages@2bd895b)) * **boxes:** Fix attempt 2 ([#11175](AztecProtocol/aztec-packages#11175)) ([e87b11a](AztecProtocol/aztec-packages@e87b11a)) * Bump inotify limits on tester ([#11217](AztecProtocol/aztec-packages#11217)) ([60bdf1d](AztecProtocol/aztec-packages@60bdf1d)) * Do not emit range check for multiplication by bool (noir-lang/noir#6983) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Do not panic on indices which are not valid `u32`s (noir-lang/noir#6976) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Docs rebuild patterns ([#11191](AztecProtocol/aztec-packages#11191)) ([1999990](AztecProtocol/aztec-packages@1999990)) * Don't fail parsing macro if there are parser warnings (noir-lang/noir#6969) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Don't retransmit txs upon node restart ([#11123](AztecProtocol/aztec-packages#11123)) ([39535c9](AztecProtocol/aztec-packages@39535c9)) * Duplicate env vars ([#11166](AztecProtocol/aztec-packages#11166)) ([2507b6f](AztecProtocol/aztec-packages@2507b6f)) * Error on missing function parameters (noir-lang/noir#6967) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Get_next_power_exponent off by 1 ([#11169](AztecProtocol/aztec-packages#11169)) ([80ec19e](AztecProtocol/aztec-packages@80ec19e)) * Let static_assert fail with the provided message (noir-lang/noir#7005) ([9189120](AztecProtocol/aztec-packages@9189120)) * Max_note_len computation ([#10438](AztecProtocol/aztec-packages#10438)) ([099c17b](AztecProtocol/aztec-packages@099c17b)) * Non-determinism from under constrained checks (noir-lang/noir#6945) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Prover node aborts execution at epoch end ([#11111](AztecProtocol/aztec-packages#11111)) ([2a77616](AztecProtocol/aztec-packages@2a77616)), closes [#10802](AztecProtocol/aztec-packages#10802) * Prover node does not err upon an empty epoch ([#11204](AztecProtocol/aztec-packages#11204)) ([2c3ab84](AztecProtocol/aztec-packages@2c3ab84)) * Remove arch tag in sandbox images ([#11233](AztecProtocol/aztec-packages#11233)) ([80a872d](AztecProtocol/aztec-packages@80a872d)) * Remove max lookup table size constant (for now) ([#11095](AztecProtocol/aztec-packages#11095)) ([7e9e268](AztecProtocol/aztec-packages@7e9e268)) * Reproduce and fix bytecode blowup (noir-lang/noir#6972) ([9189120](AztecProtocol/aztec-packages@9189120)) * Require generic trait impls to be in scope to call them (noir-lang/noir#6913) ([9189120](AztecProtocol/aztec-packages@9189120)) * Restore upload_logs script in use by acir bench ([2d88497](AztecProtocol/aztec-packages@2d88497)) * Return trait impl method as FuncId if there's only one (noir-lang/noir#6989) ([9189120](AztecProtocol/aztec-packages@9189120)) * Revert "chore: use L1 Tx Utils" ([#11167](AztecProtocol/aztec-packages#11167)) ([f4e5c79](AztecProtocol/aztec-packages@f4e5c79)) * Sequencer times out L1 tx at end of L2 slot ([#11112](AztecProtocol/aztec-packages#11112)) ([1b88a34](AztecProtocol/aztec-packages@1b88a34)) * Show output of `test_program_is_idempotent` on failure (noir-lang/noir#6942) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Start RC at 1 again (noir-lang/noir#6958) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Underconstrained bug ([#11174](AztecProtocol/aztec-packages#11174)) ([0b3088b](AztecProtocol/aztec-packages@0b3088b)) * Update fs max user instances for k8s ([#11220](AztecProtocol/aztec-packages#11220)) ([b42da6d](AztecProtocol/aztec-packages@b42da6d)) * Use absolute path for docker bind in e2e-test ([f2885ec](AztecProtocol/aztec-packages@f2885ec)) * Wrong module to lookup trait when using crate or super (noir-lang/noir#6974) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) ### Miscellaneous * Add cli option to specify withdrawer address in the add-l1-validator … ([#11199](AztecProtocol/aztec-packages#11199)) ([107f175](AztecProtocol/aztec-packages@107f175)) * Add memsuspend to parallel in bootstrap ([#11040](AztecProtocol/aztec-packages#11040)) ([c78cb82](AztecProtocol/aztec-packages@c78cb82)) * Add more Field use info (noir-lang/noir#7019) ([9189120](AztecProtocol/aztec-packages@9189120)) * Add reproduction case for bignum test failure (noir-lang/noir#6464) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Add short circuit in ssa-gen for known if conditions (noir-lang/noir#7007) ([9189120](AztecProtocol/aztec-packages@9189120)) * Also print test output to stdout in CI (noir-lang/noir#6930) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * **avm:** Fix mac build ([#11147](AztecProtocol/aztec-packages#11147)) ([1775e53](AztecProtocol/aztec-packages@1775e53)) * **avm:** Improve column stats ([#11135](AztecProtocol/aztec-packages#11135)) ([535a14c](AztecProtocol/aztec-packages@535a14c)) * **avm:** Re-enable bb-prover tests in CI, change some to check-circuit-only, enable multi-enqueued call tests ([#11180](AztecProtocol/aztec-packages#11180)) ([3092212](AztecProtocol/aztec-packages@3092212)) * **avm:** Vm2 followup cleanup ([#11186](AztecProtocol/aztec-packages#11186)) ([6de4013](AztecProtocol/aztec-packages@6de4013)) * Block building benchmark via github-action-benchmark ([#11202](AztecProtocol/aztec-packages#11202)) ([c107b6b](AztecProtocol/aztec-packages@c107b6b)), closes [#11154](AztecProtocol/aztec-packages#11154) * Bump `noir-gates-diff` (noir-lang/noir#6943) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Bump `noir-gates-diff` (noir-lang/noir#6944) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Bump `noir-gates-diff` (noir-lang/noir#6949) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Bump arkworks to version `0.5.0` (noir-lang/noir#6871) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * **ci:** Easier to use mac ci ([#11194](AztecProtocol/aztec-packages#11194)) ([9ab4cee](AztecProtocol/aztec-packages@9ab4cee)) * **ci:** Ensure that prover.toml files in protocol circuits are in sync ([#11141](AztecProtocol/aztec-packages#11141)) ([db769bd](AztecProtocol/aztec-packages@db769bd)) * **ci:** Fail properly in `external-repo-checks` (noir-lang/noir#6988) ([9189120](AztecProtocol/aztec-packages@9189120)) * **ci:** Try fix boxes-test ([#11162](AztecProtocol/aztec-packages#11162)) ([a66349f](AztecProtocol/aztec-packages@a66349f)) * Clarity fix in docs (noir-lang/noir#7016) ([9189120](AztecProtocol/aztec-packages@9189120)) * Delete a bunch of dead code from `noirc_evaluator` (noir-lang/noir#6939) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Delete docs for versions which aren't used (noir-lang/noir#7020) ([9189120](AztecProtocol/aztec-packages@9189120)) * Disable reorg test ([#11176](AztecProtocol/aztec-packages#11176)) ([78bec44](AztecProtocol/aztec-packages@78bec44)) * Disallow inserting ACIR-only instructions into brillig functions (noir-lang/noir#7017) ([9189120](AztecProtocol/aztec-packages@9189120)) * **docs:** Backport 1.0.0-beta.0 doc fixes (noir-lang/noir#7014) ([9189120](AztecProtocol/aztec-packages@9189120)) * **docs:** Edit Aztec.nr Guide section ([#10866](AztecProtocol/aztec-packages#10866)) ([4051ba8](AztecProtocol/aztec-packages@4051ba8)) * **docs:** Remove node pages ([#11161](AztecProtocol/aztec-packages#11161)) ([e494f6b](AztecProtocol/aztec-packages@e494f6b)) * **docs:** Update tx concepts page ([#10947](AztecProtocol/aztec-packages#10947)) ([d9d9798](AztecProtocol/aztec-packages@d9d9798)) * Document aztec-nargo in readme ([#11173](AztecProtocol/aztec-packages#11173)) ([927eabf](AztecProtocol/aztec-packages@927eabf)) * Greater stability at 1TPS ([#10981](AztecProtocol/aztec-packages#10981)) ([1c23662](AztecProtocol/aztec-packages@1c23662)) * Jest reporters for CI ([#11125](AztecProtocol/aztec-packages#11125)) ([90cd9d2](AztecProtocol/aztec-packages@90cd9d2)) * Log number of instructions executed for call in AVM. Misc fix. ([#11110](AztecProtocol/aztec-packages#11110)) ([44e01f4](AztecProtocol/aztec-packages@44e01f4)) * Mark `aztec-nr` as expected to compile (noir-lang/noir#7015) ([9189120](AztecProtocol/aztec-packages@9189120)) * Mark casts as able to be deduplicated (noir-lang/noir#6996) ([9189120](AztecProtocol/aztec-packages@9189120)) * Missed test account retrieval simplification in one spot ([#11172](AztecProtocol/aztec-packages#11172)) ([b72234e](AztecProtocol/aztec-packages@b72234e)) * Move comment as part of [#6945](AztecProtocol/aztec-packages#6945) (noir-lang/noir#6959) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Move witness computation into class plus some other cleanup ([#11140](AztecProtocol/aztec-packages#11140)) ([d41e9ab](AztecProtocol/aztec-packages@d41e9ab)) * Nuke unused `getSiblingPath` oracle ([#11090](AztecProtocol/aztec-packages#11090)) ([36b640a](AztecProtocol/aztec-packages@36b640a)) * Nuking mental model of "packing into a hash" ([#11200](AztecProtocol/aztec-packages#11200)) ([e1ebcc0](AztecProtocol/aztec-packages@e1ebcc0)) * Only resolved globals monomorphization (noir-lang/noir#7006) ([9189120](AztecProtocol/aztec-packages@9189120)) * Prover db config ([#11126](AztecProtocol/aztec-packages#11126)) ([9d49393](AztecProtocol/aztec-packages@9d49393)), closes [#10267](AztecProtocol/aztec-packages#10267) * Redo typo PR by longxiangqiao ([#11109](AztecProtocol/aztec-packages#11109)) ([b8ef30e](AztecProtocol/aztec-packages@b8ef30e)) * Refactor `get_tx_effects_hash_input_helper` ([#11213](AztecProtocol/aztec-packages#11213)) ([5becb99](AztecProtocol/aztec-packages@5becb99)) * Refactor Solidity Transcript and improve error handling in sol_honk flow ([#11158](AztecProtocol/aztec-packages#11158)) ([58fdf87](AztecProtocol/aztec-packages@58fdf87)) * Remove explicit collector address ([#11227](AztecProtocol/aztec-packages#11227)) ([dfb0db5](AztecProtocol/aztec-packages@dfb0db5)) * Remove resolve_is_unconstrained pass (noir-lang/noir#7004) ([9189120](AztecProtocol/aztec-packages@9189120)) * Removing noir bug workaround ([#10535](AztecProtocol/aztec-packages#10535)) ([8be882f](AztecProtocol/aztec-packages@8be882f)) * Replace relative paths to noir-protocol-circuits ([d8619fa](AztecProtocol/aztec-packages@d8619fa)) * Replace relative paths to noir-protocol-circuits ([70cad1c](AztecProtocol/aztec-packages@70cad1c)) * Replace relative paths to noir-protocol-circuits ([e962534](AztecProtocol/aztec-packages@e962534)) * Replace relative paths to noir-protocol-circuits ([ba5a589](AztecProtocol/aztec-packages@ba5a589)) * Replace relative paths to noir-protocol-circuits ([b7c3fa2](AztecProtocol/aztec-packages@b7c3fa2)) * Replace relative paths to noir-protocol-circuits ([32840c6](AztecProtocol/aztec-packages@32840c6)) * Require safety doc comment for unsafe instead of `//[@safety](https://github.com/safety)` (noir-lang/noir#6992) ([9189120](AztecProtocol/aztec-packages@9189120)) * Reserve `enum` and `match` keywords (noir-lang/noir#6961) ([9189120](AztecProtocol/aztec-packages@9189120)) * Rpc server cleanup & misc fixes ([#11145](AztecProtocol/aztec-packages#11145)) ([8a927eb](AztecProtocol/aztec-packages@8a927eb)) * Sanity checking of proving job IDs ([#11134](AztecProtocol/aztec-packages#11134)) ([61c3e95](AztecProtocol/aztec-packages@61c3e95)) * Save kind smoke test logs as artifact ([#11212](AztecProtocol/aztec-packages#11212)) ([1389a5b](AztecProtocol/aztec-packages@1389a5b)) * Separate unconstrained functions during monomorphization (noir-lang/noir#6894) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * Simplify a couple of enum variants (noir-lang/noir#7025) ([9189120](AztecProtocol/aztec-packages@9189120)) * Simplify boolean in a mul of a mul (noir-lang/noir#6951) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * SmallSubgroupIPA tests ([#11106](AztecProtocol/aztec-packages#11106)) ([f034e2a](AztecProtocol/aztec-packages@f034e2a)) * **spartan:** Making the spartan script install jq ([#11231](AztecProtocol/aztec-packages#11231)) ([7e628cc](AztecProtocol/aztec-packages@7e628cc)) * Test:e2e defaults to no-docker ([#10966](AztecProtocol/aztec-packages#10966)) ([15e0d71](AztecProtocol/aztec-packages@15e0d71)) * Turn on averaging for protocol circuits metrics in CI (noir-lang/noir#6999) ([9189120](AztecProtocol/aztec-packages@9189120)) * Update aztec-spartan.sh script ([#11228](AztecProtocol/aztec-packages#11228)) ([52b3a87](AztecProtocol/aztec-packages@52b3a87)) * Use DFG in SSA printer (noir-lang/noir#6986) ([9189120](AztecProtocol/aztec-packages@9189120)) * Use L1 Tx Utils ([#10759](AztecProtocol/aztec-packages#10759)) ([ccf28f5](AztecProtocol/aztec-packages@ccf28f5)), closes [#10464](AztecProtocol/aztec-packages#10464) * Use logs for benchmarking (noir-lang/noir#6911) ([3883a0e](AztecProtocol/aztec-packages@3883a0e)) * VariableMerkleTree readability improvements ([#11165](AztecProtocol/aztec-packages#11165)) ([010d1b0](AztecProtocol/aztec-packages@010d1b0)) * Wait for ethereum in each pod ([#11238](AztecProtocol/aztec-packages#11238)) ([9c08e00](AztecProtocol/aztec-packages@9c08e00)) ### Documentation * Enable protocol specs for docs in dev mode ([#11219](AztecProtocol/aztec-packages#11219)) ([10c8afe](AztecProtocol/aztec-packages@10c8afe)) </details> <details><summary>barretenberg: 0.70.0</summary> ## [0.70.0](AztecProtocol/aztec-packages@barretenberg-v0.69.1...barretenberg-v0.70.0) (2025-01-15) ### Features * **avm2:** Avm redesign init ([#10906](AztecProtocol/aztec-packages#10906)) ([231f017](AztecProtocol/aztec-packages@231f017)) * Permutation argument optimizations ([#10960](AztecProtocol/aztec-packages#10960)) ([de99603](AztecProtocol/aztec-packages@de99603)) * Use tail public inputs as transaction hash ([#11100](AztecProtocol/aztec-packages#11100)) ([34be2c3](AztecProtocol/aztec-packages@34be2c3)) ### Bug Fixes * **avm:** AVM circuit fixes related calldata, returndata and call_ptr ([#11207](AztecProtocol/aztec-packages#11207)) ([2f05dc0](AztecProtocol/aztec-packages@2f05dc0)) * **avm:** Mac build ([#11195](AztecProtocol/aztec-packages#11195)) ([c4f4452](AztecProtocol/aztec-packages@c4f4452)) * **avm:** Mac build (retry) ([#11197](AztecProtocol/aztec-packages#11197)) ([0a4b763](AztecProtocol/aztec-packages@0a4b763)) * **bootstrap:** Don't download bad cache if unstaged changes ([#11198](AztecProtocol/aztec-packages#11198)) ([2bd895b](AztecProtocol/aztec-packages@2bd895b)) * Remove max lookup table size constant (for now) ([#11095](AztecProtocol/aztec-packages#11095)) ([7e9e268](AztecProtocol/aztec-packages@7e9e268)) ### Miscellaneous * **avm:** Fix mac build ([#11147](AztecProtocol/aztec-packages#11147)) ([1775e53](AztecProtocol/aztec-packages@1775e53)) * **avm:** Improve column stats ([#11135](AztecProtocol/aztec-packages#11135)) ([535a14c](AztecProtocol/aztec-packages@535a14c)) * **avm:** Re-enable bb-prover tests in CI, change some to check-circuit-only, enable multi-enqueued call tests ([#11180](AztecProtocol/aztec-packages#11180)) ([3092212](AztecProtocol/aztec-packages@3092212)) * **avm:** Vm2 followup cleanup ([#11186](AztecProtocol/aztec-packages#11186)) ([6de4013](AztecProtocol/aztec-packages@6de4013)) * **docs:** Update tx concepts page ([#10947](AztecProtocol/aztec-packages#10947)) ([d9d9798](AztecProtocol/aztec-packages@d9d9798)) * Move witness computation into class plus some other cleanup ([#11140](AztecProtocol/aztec-packages#11140)) ([d41e9ab](AztecProtocol/aztec-packages@d41e9ab)) * Redo typo PR by longxiangqiao ([#11109](AztecProtocol/aztec-packages#11109)) ([b8ef30e](AztecProtocol/aztec-packages@b8ef30e)) * Refactor Solidity Transcript and improve error handling in sol_honk flow ([#11158](AztecProtocol/aztec-packages#11158)) ([58fdf87](AztecProtocol/aztec-packages@58fdf87)) * SmallSubgroupIPA tests ([#11106](AztecProtocol/aztec-packages#11106)) ([f034e2a](AztecProtocol/aztec-packages@f034e2a)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

Separate brillig fns during monomorphization

08732ed

jfecher added 5 commits December 20, 2024 09:44

Use new flag to set function unconstrained

094a831

Fix force-brillig flag

459b300

Remove case

a597f6a

Fix frontend tests

16d4b5e

Remove printlns

f1eccde

vezenovm reviewed Dec 20, 2024

View reviewed changes

compiler/noirc_frontend/src/monomorphization/mod.rs Show resolved Hide resolved

vezenovm reviewed Dec 20, 2024

View reviewed changes

compiler/noirc_evaluator/src/ssa.rs Show resolved Hide resolved

jfecher added 3 commits January 2, 2025 09:12

Merge branch 'master' into jf/monomorphize-unconstrained

d0a06f1

Add check

07078f8

fmt

0f1f17f

Fix issues with remove unused functions pass

73ce9b6

jfecher marked this pull request as ready for review January 2, 2025 20:34

jfecher added 2 commits January 2, 2025 14:56

Make lambdas unconstrained too to fix regression

ac10ed0

Remove println

48022e8

jfecher added 4 commits January 3, 2025 13:56

Finally find and fix bug

b5a151b

Remove clone_fn

54ca620

Avoid issuing inc & dec_rc outside of unconstrained code

a34c46b

Fix evaluator tests

8c973ea

Merge branch 'master' into jf/monomorphize-unconstrained

f8eb0da

Merge branch 'master' into jf/monomorphize-unconstrained

ed9da6e

vezenovm approved these changes Jan 6, 2025

View reviewed changes

compiler/noirc_evaluator/src/ssa/opt/remove_unreachable.rs Show resolved Hide resolved

jfecher added 2 commits January 6, 2025 12:04

Add exception for the debugger

a3db9cc

Merge branch 'jf/monomorphize-unconstrained' of https://github.com/no…

409bca8

…ir-lang/noir into jf/monomorphize-unconstrained

jfecher enabled auto-merge January 6, 2025 18:05

jfecher mentioned this pull request Jan 6, 2025

Inliner removes some functions used by the debugger #6955

Open

jfecher added this pull request to the merge queue Jan 6, 2025

github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jan 6, 2025

TomAFrench added this pull request to the merge queue Jan 6, 2025

Merged via the queue into master with commit 2e5d91f Jan 6, 2025
89 checks passed

TomAFrench deleted the jf/monomorphize-unconstrained branch January 6, 2025 19:04

AztecBot mentioned this pull request Jan 7, 2025

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

Merged

Aristotelis2002 added a commit to blocksense-network/noir that referenced this pull request Jan 7, 2025

chore: Daily merge of master, 07 Jan 2025

8138bb0

With PR noir-lang#6894 upstream have moved the SSA optimization "separate_runtime" to be happening during the monomorphization phase.

Rumata888 pushed a commit that referenced this pull request Jan 8, 2025

chore: Separate unconstrained functions during monomorphization (#6894)

38c89f4

Co-authored-by: Tom French <[email protected]>

AztecBot mentioned this pull request Jan 9, 2025

chore(master): Release 0.70.0 AztecProtocol/aztec-packages#11107

Merged

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

chore: Separate unconstrained functions during monomorphization #6894

chore: Separate unconstrained functions during monomorphization #6894

jfecher commented Dec 20, 2024 •

edited

Loading

github-actions bot commented Dec 20, 2024 •

edited

Loading

github-actions bot commented Dec 20, 2024 •

edited

Loading

github-actions bot commented Dec 20, 2024 •

edited

Loading

github-actions bot commented Dec 20, 2024 •

edited

Loading

github-actions bot commented Jan 2, 2025 •

edited

Loading

github-actions bot commented Jan 3, 2025 •

edited

Loading

github-actions bot commented Jan 3, 2025 •

edited

Loading

jfecher commented Jan 3, 2025

TomAFrench commented Jan 3, 2025

vezenovm left a comment •

edited

Loading

jfecher commented Jan 6, 2025

chore: Separate unconstrained functions during monomorphization #6894

chore: Separate unconstrained functions during monomorphization #6894

Conversation

jfecher commented Dec 20, 2024 • edited Loading

Description

Problem*

Summary*

Additional Context

Documentation*

PR Checklist*

github-actions bot commented Dec 20, 2024 • edited Loading

Changes to Brillig bytecode sizes

🧾 Summary (10% most significant diffs)

github-actions bot commented Dec 20, 2024 • edited Loading

Peak Memory Sample

github-actions bot commented Dec 20, 2024 • edited Loading

Compilation Report

github-actions bot commented Dec 20, 2024 • edited Loading

Execution Report

github-actions bot commented Jan 2, 2025 • edited Loading

Changes to number of Brillig opcodes executed

🧾 Summary (10% most significant diffs)

github-actions bot commented Jan 3, 2025 • edited Loading

Execution Memory Report

github-actions bot commented Jan 3, 2025 • edited Loading

Compilation Memory Report

jfecher commented Jan 3, 2025

TomAFrench commented Jan 3, 2025

vezenovm left a comment • edited Loading

Choose a reason for hiding this comment

jfecher commented Jan 6, 2025

jfecher commented Dec 20, 2024 •

edited

Loading

github-actions bot commented Dec 20, 2024 •

edited

Loading

github-actions bot commented Dec 20, 2024 •

edited

Loading

github-actions bot commented Dec 20, 2024 •

edited

Loading

github-actions bot commented Dec 20, 2024 •

edited

Loading

github-actions bot commented Jan 2, 2025 •

edited

Loading

github-actions bot commented Jan 3, 2025 •

edited

Loading

github-actions bot commented Jan 3, 2025 •

edited

Loading

vezenovm left a comment •

edited

Loading