Skip to content

feat: reverse loop condition in brillig to avoid NOT instruction#9779

Merged
TomAFrench merged 5 commits intomasterfrom
tf/remove-not-from-brillig-for-loop
Sep 9, 2025
Merged

feat: reverse loop condition in brillig to avoid NOT instruction#9779
TomAFrench merged 5 commits intomasterfrom
tf/remove-not-from-brillig-for-loop

Conversation

@TomAFrench
Copy link
Member

@TomAFrench TomAFrench commented Sep 9, 2025

Description

Problem*

Resolves

Summary*

I've replaced the check for !(iterator < loop_bound ) with one for (loop_bound <= iterator) so we can perform it in a single instruction rather than two.

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
Copy link
Contributor

github-actions bot commented Sep 9, 2025 •
edited
Loading

Changes to Brillig bytecode sizes

Generated at commit: 6ff6945f9bc663cb83e816eda99aafd66e8e1ead, compared to commit: 04ac97f1593a6896b5c86e4bc96c8efcebbde9bc

🧾 Summary (10% most significant diffs)

Program Brillig opcodes (+/-) %
to_bytes_integration_inliner_max -1 ✅ -1.10%
to_bytes_integration_inliner_min -1 ✅ -1.10%
to_bytes_integration_inliner_zero -1 ✅ -1.10%
unrolling_regression_8333_inliner_max -1 ✅ -1.14%
unrolling_regression_8333_inliner_min -1 ✅ -1.14%
unrolling_regression_8333_inliner_zero -1 ✅ -1.14%
simple_radix_inliner_max -1 ✅ -1.33%
simple_radix_inliner_min -1 ✅ -1.33%
simple_radix_inliner_zero -1 ✅ -1.33%
Full diff report 👇
Program Brillig opcodes (+/-) %
regression_4709_inliner_max 133,718 (-1) -0.00%
regression_4709_inliner_min 133,718 (-1) -0.00%
regression_4709_inliner_zero 133,718 (-1) -0.00%
poseidon_bn254_hash_width_3_inliner_min 4,716 (-1) -0.02%
poseidon_bn254_hash_width_3_inliner_zero 4,419 (-1) -0.02%
regression_5252_inliner_min 3,348 (-1) -0.03%
regression_5252_inliner_zero 3,215 (-1) -0.03%
poseidonsponge_x5_254_inliner_min 3,005 (-1) -0.03%
poseidonsponge_x5_254_inliner_zero 2,883 (-1) -0.03%
regression_1144_1169_2399_6609_inliner_max 856 (-1) -0.12%
regression_1144_1169_2399_6609_inliner_zero 856 (-1) -0.12%
simple_shield_inliner_min 693 (-1) -0.14%
simple_shield_inliner_max 673 (-1) -0.15%
simple_shield_inliner_zero 673 (-1) -0.15%
fold_numeric_generic_poseidon_inliner_max 622 (-1) -0.16%
no_predicates_numeric_generic_poseidon_inliner_max 622 (-1) -0.16%
brillig_cow_regression_inliner_max 1,198 (-2) -0.17%
brillig_cow_regression_inliner_zero 1,198 (-2) -0.17%
fold_numeric_generic_poseidon_inliner_min 561 (-1) -0.18%
no_predicates_numeric_generic_poseidon_inliner_min 561 (-1) -0.18%
merkle_insert_inliner_max 537 (-1) -0.19%
fold_numeric_generic_poseidon_inliner_zero 501 (-1) -0.20%
no_predicates_numeric_generic_poseidon_inliner_zero 501 (-1) -0.20%
conditional_1_inliner_max 497 (-1) -0.20%
regression_1144_1169_2399_6609_inliner_min 956 (-2) -0.21%
fold_2_to_17_inliner_max 464 (-1) -0.22%
conditional_1_inliner_min 464 (-1) -0.22%
conditional_1_inliner_zero 464 (-1) -0.22%
numeric_type_alias_inliner_min 462 (-1) -0.22%
a_7_function_inliner_min 447 (-1) -0.22%
a_7_function_inliner_zero 437 (-1) -0.23%
brillig_cow_regression_inliner_min 1,208 (-3) -0.25%
aes128_encrypt_inliner_max 398 (-1) -0.25%
a_7_function_inliner_max 390 (-1) -0.26%
array_dynamic_blackbox_input_inliner_min 386 (-1) -0.26%
aes128_encrypt_inliner_min 383 (-1) -0.26%
merkle_insert_inliner_zero 380 (-1) -0.26%
merkle_insert_inliner_min 374 (-1) -0.27%
aes128_encrypt_inliner_zero 374 (-1) -0.27%
array_dynamic_blackbox_input_inliner_max 365 (-1) -0.27%
array_dynamic_blackbox_input_inliner_zero 365 (-1) -0.27%
numeric_type_alias_inliner_max 324 (-1) -0.31%
numeric_type_alias_inliner_zero 324 (-1) -0.31%
bench_2_to_17_inliner_min 308 (-1) -0.32%
encrypted_log_regression_inliner_min 276 (-1) -0.36%
bench_2_to_17_inliner_max 270 (-1) -0.37%
encrypted_log_regression_inliner_max 263 (-1) -0.38%
encrypted_log_regression_inliner_zero 263 (-1) -0.38%
bench_2_to_17_inliner_zero 253 (-1) -0.39%
ram_blowup_regression_inliner_min 228 (-1) -0.44%
ram_blowup_regression_inliner_max 218 (-1) -0.46%
ram_blowup_regression_inliner_zero 218 (-1) -0.46%
regression_4449_inliner_min 203 (-1) -0.49%
to_be_bytes_inliner_min 196 (-1) -0.51%
regression_4449_inliner_max 193 (-1) -0.52%
regression_4449_inliner_zero 193 (-1) -0.52%
to_be_bytes_inliner_max 187 (-1) -0.53%
to_be_bytes_inliner_zero 187 (-1) -0.53%
fold_2_to_17_inliner_min 329 (-2) -0.60%
fold_2_to_17_inliner_zero 317 (-2) -0.63%
to_le_bytes_inliner_min 136 (-1) -0.73%
to_le_bytes_inliner_max 127 (-1) -0.78%
to_le_bytes_inliner_zero 127 (-1) -0.78%
regression_7128_inliner_max 111 (-1) -0.89%
regression_7128_inliner_min 111 (-1) -0.89%
regression_7128_inliner_zero 111 (-1) -0.89%
array_len_inliner_max 110 (-1) -0.90%
array_len_inliner_min 110 (-1) -0.90%
array_len_inliner_zero 110 (-1) -0.90%
to_bytes_integration_inliner_max 90 (-1) -1.10%
to_bytes_integration_inliner_min 90 (-1) -1.10%
to_bytes_integration_inliner_zero 90 (-1) -1.10%
unrolling_regression_8333_inliner_max 87 (-1) -1.14%
unrolling_regression_8333_inliner_min 87 (-1) -1.14%
unrolling_regression_8333_inliner_zero 87 (-1) -1.14%
simple_radix_inliner_max 74 (-1) -1.33%
simple_radix_inliner_min 74 (-1) -1.33%
simple_radix_inliner_zero 74 (-1) -1.33%

@github-actions
Copy link
Contributor

github-actions bot commented Sep 9, 2025 •
edited
Loading

Changes to number of Brillig opcodes executed

Generated at commit: 6ff6945f9bc663cb83e816eda99aafd66e8e1ead, compared to commit: 04ac97f1593a6896b5c86e4bc96c8efcebbde9bc

🧾 Summary (10% most significant diffs)

Program Brillig opcodes (+/-) %
regression_7128_inliner_max -33 ✅ -3.32%
regression_7128_inliner_min -33 ✅ -3.32%
regression_7128_inliner_zero -33 ✅ -3.32%
unrolling_regression_8333_inliner_max -33 ✅ -4.56%
unrolling_regression_8333_inliner_min -33 ✅ -4.56%
unrolling_regression_8333_inliner_zero -33 ✅ -4.56%
to_bytes_integration_inliner_max -144 ✅ -6.96%
to_bytes_integration_inliner_min -144 ✅ -6.96%
to_bytes_integration_inliner_zero -144 ✅ -6.96%
Full diff report 👇
Program Brillig opcodes (+/-) %
regression_4709_inliner_max 864,854 (-258) -0.03%
regression_4709_inliner_min 864,854 (-258) -0.03%
regression_4709_inliner_zero 864,854 (-258) -0.03%
merkle_insert_inliner_max 2,934 (-2) -0.07%
simple_shield_inliner_max 2,109 (-2) -0.09%
simple_shield_inliner_zero 2,109 (-2) -0.09%
simple_shield_inliner_min 1,830 (-2) -0.11%
merkle_insert_inliner_zero 3,068 (-4) -0.13%
merkle_insert_inliner_min 2,450 (-4) -0.16%
fold_numeric_generic_poseidon_inliner_min 4,521 (-21) -0.46%
no_predicates_numeric_generic_poseidon_inliner_min 4,521 (-21) -0.46%
fold_numeric_generic_poseidon_inliner_zero 4,469 (-21) -0.47%
no_predicates_numeric_generic_poseidon_inliner_zero 4,469 (-21) -0.47%
fold_numeric_generic_poseidon_inliner_max 3,694 (-21) -0.57%
no_predicates_numeric_generic_poseidon_inliner_max 3,694 (-21) -0.57%
aes128_encrypt_inliner_min 2,866 (-17) -0.59%
aes128_encrypt_inliner_zero 2,853 (-17) -0.59%
fold_2_to_17_inliner_max 769,118 (-4,661) -0.60%
aes128_encrypt_inliner_max 2,561 (-17) -0.66%
regression_1144_1169_2399_6609_inliner_max 2,215 (-17) -0.76%
regression_1144_1169_2399_6609_inliner_zero 2,215 (-17) -0.76%
regression_4449_inliner_min 4,281 (-33) -0.76%
regression_4449_inliner_max 4,267 (-33) -0.77%
regression_4449_inliner_zero 4,267 (-33) -0.77%
a_7_function_inliner_min 2,117 (-17) -0.80%
a_7_function_inliner_zero 2,103 (-17) -0.80%
numeric_type_alias_inliner_min 1,567 (-13) -0.82%
bench_2_to_17_inliner_min 548,980 (-4,901) -0.88%
fold_2_to_17_inliner_min 1,044,171 (-9,322) -0.88%
fold_2_to_17_inliner_zero 1,044,139 (-9,322) -0.88%
a_7_function_inliner_max 1,776 (-17) -0.95%
numeric_type_alias_inliner_max 1,299 (-13) -0.99%
numeric_type_alias_inliner_zero 1,299 (-13) -0.99%
array_dynamic_blackbox_input_inliner_min 6,490 (-65) -0.99%
array_dynamic_blackbox_input_inliner_max 6,461 (-65) -1.00%
array_dynamic_blackbox_input_inliner_zero 6,461 (-65) -1.00%
bench_2_to_17_inliner_zero 455,845 (-4,901) -1.06%
poseidonsponge_x5_254_inliner_min 185,139 (-2,040) -1.09%
regression_5252_inliner_min 924,035 (-10,200) -1.09%
poseidonsponge_x5_254_inliner_zero 183,114 (-2,040) -1.10%
regression_5252_inliner_zero 911,544 (-10,200) -1.11%
bench_2_to_17_inliner_max 416,630 (-4,901) -1.16%
poseidon_bn254_hash_width_3_inliner_min 168,367 (-1,989) -1.17%
poseidon_bn254_hash_width_3_inliner_zero 164,900 (-1,989) -1.19%
to_le_bytes_inliner_min 1,001 (-16) -1.57%
to_le_bytes_inliner_max 988 (-16) -1.59%
to_le_bytes_inliner_zero 988 (-16) -1.59%
to_be_bytes_inliner_min 1,856 (-32) -1.69%
to_be_bytes_inliner_max 1,843 (-32) -1.71%
to_be_bytes_inliner_zero 1,843 (-32) -1.71%
conditional_1_inliner_min 1,847 (-33) -1.76%
conditional_1_inliner_zero 1,847 (-33) -1.76%
conditional_1_inliner_max 1,821 (-33) -1.78%
encrypted_log_regression_inliner_min 845 (-16) -1.86%
encrypted_log_regression_inliner_max 828 (-16) -1.90%
encrypted_log_regression_inliner_zero 828 (-16) -1.90%
regression_1144_1169_2399_6609_inliner_min 2,475 (-50) -1.98%
array_len_inliner_max 197 (-5) -2.48%
array_len_inliner_min 197 (-5) -2.48%
array_len_inliner_zero 197 (-5) -2.48%
brillig_cow_regression_inliner_max 188,829 (-5,515) -2.84%
brillig_cow_regression_inliner_zero 188,829 (-5,515) -2.84%
brillig_cow_regression_inliner_min 189,048 (-5,532) -2.84%
simple_radix_inliner_max 68 (-2) -2.86%
simple_radix_inliner_min 68 (-2) -2.86%
simple_radix_inliner_zero 68 (-2) -2.86%
ram_blowup_regression_inliner_min 278,357 (-8,193) -2.86%
ram_blowup_regression_inliner_max 278,343 (-8,193) -2.86%
ram_blowup_regression_inliner_zero 278,343 (-8,193) -2.86%
regression_7128_inliner_max 961 (-33) -3.32%
regression_7128_inliner_min 961 (-33) -3.32%
regression_7128_inliner_zero 961 (-33) -3.32%
unrolling_regression_8333_inliner_max 691 (-33) -4.56%
unrolling_regression_8333_inliner_min 691 (-33) -4.56%
unrolling_regression_8333_inliner_zero 691 (-33) -4.56%
to_bytes_integration_inliner_max 1,924 (-144) -6.96%
to_bytes_integration_inliner_min 1,924 (-144) -6.96%
to_bytes_integration_inliner_zero 1,924 (-144) -6.96%

@TomAFrench TomAFrench requested a review from a team September 9, 2025 13:02
@TomAFrench TomAFrench marked this pull request as ready for review September 9, 2025 13:02
github-actions[bot]
github-actions bot reviewed Sep 9, 2025
View reviewed changes
Copy link
Contributor

@github-actions github-actions bot left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: d82230f Previous: 04ac97f Ratio
test_report_zkpassport_noir_rsa_ 2 s 1 s 2

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@TomAFrench TomAFrench enabled auto-merge September 9, 2025 15:55
@TomAFrench TomAFrench added this pull request to the merge queue Sep 9, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to a conflict with the base branch Sep 9, 2025
@TomAFrench TomAFrench enabled auto-merge September 9, 2025 18:39
github-actions[bot]
github-actions bot reviewed Sep 9, 2025
View reviewed changes
Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Compilation Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 00cce4f Previous: 4dda4f8 Ratio
rollup-base-public 21.24 s 16.3 s 1.30

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@TomAFrench TomAFrench added this pull request to the merge queue Sep 9, 2025
Merged via the queue into master with commit 113b853 Sep 9, 2025
123 checks passed
@TomAFrench TomAFrench deleted the tf/remove-not-from-brillig-for-loop branch September 9, 2025 21:34
@noirwhal noirwhal mentioned this pull request Sep 9, 2025
Merged
@AztecBot AztecBot mentioned this pull request Sep 12, 2025
Closed
@AztecBot AztecBot mentioned this pull request Sep 22, 2025
Merged
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Sep 26, 2025
@AztecBot @TomAFrench
chore: Bump Noir reference
aef5d5a 
Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: print ACIR AssertZero as an equation (noir-lang/noir#9970)
chore(acir): Switch to inline SSA for slice intrinsics tests (noir-lang/noir#10000)
fix(fuzz): Handle divisor of zero msg in error comparison (noir-lang/noir#9995)
fix(ssa): Handle OOB indexing of slice literals in `remove_unreachalbe_instructions` (noir-lang/noir#9999)
chore: Add `DataFlowGraph::instruction_result` for getting a known number of results (noir-lang/noir#9989)
chore(ast_fuzzer): Allow passing compilation options to cvise tool (noir-lang/noir#9996)
chore(ssa_gen): Do not generate out of bounds checks for array assignments in ACIR (noir-lang/noir#9992)
chore: add more to/from le/be bits/bytes edge case tests (noir-lang/noir#9906)
fix: Disable early mem2reg (noir-lang/noir#9987)
chore(ci): free up space on github runner (noir-lang/noir#9994)
chore(ssa): Nits in `remove_bit_shift` and `remove_if_else` (noir-lang/noir#9965)
chore(ssa_executor): add compilation example  (noir-lang/noir#9937)
chore(acir): More arrays refactors  (noir-lang/noir#9962)
chore(test): add panicking tests for 'defunctionalize' (noir-lang/noir#8510)
chore: remove_if_else docs and refactors (noir-lang/noir#9929)
chore(acir): Do not copy element type sizes array when initializing (noir-lang/noir#9955)
fix: correct max_bit_size when left-shifting (noir-lang/noir#9770)
chore: checked_to_unchecked enhancements from audit review (noir-lang/noir#9958)
chore(ssa): Remove `offset` from `ArrayGet` and `ArraySet` (noir-lang/noir#9956)
chore(acir): Add some unit tests for arrays and light refactors (noir-lang/noir#9953)
chore: add regression test for #9852 (noir-lang/noir#9960)
chore(fuzz): Add error equivalency for bit-shift overflow in the SSA interpreter (noir-lang/noir#9957)
feat(cli): Visualize the Control Flow Graph (noir-lang/noir#9867)
chore: minor constant_folding refactors (noir-lang/noir#9954)
chore!: several ACIR serialisation changes (noir-lang/noir#8134)
chore(ci): only send slack notifications during the week (noir-lang/noir#9946)
chore: assumes no load-store in array_set (noir-lang/noir#9940)
chore(acir): Arrays module doc comments (noir-lang/noir#9947)
fix: correctly handle unusual radices in `ToRadix` decompositions (noir-lang/noir#9941)
fix(ssa): Start with checked operations in index calculations (noir-lang/noir#9888)
feat: no need to use dummy slice values in remove_if_else (noir-lang/noir#9928)
chore: bump external pinned commits (noir-lang/noir#9938)
chore: redo typo PR by viktorking7 (noir-lang/noir#9939)
chore: Release Noir(1.0.0-beta.13) (noir-lang/noir#9737)
chore(ssa): Validate array operands (noir-lang/noir#9932)
chore(licm): Add `CanBeHoistedResult::WithRefCount` (noir-lang/noir#9849)
chore(ci): alert in slack if fuzzer fails (noir-lang/noir#9910)
fix(fmt): missing skip whitespace when formatting match (noir-lang/noir#9905)
chore(acir_gen): New shared_context module and some additional unit tests (noir-lang/noir#9895)
chore: bump external pinned commits (noir-lang/noir#9902)
chore: validate SSA intrinsics arguments and return types (noir-lang/noir#9892)
chore(die): small nit to remove a check which is not useful (noir-lang/noir#9898)
chore: implement Display for brillig (noir-lang/noir#9893)
chore(acir_gen): Call module (noir-lang/noir#9896)
feat: allow initializing dynamic arrays (noir-lang/noir#9899)
fix(acir_gen): Handle flattening of numeric types when an `Array` contains a `DynamicArray` (noir-lang/noir#9887)
fix(mem2reg): Do not attempt to analyze an instruction simplified to a global (noir-lang/noir#9882)
fix: error on returning slice from main (noir-lang/noir#9636)
fix(acir_gen): Fix entry point indices (noir-lang/noir#9881)
chore: move `ram_blowup_regression` to be a compile-only test (noir-lang/noir#9874)
chore: validate SSA call arguments (noir-lang/noir#9876)
fix(ssa): Simplify always-fail range constraint (noir-lang/noir#9885)
chore(fuzz): Refactor logging in the AST fuzzer (noir-lang/noir#9884)
chore(ssa_fuzzer): refactor brillig target (noir-lang/noir#9821)
fix(fuzz): Always introduce a local binding before match (noir-lang/noir#9883)
chore(acir_gen): Switching existing ACIR gen tests to use parser and cleanup test module (noir-lang/noir#9878)
chore(acir_gen): Remove Brillig execution with constant arguments  (noir-lang/noir#9879)
fix: disallow `_` in where clauses, and disallow unused trait impl generics (noir-lang/noir#9871)
chore: bump external pinned commits (noir-lang/noir#9875)
feat: LSP lightweight mode (noir-lang/noir#9869)
chore: use `w` prefix for ACIR witnesses (noir-lang/noir#9839)
chore: greenlight remove enable side effects (noir-lang/noir#9833)
fix(fuzz): Avoid OOB when `in_no_dynamic` mode (noir-lang/noir#9858)
chore(ssa): Run purity analysis before preprocessing of functions (noir-lang/noir#9837)
fix: check for signed division overflow (noir-lang/noir#9857)
chore: Add tests from post-order PR (noir-lang/noir#9846)
chore(acir): Parse full program (foldable functions) (noir-lang/noir#9859)
chore: greenlight remove_bit_shifts (revised) (noir-lang/noir#9813)
feat(die): Prune unused entry block parameters for non-entry points (noir-lang/noir#9843)
chore: greenlight check_u128_mul_overflow (noir-lang/noir#9759)
chore: greenlight `remove_unreachable_instructions` for new requirements (noir-lang/noir#9810)
chore: use enum for instruction deduplication safety (noir-lang/noir#9824)
feat(LSP): signature help for macro attributes (noir-lang/noir#9536)
feat(LSP): folding ranges (noir-lang/noir#9854)
chore(die): IncrementRc/DecrementRc comments (noir-lang/noir#9855)
chore(ownership): Add tests for cloning nested arrays returned from indexing (noir-lang/noir#9789)
chore: validate that all jmpif conditions are boolean (noir-lang/noir#9850)
chore: bump external pinned commits (noir-lang/noir#9848)
chore(opt): Fetch set of Brillig entry points without reachability and recursive functions computation  (noir-lang/noir#9844)
chore: tests for map in stdlib (noir-lang/noir#9676)
chore(ssa): Brillig entry point specialization post check  (noir-lang/noir#9845)
chore: delete some unused snapshots (noir-lang/noir#9841)
feat(ssa): SSA CLI (noir-lang/noir#9826)
chore: more ACIR parser usages in tests, and optimize general optimizations (noir-lang/noir#9836)
chore(die): Remove RC tracker (noir-lang/noir#9809)
feat: better check_u128_mul_overflow logic when an operand is constant (noir-lang/noir#9835)
chore: increase number of cases tried in PR fuzzing (noir-lang/noir#9829)
chore: remove variable flag from poseidon2 hash (noir-lang/noir#9834)
chore: enforce that we only visit blocks once with new deque type (noir-lang/noir#9825)
chore(test): add tests for unconstrained `main` recursion (noir-lang/noir#8551)
chore: adding tests to vec (noir-lang/noir#9715)
feat(fuzz): Allow index OOB with a small probability (noir-lang/noir#9803)
chore(die): Encapsulate array access checks in separate module (noir-lang/noir#9828)
chore: use the ACIR parser in redundant_ranges tests (noir-lang/noir#9827)
chore: prefer `From` for infallible numeric casts (noir-lang/noir#9802)
chore: add a regression test for #4663 (noir-lang/noir#9819)
chore: bump linked bb version (noir-lang/noir#9237)
chore: use `DataFlowGraph` over `Function` in constant_folding (noir-lang/noir#9811)
chore: add a regression test for #6285 (noir-lang/noir#9817)
feat(fuzz): Generate calls to `slice_remove` and `slice_insert` in the AST fuzzer (noir-lang/noir#9786)
chore: no need to use `get_max_num_bits` if lhs is a constant (noir-lang/noir#9812)
chore(ci): fix release workflow permissions (noir-lang/noir#9822)
fix: do not simplify constraints with induction variable (noir-lang/noir#9806)
fix(ssa): Do not hoist unsafe `array_get` in Brillig (noir-lang/noir#9805)
fix(ownership): consider ident in nested l-value as used (noir-lang/noir#9793)
fix(mem2reg): handle instruction simplified to multiple (noir-lang/noir#9782)
fix: proper error when dividing by minus 1 (noir-lang/noir#9762)
chore: tests for field in stdlib (noir-lang/noir#9677)
chore(ssa_fuzzer): separate fuzzer runtimes + add brillig fuzz target (noir-lang/noir#9753)
feat(ownership): Do not clone indexed call results containing arrays (noir-lang/noir#9791)
Revert "chore: move `ram_blowup_regression` to be a compile-only test" (noir-lang/noir#9801)
feat: reverse loop condition in brillig to avoid NOT instruction (noir-lang/noir#9779)
chore: move `ram_blowup_regression` to be a compile-only test (noir-lang/noir#9790)
fix(docs): moves docs to correct path for sharing domain with landing (noir-lang/noir#9687)
chore: Check an inline always weight threshold during inline info computation (noir-lang/noir#9487)
chore: remove snapshots from `test_programs` artifacts (noir-lang/noir#9788)
chore: bump `@web/dev-server-esbuild` and `playwright` (noir-lang/noir#9781)
fix(ssa): Replace failing array access with constraint and defaults (noir-lang/noir#9776)
chore(die): Module doc comments (noir-lang/noir#9768)
chore: encapsulate constant folding logic better (noir-lang/noir#9773)
chore(ci): publish attestations on uploaded binaries (noir-lang/noir#9777)
feat: remove useless jump when branching in brillig (noir-lang/noir#9778)
chore: add `LoopContext::new` (noir-lang/noir#9720)
feat(ownership): Do not clone nested Index expressions (noir-lang/noir#9772)
chore(ci): add permissions to CI workflows (noir-lang/noir#9763)
fix(ssa): Accurate purities of ArraySet and RC instructions in Brillig (noir-lang/noir#9736)
chore: add test for when pending snapshots are committed (noir-lang/noir#9757)
chore(docs): Copy latest getting started guide into versioned docs (noir-lang/noir#9755)
chore: migrate away from fxhash to address advisory (noir-lang/noir#9752)
fix(fuzz): Install `just` in nightly fuzz workflow (noir-lang/noir#9756)
fix: wrong error message in brillig bit shift overflow (noir-lang/noir#9702)
chore: bump dependencies (noir-lang/noir#9751)
fix: left bit shift u128 would overflow Field (noir-lang/noir#9723)
Revert "chore: migrate away from fxhash to address advisory (noir-lang/noir#9750)"
chore: migrate away from fxhash to address advisory (noir-lang/noir#9750)
chore: bump external pinned commits (noir-lang/noir#9748)
chore(inlining): Skip weight calc for ACIR functions and recursive Brillig functions (noir-lang/noir#9739)
chore(ssa): Consolidate should inline check into a single filter (noir-lang/noir#9738)
feat: re-enable early mem2reg pass (noir-lang/noir#9744)
fix(ssa): Mark whether an ArrayGet requires a predicate based upon the runtime (noir-lang/noir#9712)
chore(licm): Identify untested code; refactoring; minor fixes (noir-lang/noir#9718)
chore(docs): Update Aztec logo in noir docs (noir-lang/noir#9740)
chore(ssa_fuzzer): refactor ssa fuzzer (noir-lang/noir#9651)
fix: error on boolean shift overflow in interpreter (noir-lang/noir#9724)
chore: do not inline acir calls in brillig (noir-lang/noir#9412)
chore: remove empty main from frontend tests (noir-lang/noir#9726)
chore: add tests for slice (noir-lang/noir#9650)
chore: greenlight `make_constrain_not_equal` for audits (noir-lang/noir#9535)
chore: Release Noir(1.0.0-beta.12) (noir-lang/noir#9565)
chore(test): Filter `ram_blowup_regression` by default on local testing (noir-lang/noir#9721)
chore(ci): force cargo-binstall to install tools in CI (noir-lang/noir#9722)
fix(ssa): Simplify instructions during `remove_unreachable_instructions` (noir-lang/noir#9709)
END_COMMIT_OVERRIDE

Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Sep 26, 2025
@AztecBot
chore: Bump Noir reference
ca55de2 
Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: print ACIR AssertZero as an equation (noir-lang/noir#9970)
chore(acir): Switch to inline SSA for slice intrinsics tests (noir-lang/noir#10000)
fix(fuzz): Handle divisor of zero msg in error comparison (noir-lang/noir#9995)
fix(ssa): Handle OOB indexing of slice literals in `remove_unreachalbe_instructions` (noir-lang/noir#9999)
chore: Add `DataFlowGraph::instruction_result` for getting a known number of results (noir-lang/noir#9989)
chore(ast_fuzzer): Allow passing compilation options to cvise tool (noir-lang/noir#9996)
chore(ssa_gen): Do not generate out of bounds checks for array assignments in ACIR (noir-lang/noir#9992)
chore: add more to/from le/be bits/bytes edge case tests (noir-lang/noir#9906)
fix: Disable early mem2reg (noir-lang/noir#9987)
chore(ci): free up space on github runner (noir-lang/noir#9994)
chore(ssa): Nits in `remove_bit_shift` and `remove_if_else` (noir-lang/noir#9965)
chore(ssa_executor): add compilation example  (noir-lang/noir#9937)
chore(acir): More arrays refactors  (noir-lang/noir#9962)
chore(test): add panicking tests for 'defunctionalize' (noir-lang/noir#8510)
chore: remove_if_else docs and refactors (noir-lang/noir#9929)
chore(acir): Do not copy element type sizes array when initializing (noir-lang/noir#9955)
fix: correct max_bit_size when left-shifting (noir-lang/noir#9770)
chore: checked_to_unchecked enhancements from audit review (noir-lang/noir#9958)
chore(ssa): Remove `offset` from `ArrayGet` and `ArraySet` (noir-lang/noir#9956)
chore(acir): Add some unit tests for arrays and light refactors (noir-lang/noir#9953)
chore: add regression test for #9852 (noir-lang/noir#9960)
chore(fuzz): Add error equivalency for bit-shift overflow in the SSA interpreter (noir-lang/noir#9957)
feat(cli): Visualize the Control Flow Graph (noir-lang/noir#9867)
chore: minor constant_folding refactors (noir-lang/noir#9954)
chore!: several ACIR serialisation changes (noir-lang/noir#8134)
chore(ci): only send slack notifications during the week (noir-lang/noir#9946)
chore: assumes no load-store in array_set (noir-lang/noir#9940)
chore(acir): Arrays module doc comments (noir-lang/noir#9947)
fix: correctly handle unusual radices in `ToRadix` decompositions (noir-lang/noir#9941)
fix(ssa): Start with checked operations in index calculations (noir-lang/noir#9888)
feat: no need to use dummy slice values in remove_if_else (noir-lang/noir#9928)
chore: bump external pinned commits (noir-lang/noir#9938)
chore: redo typo PR by viktorking7 (noir-lang/noir#9939)
chore: Release Noir(1.0.0-beta.13) (noir-lang/noir#9737)
chore(ssa): Validate array operands (noir-lang/noir#9932)
chore(licm): Add `CanBeHoistedResult::WithRefCount` (noir-lang/noir#9849)
chore(ci): alert in slack if fuzzer fails (noir-lang/noir#9910)
fix(fmt): missing skip whitespace when formatting match (noir-lang/noir#9905)
chore(acir_gen): New shared_context module and some additional unit tests (noir-lang/noir#9895)
chore: bump external pinned commits (noir-lang/noir#9902)
chore: validate SSA intrinsics arguments and return types (noir-lang/noir#9892)
chore(die): small nit to remove a check which is not useful (noir-lang/noir#9898)
chore: implement Display for brillig (noir-lang/noir#9893)
chore(acir_gen): Call module (noir-lang/noir#9896)
feat: allow initializing dynamic arrays (noir-lang/noir#9899)
fix(acir_gen): Handle flattening of numeric types when an `Array` contains a `DynamicArray` (noir-lang/noir#9887)
fix(mem2reg): Do not attempt to analyze an instruction simplified to a global (noir-lang/noir#9882)
fix: error on returning slice from main (noir-lang/noir#9636)
fix(acir_gen): Fix entry point indices (noir-lang/noir#9881)
chore: move `ram_blowup_regression` to be a compile-only test (noir-lang/noir#9874)
chore: validate SSA call arguments (noir-lang/noir#9876)
fix(ssa): Simplify always-fail range constraint (noir-lang/noir#9885)
chore(fuzz): Refactor logging in the AST fuzzer (noir-lang/noir#9884)
chore(ssa_fuzzer): refactor brillig target (noir-lang/noir#9821)
fix(fuzz): Always introduce a local binding before match (noir-lang/noir#9883)
chore(acir_gen): Switching existing ACIR gen tests to use parser and cleanup test module (noir-lang/noir#9878)
chore(acir_gen): Remove Brillig execution with constant arguments  (noir-lang/noir#9879)
fix: disallow `_` in where clauses, and disallow unused trait impl generics (noir-lang/noir#9871)
chore: bump external pinned commits (noir-lang/noir#9875)
feat: LSP lightweight mode (noir-lang/noir#9869)
chore: use `w` prefix for ACIR witnesses (noir-lang/noir#9839)
chore: greenlight remove enable side effects (noir-lang/noir#9833)
fix(fuzz): Avoid OOB when `in_no_dynamic` mode (noir-lang/noir#9858)
chore(ssa): Run purity analysis before preprocessing of functions (noir-lang/noir#9837)
fix: check for signed division overflow (noir-lang/noir#9857)
chore: Add tests from post-order PR (noir-lang/noir#9846)
chore(acir): Parse full program (foldable functions) (noir-lang/noir#9859)
chore: greenlight remove_bit_shifts (revised) (noir-lang/noir#9813)
feat(die): Prune unused entry block parameters for non-entry points (noir-lang/noir#9843)
chore: greenlight check_u128_mul_overflow (noir-lang/noir#9759)
chore: greenlight `remove_unreachable_instructions` for new requirements (noir-lang/noir#9810)
chore: use enum for instruction deduplication safety (noir-lang/noir#9824)
feat(LSP): signature help for macro attributes (noir-lang/noir#9536)
feat(LSP): folding ranges (noir-lang/noir#9854)
chore(die): IncrementRc/DecrementRc comments (noir-lang/noir#9855)
chore(ownership): Add tests for cloning nested arrays returned from indexing (noir-lang/noir#9789)
chore: validate that all jmpif conditions are boolean (noir-lang/noir#9850)
chore: bump external pinned commits (noir-lang/noir#9848)
chore(opt): Fetch set of Brillig entry points without reachability and recursive functions computation  (noir-lang/noir#9844)
chore: tests for map in stdlib (noir-lang/noir#9676)
chore(ssa): Brillig entry point specialization post check  (noir-lang/noir#9845)
chore: delete some unused snapshots (noir-lang/noir#9841)
feat(ssa): SSA CLI (noir-lang/noir#9826)
chore: more ACIR parser usages in tests, and optimize general optimizations (noir-lang/noir#9836)
chore(die): Remove RC tracker (noir-lang/noir#9809)
feat: better check_u128_mul_overflow logic when an operand is constant (noir-lang/noir#9835)
chore: increase number of cases tried in PR fuzzing (noir-lang/noir#9829)
chore: remove variable flag from poseidon2 hash (noir-lang/noir#9834)
chore: enforce that we only visit blocks once with new deque type (noir-lang/noir#9825)
chore(test): add tests for unconstrained `main` recursion (noir-lang/noir#8551)
chore: adding tests to vec (noir-lang/noir#9715)
feat(fuzz): Allow index OOB with a small probability (noir-lang/noir#9803)
chore(die): Encapsulate array access checks in separate module (noir-lang/noir#9828)
chore: use the ACIR parser in redundant_ranges tests (noir-lang/noir#9827)
chore: prefer `From` for infallible numeric casts (noir-lang/noir#9802)
chore: add a regression test for #4663 (noir-lang/noir#9819)
chore: bump linked bb version (noir-lang/noir#9237)
chore: use `DataFlowGraph` over `Function` in constant_folding (noir-lang/noir#9811)
chore: add a regression test for #6285 (noir-lang/noir#9817)
feat(fuzz): Generate calls to `slice_remove` and `slice_insert` in the AST fuzzer (noir-lang/noir#9786)
chore: no need to use `get_max_num_bits` if lhs is a constant (noir-lang/noir#9812)
chore(ci): fix release workflow permissions (noir-lang/noir#9822)
fix: do not simplify constraints with induction variable (noir-lang/noir#9806)
fix(ssa): Do not hoist unsafe `array_get` in Brillig (noir-lang/noir#9805)
fix(ownership): consider ident in nested l-value as used (noir-lang/noir#9793)
fix(mem2reg): handle instruction simplified to multiple (noir-lang/noir#9782)
fix: proper error when dividing by minus 1 (noir-lang/noir#9762)
chore: tests for field in stdlib (noir-lang/noir#9677)
chore(ssa_fuzzer): separate fuzzer runtimes + add brillig fuzz target (noir-lang/noir#9753)
feat(ownership): Do not clone indexed call results containing arrays (noir-lang/noir#9791)
Revert "chore: move `ram_blowup_regression` to be a compile-only test" (noir-lang/noir#9801)
feat: reverse loop condition in brillig to avoid NOT instruction (noir-lang/noir#9779)
chore: move `ram_blowup_regression` to be a compile-only test (noir-lang/noir#9790)
fix(docs): moves docs to correct path for sharing domain with landing (noir-lang/noir#9687)
chore: Check an inline always weight threshold during inline info computation (noir-lang/noir#9487)
chore: remove snapshots from `test_programs` artifacts (noir-lang/noir#9788)
chore: bump `@web/dev-server-esbuild` and `playwright` (noir-lang/noir#9781)
fix(ssa): Replace failing array access with constraint and defaults (noir-lang/noir#9776)
chore(die): Module doc comments (noir-lang/noir#9768)
chore: encapsulate constant folding logic better (noir-lang/noir#9773)
chore(ci): publish attestations on uploaded binaries (noir-lang/noir#9777)
feat: remove useless jump when branching in brillig (noir-lang/noir#9778)
chore: add `LoopContext::new` (noir-lang/noir#9720)
feat(ownership): Do not clone nested Index expressions (noir-lang/noir#9772)
chore(ci): add permissions to CI workflows (noir-lang/noir#9763)
fix(ssa): Accurate purities of ArraySet and RC instructions in Brillig (noir-lang/noir#9736)
chore: add test for when pending snapshots are committed (noir-lang/noir#9757)
chore(docs): Copy latest getting started guide into versioned docs (noir-lang/noir#9755)
chore: migrate away from fxhash to address advisory (noir-lang/noir#9752)
fix(fuzz): Install `just` in nightly fuzz workflow (noir-lang/noir#9756)
fix: wrong error message in brillig bit shift overflow (noir-lang/noir#9702)
chore: bump dependencies (noir-lang/noir#9751)
fix: left bit shift u128 would overflow Field (noir-lang/noir#9723)
Revert "chore: migrate away from fxhash to address advisory (noir-lang/noir#9750)"
chore: migrate away from fxhash to address advisory (noir-lang/noir#9750)
chore: bump external pinned commits (noir-lang/noir#9748)
chore(inlining): Skip weight calc for ACIR functions and recursive Brillig functions (noir-lang/noir#9739)
chore(ssa): Consolidate should inline check into a single filter (noir-lang/noir#9738)
feat: re-enable early mem2reg pass (noir-lang/noir#9744)
fix(ssa): Mark whether an ArrayGet requires a predicate based upon the runtime (noir-lang/noir#9712)
chore(licm): Identify untested code; refactoring; minor fixes (noir-lang/noir#9718)
chore(docs): Update Aztec logo in noir docs (noir-lang/noir#9740)
chore(ssa_fuzzer): refactor ssa fuzzer (noir-lang/noir#9651)
fix: error on boolean shift overflow in interpreter (noir-lang/noir#9724)
chore: do not inline acir calls in brillig (noir-lang/noir#9412)
chore: remove empty main from frontend tests (noir-lang/noir#9726)
chore: add tests for slice (noir-lang/noir#9650)
chore: greenlight `make_constrain_not_equal` for audits (noir-lang/noir#9535)
chore: Release Noir(1.0.0-beta.12) (noir-lang/noir#9565)
chore(test): Filter `ram_blowup_regression` by default on local testing (noir-lang/noir#9721)
chore(ci): force cargo-binstall to install tools in CI (noir-lang/noir#9722)
fix(ssa): Simplify instructions during `remove_unreachable_instructions` (noir-lang/noir#9709)
END_COMMIT_OVERRIDE
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Sep 26, 2025
@AztecBot
chore: Bump Noir reference (#17203)
d59a8c8 
Automated pull of nightly from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: print ACIR AssertZero as an equation
(noir-lang/noir#9970)
chore(acir): Switch to inline SSA for slice intrinsics tests
(noir-lang/noir#10000)
fix(fuzz): Handle divisor of zero msg in error comparison
(noir-lang/noir#9995)
fix(ssa): Handle OOB indexing of slice literals in
`remove_unreachalbe_instructions`
(noir-lang/noir#9999)
chore: Add `DataFlowGraph::instruction_result` for getting a known
number of results (noir-lang/noir#9989)
chore(ast_fuzzer): Allow passing compilation options to cvise tool
(noir-lang/noir#9996)
chore(ssa_gen): Do not generate out of bounds checks for array
assignments in ACIR (noir-lang/noir#9992)
chore: add more to/from le/be bits/bytes edge case tests
(noir-lang/noir#9906)
fix: Disable early mem2reg (noir-lang/noir#9987)
chore(ci): free up space on github runner
(noir-lang/noir#9994)
chore(ssa): Nits in `remove_bit_shift` and `remove_if_else`
(noir-lang/noir#9965)
chore(ssa_executor): add compilation example
(noir-lang/noir#9937)
chore(acir): More arrays refactors
(noir-lang/noir#9962)
chore(test): add panicking tests for 'defunctionalize'
(noir-lang/noir#8510)
chore: remove_if_else docs and refactors
(noir-lang/noir#9929)
chore(acir): Do not copy element type sizes array when initializing
(noir-lang/noir#9955)
fix: correct max_bit_size when left-shifting
(noir-lang/noir#9770)
chore: checked_to_unchecked enhancements from audit review
(noir-lang/noir#9958)
chore(ssa): Remove `offset` from `ArrayGet` and `ArraySet`
(noir-lang/noir#9956)
chore(acir): Add some unit tests for arrays and light refactors
(noir-lang/noir#9953)
chore: add regression test for #9852
(noir-lang/noir#9960)
chore(fuzz): Add error equivalency for bit-shift overflow in the SSA
interpreter (noir-lang/noir#9957)
feat(cli): Visualize the Control Flow Graph
(noir-lang/noir#9867)
chore: minor constant_folding refactors
(noir-lang/noir#9954)
chore!: several ACIR serialisation changes
(noir-lang/noir#8134)
chore(ci): only send slack notifications during the week
(noir-lang/noir#9946)
chore: assumes no load-store in array_set
(noir-lang/noir#9940)
chore(acir): Arrays module doc comments
(noir-lang/noir#9947)
fix: correctly handle unusual radices in `ToRadix` decompositions
(noir-lang/noir#9941)
fix(ssa): Start with checked operations in index calculations
(noir-lang/noir#9888)
feat: no need to use dummy slice values in remove_if_else
(noir-lang/noir#9928)
chore: bump external pinned commits
(noir-lang/noir#9938)
chore: redo typo PR by viktorking7
(noir-lang/noir#9939)
chore: Release Noir(1.0.0-beta.13)
(noir-lang/noir#9737)
chore(ssa): Validate array operands
(noir-lang/noir#9932)
chore(licm): Add `CanBeHoistedResult::WithRefCount`
(noir-lang/noir#9849)
chore(ci): alert in slack if fuzzer fails
(noir-lang/noir#9910)
fix(fmt): missing skip whitespace when formatting match
(noir-lang/noir#9905)
chore(acir_gen): New shared_context module and some additional unit
tests (noir-lang/noir#9895)
chore: bump external pinned commits
(noir-lang/noir#9902)
chore: validate SSA intrinsics arguments and return types
(noir-lang/noir#9892)
chore(die): small nit to remove a check which is not useful
(noir-lang/noir#9898)
chore: implement Display for brillig
(noir-lang/noir#9893)
chore(acir_gen): Call module
(noir-lang/noir#9896)
feat: allow initializing dynamic arrays
(noir-lang/noir#9899)
fix(acir_gen): Handle flattening of numeric types when an `Array`
contains a `DynamicArray` (noir-lang/noir#9887)
fix(mem2reg): Do not attempt to analyze an instruction simplified to a
global (noir-lang/noir#9882)
fix: error on returning slice from main
(noir-lang/noir#9636)
fix(acir_gen): Fix entry point indices
(noir-lang/noir#9881)
chore: move `ram_blowup_regression` to be a compile-only test
(noir-lang/noir#9874)
chore: validate SSA call arguments
(noir-lang/noir#9876)
fix(ssa): Simplify always-fail range constraint
(noir-lang/noir#9885)
chore(fuzz): Refactor logging in the AST fuzzer
(noir-lang/noir#9884)
chore(ssa_fuzzer): refactor brillig target
(noir-lang/noir#9821)
fix(fuzz): Always introduce a local binding before match
(noir-lang/noir#9883)
chore(acir_gen): Switching existing ACIR gen tests to use parser and
cleanup test module (noir-lang/noir#9878)
chore(acir_gen): Remove Brillig execution with constant arguments
(noir-lang/noir#9879)
fix: disallow `_` in where clauses, and disallow unused trait impl
generics (noir-lang/noir#9871)
chore: bump external pinned commits
(noir-lang/noir#9875)
feat: LSP lightweight mode (noir-lang/noir#9869)
chore: use `w` prefix for ACIR witnesses
(noir-lang/noir#9839)
chore: greenlight remove enable side effects
(noir-lang/noir#9833)
fix(fuzz): Avoid OOB when `in_no_dynamic` mode
(noir-lang/noir#9858)
chore(ssa): Run purity analysis before preprocessing of functions
(noir-lang/noir#9837)
fix: check for signed division overflow
(noir-lang/noir#9857)
chore: Add tests from post-order PR
(noir-lang/noir#9846)
chore(acir): Parse full program (foldable functions)
(noir-lang/noir#9859)
chore: greenlight remove_bit_shifts (revised)
(noir-lang/noir#9813)
feat(die): Prune unused entry block parameters for non-entry points
(noir-lang/noir#9843)
chore: greenlight check_u128_mul_overflow
(noir-lang/noir#9759)
chore: greenlight `remove_unreachable_instructions` for new requirements
(noir-lang/noir#9810)
chore: use enum for instruction deduplication safety
(noir-lang/noir#9824)
feat(LSP): signature help for macro attributes
(noir-lang/noir#9536)
feat(LSP): folding ranges (noir-lang/noir#9854)
chore(die): IncrementRc/DecrementRc comments
(noir-lang/noir#9855)
chore(ownership): Add tests for cloning nested arrays returned from
indexing (noir-lang/noir#9789)
chore: validate that all jmpif conditions are boolean
(noir-lang/noir#9850)
chore: bump external pinned commits
(noir-lang/noir#9848)
chore(opt): Fetch set of Brillig entry points without reachability and
recursive functions computation
(noir-lang/noir#9844)
chore: tests for map in stdlib
(noir-lang/noir#9676)
chore(ssa): Brillig entry point specialization post check
(noir-lang/noir#9845)
chore: delete some unused snapshots
(noir-lang/noir#9841)
feat(ssa): SSA CLI (noir-lang/noir#9826)
chore: more ACIR parser usages in tests, and optimize general
optimizations (noir-lang/noir#9836)
chore(die): Remove RC tracker
(noir-lang/noir#9809)
feat: better check_u128_mul_overflow logic when an operand is constant
(noir-lang/noir#9835)
chore: increase number of cases tried in PR fuzzing
(noir-lang/noir#9829)
chore: remove variable flag from poseidon2 hash
(noir-lang/noir#9834)
chore: enforce that we only visit blocks once with new deque type
(noir-lang/noir#9825)
chore(test): add tests for unconstrained `main` recursion
(noir-lang/noir#8551)
chore: adding tests to vec (noir-lang/noir#9715)
feat(fuzz): Allow index OOB with a small probability
(noir-lang/noir#9803)
chore(die): Encapsulate array access checks in separate module
(noir-lang/noir#9828)
chore: use the ACIR parser in redundant_ranges tests
(noir-lang/noir#9827)
chore: prefer `From` for infallible numeric casts
(noir-lang/noir#9802)
chore: add a regression test for #4663
(noir-lang/noir#9819)
chore: bump linked bb version
(noir-lang/noir#9237)
chore: use `DataFlowGraph` over `Function` in constant_folding
(noir-lang/noir#9811)
chore: add a regression test for #6285
(noir-lang/noir#9817)
feat(fuzz): Generate calls to `slice_remove` and `slice_insert` in the
AST fuzzer (noir-lang/noir#9786)
chore: no need to use `get_max_num_bits` if lhs is a constant
(noir-lang/noir#9812)
chore(ci): fix release workflow permissions
(noir-lang/noir#9822)
fix: do not simplify constraints with induction variable
(noir-lang/noir#9806)
fix(ssa): Do not hoist unsafe `array_get` in Brillig
(noir-lang/noir#9805)
fix(ownership): consider ident in nested l-value as used
(noir-lang/noir#9793)
fix(mem2reg): handle instruction simplified to multiple
(noir-lang/noir#9782)
fix: proper error when dividing by minus 1
(noir-lang/noir#9762)
chore: tests for field in stdlib
(noir-lang/noir#9677)
chore(ssa_fuzzer): separate fuzzer runtimes + add brillig fuzz target
(noir-lang/noir#9753)
feat(ownership): Do not clone indexed call results containing arrays
(noir-lang/noir#9791)
Revert "chore: move `ram_blowup_regression` to be a compile-only test"
(noir-lang/noir#9801)
feat: reverse loop condition in brillig to avoid NOT instruction
(noir-lang/noir#9779)
chore: move `ram_blowup_regression` to be a compile-only test
(noir-lang/noir#9790)
fix(docs): moves docs to correct path for sharing domain with landing
(noir-lang/noir#9687)
chore: Check an inline always weight threshold during inline info
computation (noir-lang/noir#9487)
chore: remove snapshots from `test_programs` artifacts
(noir-lang/noir#9788)
chore: bump `@web/dev-server-esbuild` and `playwright`
(noir-lang/noir#9781)
fix(ssa): Replace failing array access with constraint and defaults
(noir-lang/noir#9776)
chore(die): Module doc comments
(noir-lang/noir#9768)
chore: encapsulate constant folding logic better
(noir-lang/noir#9773)
chore(ci): publish attestations on uploaded binaries
(noir-lang/noir#9777)
feat: remove useless jump when branching in brillig
(noir-lang/noir#9778)
chore: add `LoopContext::new`
(noir-lang/noir#9720)
feat(ownership): Do not clone nested Index expressions
(noir-lang/noir#9772)
chore(ci): add permissions to CI workflows
(noir-lang/noir#9763)
fix(ssa): Accurate purities of ArraySet and RC instructions in Brillig
(noir-lang/noir#9736)
chore: add test for when pending snapshots are committed
(noir-lang/noir#9757)
chore(docs): Copy latest getting started guide into versioned docs
(noir-lang/noir#9755)
chore: migrate away from fxhash to address advisory
(noir-lang/noir#9752)
fix(fuzz): Install `just` in nightly fuzz workflow
(noir-lang/noir#9756)
fix: wrong error message in brillig bit shift overflow
(noir-lang/noir#9702)
chore: bump dependencies (noir-lang/noir#9751)
fix: left bit shift u128 would overflow Field
(noir-lang/noir#9723)
Revert "chore: migrate away from fxhash to address advisory
(noir-lang/noir#9750)"
chore: migrate away from fxhash to address advisory
(noir-lang/noir#9750)
chore: bump external pinned commits
(noir-lang/noir#9748)
chore(inlining): Skip weight calc for ACIR functions and recursive
Brillig functions (noir-lang/noir#9739)
chore(ssa): Consolidate should inline check into a single filter
(noir-lang/noir#9738)
feat: re-enable early mem2reg pass
(noir-lang/noir#9744)
fix(ssa): Mark whether an ArrayGet requires a predicate based upon the
runtime (noir-lang/noir#9712)
chore(licm): Identify untested code; refactoring; minor fixes
(noir-lang/noir#9718)
chore(docs): Update Aztec logo in noir docs
(noir-lang/noir#9740)
chore(ssa_fuzzer): refactor ssa fuzzer
(noir-lang/noir#9651)
fix: error on boolean shift overflow in interpreter
(noir-lang/noir#9724)
chore: do not inline acir calls in brillig
(noir-lang/noir#9412)
chore: remove empty main from frontend tests
(noir-lang/noir#9726)
chore: add tests for slice (noir-lang/noir#9650)
chore: greenlight `make_constrain_not_equal` for audits
(noir-lang/noir#9535)
chore: Release Noir(1.0.0-beta.12)
(noir-lang/noir#9565)
chore(test): Filter `ram_blowup_regression` by default on local testing
(noir-lang/noir#9721)
chore(ci): force cargo-binstall to install tools in CI
(noir-lang/noir#9722)
fix(ssa): Simplify instructions during `remove_unreachable_instructions`
(noir-lang/noir#9709)
END_COMMIT_OVERRIDE
mralj pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Oct 13, 2025
@AztecBot @mralj
chore: Bump Noir reference
0d47dcb 
Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: print ACIR AssertZero as an equation (noir-lang/noir#9970)
chore(acir): Switch to inline SSA for slice intrinsics tests (noir-lang/noir#10000)
fix(fuzz): Handle divisor of zero msg in error comparison (noir-lang/noir#9995)
fix(ssa): Handle OOB indexing of slice literals in `remove_unreachalbe_instructions` (noir-lang/noir#9999)
chore: Add `DataFlowGraph::instruction_result` for getting a known number of results (noir-lang/noir#9989)
chore(ast_fuzzer): Allow passing compilation options to cvise tool (noir-lang/noir#9996)
chore(ssa_gen): Do not generate out of bounds checks for array assignments in ACIR (noir-lang/noir#9992)
chore: add more to/from le/be bits/bytes edge case tests (noir-lang/noir#9906)
fix: Disable early mem2reg (noir-lang/noir#9987)
chore(ci): free up space on github runner (noir-lang/noir#9994)
chore(ssa): Nits in `remove_bit_shift` and `remove_if_else` (noir-lang/noir#9965)
chore(ssa_executor): add compilation example  (noir-lang/noir#9937)
chore(acir): More arrays refactors  (noir-lang/noir#9962)
chore(test): add panicking tests for 'defunctionalize' (noir-lang/noir#8510)
chore: remove_if_else docs and refactors (noir-lang/noir#9929)
chore(acir): Do not copy element type sizes array when initializing (noir-lang/noir#9955)
fix: correct max_bit_size when left-shifting (noir-lang/noir#9770)
chore: checked_to_unchecked enhancements from audit review (noir-lang/noir#9958)
chore(ssa): Remove `offset` from `ArrayGet` and `ArraySet` (noir-lang/noir#9956)
chore(acir): Add some unit tests for arrays and light refactors (noir-lang/noir#9953)
chore: add regression test for #9852 (noir-lang/noir#9960)
chore(fuzz): Add error equivalency for bit-shift overflow in the SSA interpreter (noir-lang/noir#9957)
feat(cli): Visualize the Control Flow Graph (noir-lang/noir#9867)
chore: minor constant_folding refactors (noir-lang/noir#9954)
chore!: several ACIR serialisation changes (noir-lang/noir#8134)
chore(ci): only send slack notifications during the week (noir-lang/noir#9946)
chore: assumes no load-store in array_set (noir-lang/noir#9940)
chore(acir): Arrays module doc comments (noir-lang/noir#9947)
fix: correctly handle unusual radices in `ToRadix` decompositions (noir-lang/noir#9941)
fix(ssa): Start with checked operations in index calculations (noir-lang/noir#9888)
feat: no need to use dummy slice values in remove_if_else (noir-lang/noir#9928)
chore: bump external pinned commits (noir-lang/noir#9938)
chore: redo typo PR by viktorking7 (noir-lang/noir#9939)
chore: Release Noir(1.0.0-beta.13) (noir-lang/noir#9737)
chore(ssa): Validate array operands (noir-lang/noir#9932)
chore(licm): Add `CanBeHoistedResult::WithRefCount` (noir-lang/noir#9849)
chore(ci): alert in slack if fuzzer fails (noir-lang/noir#9910)
fix(fmt): missing skip whitespace when formatting match (noir-lang/noir#9905)
chore(acir_gen): New shared_context module and some additional unit tests (noir-lang/noir#9895)
chore: bump external pinned commits (noir-lang/noir#9902)
chore: validate SSA intrinsics arguments and return types (noir-lang/noir#9892)
chore(die): small nit to remove a check which is not useful (noir-lang/noir#9898)
chore: implement Display for brillig (noir-lang/noir#9893)
chore(acir_gen): Call module (noir-lang/noir#9896)
feat: allow initializing dynamic arrays (noir-lang/noir#9899)
fix(acir_gen): Handle flattening of numeric types when an `Array` contains a `DynamicArray` (noir-lang/noir#9887)
fix(mem2reg): Do not attempt to analyze an instruction simplified to a global (noir-lang/noir#9882)
fix: error on returning slice from main (noir-lang/noir#9636)
fix(acir_gen): Fix entry point indices (noir-lang/noir#9881)
chore: move `ram_blowup_regression` to be a compile-only test (noir-lang/noir#9874)
chore: validate SSA call arguments (noir-lang/noir#9876)
fix(ssa): Simplify always-fail range constraint (noir-lang/noir#9885)
chore(fuzz): Refactor logging in the AST fuzzer (noir-lang/noir#9884)
chore(ssa_fuzzer): refactor brillig target (noir-lang/noir#9821)
fix(fuzz): Always introduce a local binding before match (noir-lang/noir#9883)
chore(acir_gen): Switching existing ACIR gen tests to use parser and cleanup test module (noir-lang/noir#9878)
chore(acir_gen): Remove Brillig execution with constant arguments  (noir-lang/noir#9879)
fix: disallow `_` in where clauses, and disallow unused trait impl generics (noir-lang/noir#9871)
chore: bump external pinned commits (noir-lang/noir#9875)
feat: LSP lightweight mode (noir-lang/noir#9869)
chore: use `w` prefix for ACIR witnesses (noir-lang/noir#9839)
chore: greenlight remove enable side effects (noir-lang/noir#9833)
fix(fuzz): Avoid OOB when `in_no_dynamic` mode (noir-lang/noir#9858)
chore(ssa): Run purity analysis before preprocessing of functions (noir-lang/noir#9837)
fix: check for signed division overflow (noir-lang/noir#9857)
chore: Add tests from post-order PR (noir-lang/noir#9846)
chore(acir): Parse full program (foldable functions) (noir-lang/noir#9859)
chore: greenlight remove_bit_shifts (revised) (noir-lang/noir#9813)
feat(die): Prune unused entry block parameters for non-entry points (noir-lang/noir#9843)
chore: greenlight check_u128_mul_overflow (noir-lang/noir#9759)
chore: greenlight `remove_unreachable_instructions` for new requirements (noir-lang/noir#9810)
chore: use enum for instruction deduplication safety (noir-lang/noir#9824)
feat(LSP): signature help for macro attributes (noir-lang/noir#9536)
feat(LSP): folding ranges (noir-lang/noir#9854)
chore(die): IncrementRc/DecrementRc comments (noir-lang/noir#9855)
chore(ownership): Add tests for cloning nested arrays returned from indexing (noir-lang/noir#9789)
chore: validate that all jmpif conditions are boolean (noir-lang/noir#9850)
chore: bump external pinned commits (noir-lang/noir#9848)
chore(opt): Fetch set of Brillig entry points without reachability and recursive functions computation  (noir-lang/noir#9844)
chore: tests for map in stdlib (noir-lang/noir#9676)
chore(ssa): Brillig entry point specialization post check  (noir-lang/noir#9845)
chore: delete some unused snapshots (noir-lang/noir#9841)
feat(ssa): SSA CLI (noir-lang/noir#9826)
chore: more ACIR parser usages in tests, and optimize general optimizations (noir-lang/noir#9836)
chore(die): Remove RC tracker (noir-lang/noir#9809)
feat: better check_u128_mul_overflow logic when an operand is constant (noir-lang/noir#9835)
chore: increase number of cases tried in PR fuzzing (noir-lang/noir#9829)
chore: remove variable flag from poseidon2 hash (noir-lang/noir#9834)
chore: enforce that we only visit blocks once with new deque type (noir-lang/noir#9825)
chore(test): add tests for unconstrained `main` recursion (noir-lang/noir#8551)
chore: adding tests to vec (noir-lang/noir#9715)
feat(fuzz): Allow index OOB with a small probability (noir-lang/noir#9803)
chore(die): Encapsulate array access checks in separate module (noir-lang/noir#9828)
chore: use the ACIR parser in redundant_ranges tests (noir-lang/noir#9827)
chore: prefer `From` for infallible numeric casts (noir-lang/noir#9802)
chore: add a regression test for #4663 (noir-lang/noir#9819)
chore: bump linked bb version (noir-lang/noir#9237)
chore: use `DataFlowGraph` over `Function` in constant_folding (noir-lang/noir#9811)
chore: add a regression test for #6285 (noir-lang/noir#9817)
feat(fuzz): Generate calls to `slice_remove` and `slice_insert` in the AST fuzzer (noir-lang/noir#9786)
chore: no need to use `get_max_num_bits` if lhs is a constant (noir-lang/noir#9812)
chore(ci): fix release workflow permissions (noir-lang/noir#9822)
fix: do not simplify constraints with induction variable (noir-lang/noir#9806)
fix(ssa): Do not hoist unsafe `array_get` in Brillig (noir-lang/noir#9805)
fix(ownership): consider ident in nested l-value as used (noir-lang/noir#9793)
fix(mem2reg): handle instruction simplified to multiple (noir-lang/noir#9782)
fix: proper error when dividing by minus 1 (noir-lang/noir#9762)
chore: tests for field in stdlib (noir-lang/noir#9677)
chore(ssa_fuzzer): separate fuzzer runtimes + add brillig fuzz target (noir-lang/noir#9753)
feat(ownership): Do not clone indexed call results containing arrays (noir-lang/noir#9791)
Revert "chore: move `ram_blowup_regression` to be a compile-only test" (noir-lang/noir#9801)
feat: reverse loop condition in brillig to avoid NOT instruction (noir-lang/noir#9779)
chore: move `ram_blowup_regression` to be a compile-only test (noir-lang/noir#9790)
fix(docs): moves docs to correct path for sharing domain with landing (noir-lang/noir#9687)
chore: Check an inline always weight threshold during inline info computation (noir-lang/noir#9487)
chore: remove snapshots from `test_programs` artifacts (noir-lang/noir#9788)
chore: bump `@web/dev-server-esbuild` and `playwright` (noir-lang/noir#9781)
fix(ssa): Replace failing array access with constraint and defaults (noir-lang/noir#9776)
chore(die): Module doc comments (noir-lang/noir#9768)
chore: encapsulate constant folding logic better (noir-lang/noir#9773)
chore(ci): publish attestations on uploaded binaries (noir-lang/noir#9777)
feat: remove useless jump when branching in brillig (noir-lang/noir#9778)
chore: add `LoopContext::new` (noir-lang/noir#9720)
feat(ownership): Do not clone nested Index expressions (noir-lang/noir#9772)
chore(ci): add permissions to CI workflows (noir-lang/noir#9763)
fix(ssa): Accurate purities of ArraySet and RC instructions in Brillig (noir-lang/noir#9736)
chore: add test for when pending snapshots are committed (noir-lang/noir#9757)
chore(docs): Copy latest getting started guide into versioned docs (noir-lang/noir#9755)
chore: migrate away from fxhash to address advisory (noir-lang/noir#9752)
fix(fuzz): Install `just` in nightly fuzz workflow (noir-lang/noir#9756)
fix: wrong error message in brillig bit shift overflow (noir-lang/noir#9702)
chore: bump dependencies (noir-lang/noir#9751)
fix: left bit shift u128 would overflow Field (noir-lang/noir#9723)
Revert "chore: migrate away from fxhash to address advisory (noir-lang/noir#9750)"
chore: migrate away from fxhash to address advisory (noir-lang/noir#9750)
chore: bump external pinned commits (noir-lang/noir#9748)
chore(inlining): Skip weight calc for ACIR functions and recursive Brillig functions (noir-lang/noir#9739)
chore(ssa): Consolidate should inline check into a single filter (noir-lang/noir#9738)
feat: re-enable early mem2reg pass (noir-lang/noir#9744)
fix(ssa): Mark whether an ArrayGet requires a predicate based upon the runtime (noir-lang/noir#9712)
chore(licm): Identify untested code; refactoring; minor fixes (noir-lang/noir#9718)
chore(docs): Update Aztec logo in noir docs (noir-lang/noir#9740)
chore(ssa_fuzzer): refactor ssa fuzzer (noir-lang/noir#9651)
fix: error on boolean shift overflow in interpreter (noir-lang/noir#9724)
chore: do not inline acir calls in brillig (noir-lang/noir#9412)
chore: remove empty main from frontend tests (noir-lang/noir#9726)
chore: add tests for slice (noir-lang/noir#9650)
chore: greenlight `make_constrain_not_equal` for audits (noir-lang/noir#9535)
chore: Release Noir(1.0.0-beta.12) (noir-lang/noir#9565)
chore(test): Filter `ram_blowup_regression` by default on local testing (noir-lang/noir#9721)
chore(ci): force cargo-binstall to install tools in CI (noir-lang/noir#9722)
fix(ssa): Simplify instructions during `remove_unreachable_instructions` (noir-lang/noir#9709)
END_COMMIT_OVERRIDE
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@github-actions github-actions[bot] github-actions[bot] left review comments

@jfecher jfecher jfecher approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@TomAFrench @jfecher