Skip to content

chore: bump version of bb used in tests#10093

Merged
TomAFrench merged 2 commits intomasterfrom
tf/bump-bb
Oct 7, 2025
Merged

chore: bump version of bb used in tests#10093
TomAFrench merged 2 commits intomasterfrom
tf/bump-bb

Conversation

@TomAFrench
Copy link
Member

Description

Problem*

Resolves

Summary*

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.

@socket-security
Copy link

socket-security bot commented Oct 7, 2025

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff Package Supply Chain
Security
Vulnerability Quality Maintenance License
Updated@​aztec/​bb.js@​v3.0.0-nightly.20250916 ⏵ v3.0.0-nightly.2025100795 +2100100100100

View full report

@TomAFrench TomAFrench requested a review from guipublic October 7, 2025 10:22
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 'Execution Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 407fda1 Previous: 6504de0 Ratio
rollup-block-root-single-tx 0.004 s 0.003 s 1.33

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

CC: @TomAFrench

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 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 407fda1 Previous: 6504de0 Ratio
test_report_AztecProtocol_aztec-packages_noir-projects_noir-protocol-circuits_crates_blob 319 s 257 s 1.24
test_report_zkpassport_noir_rsa_ 2 s 1 s 2

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

CC: @TomAFrench

@github-actions
Copy link
Contributor

github-actions bot commented Oct 7, 2025

Changes to circuit sizes

Generated at commit: b1a1c2641b680f57bd18adcd95e33575221171d8, compared to commit: 6504de0af0b949d1934e141b4a48af2503ae42d7

🧾 Summary (10% most significant diffs)

Program ACIR opcodes (+/-) % Circuit size (+/-) %
array_dedup_regression 0 ➖ 0.00% +36 ❌ +200.00%
array_rc_regression_7842 0 ➖ 0.00% +36 ❌ +200.00%
array_to_slice_constant_length 0 ➖ 0.00% +36 ❌ +200.00%
break_and_continue 0 ➖ 0.00% +36 ❌ +200.00%
brillig_arrays 0 ➖ 0.00% +36 ❌ +200.00%
brillig_constant_reference_regression 0 ➖ 0.00% +36 ❌ +200.00%
brillig_cow 0 ➖ 0.00% +36 ❌ +200.00%
brillig_cow_assign 0 ➖ 0.00% +36 ❌ +200.00%
brillig_pedersen 0 ➖ 0.00% +36 ❌ +200.00%
brillig_rc_regression_6123 0 ➖ 0.00% +36 ❌ +200.00%
comptime_println 0 ➖ 0.00% +36 ❌ +200.00%
comptime_variable_at_runtime 0 ➖ 0.00% +36 ❌ +200.00%
derive 0 ➖ 0.00% +36 ❌ +200.00%
dual_constrained_lambdas 0 ➖ +∞% +36 ❌ +200.00%
fmtstr_with_global 0 ➖ 0.00% +36 ❌ +200.00%
last_uses_regression_8935 0 ➖ 0.00% +36 ❌ +200.00%
loop_break_regression_8319 0 ➖ 0.00% +36 ❌ +200.00%
loop_small_break 0 ➖ 0.00% +36 ❌ +200.00%
mutate_array_copy 0 ➖ 0.00% +36 ❌ +200.00%
negative_associated_constants 0 ➖ 0.00% +36 ❌ +200.00%
nested_fmtstr 0 ➖ 0.00% +36 ❌ +200.00%
prelude 0 ➖ 0.00% +36 ❌ +200.00%
reference_cancelling 0 ➖ 0.00% +36 ❌ +200.00%
reference_counts_inliner_0 0 ➖ 0.00% +36 ❌ +200.00%
reference_counts_inliner_max 0 ➖ 0.00% +36 ❌ +200.00%
reference_counts_inliner_min 0 ➖ 0.00% +36 ❌ +200.00%
reference_counts_slices_inliner_0 0 ➖ 0.00% +36 ❌ +200.00%
regression_3051 0 ➖ 0.00% +36 ❌ +200.00%
regression_3394 0 ➖ 0.00% +36 ❌ +200.00%
regression_4663 0 ➖ 0.00% +36 ❌ +200.00%
regression_5615 0 ➖ 0.00% +36 ❌ +200.00%
regression_6674_1 0 ➖ 0.00% +36 ❌ +200.00%
regression_6674_2 0 ➖ 0.00% +36 ❌ +200.00%
regression_6674_3 0 ➖ 0.00% +36 ❌ +200.00%
regression_6734 0 ➖ 0.00% +36 ❌ +200.00%
regression_8739 0 ➖ +∞% +36 ❌ +200.00%
regression_9116 0 ➖ +∞% +36 ❌ +200.00%
regression_9243 0 ➖ +∞% +36 ❌ +200.00%
regression_9415 0 ➖ 0.00% +36 ❌ +200.00%
regression_9439 0 ➖ 0.00% +36 ❌ +200.00%
regression_9455 0 ➖ 0.00% +36 ❌ +200.00%
regression_9578 0 ➖ 0.00% +36 ❌ +200.00%
regression_9657 0 ➖ 0.00% +36 ❌ +200.00%
regression_9725_1 0 ➖ 0.00% +36 ❌ +200.00%
regression_9725_2 0 ➖ +∞% +36 ❌ +200.00%
regression_method_cannot_be_found 0 ➖ 0.00% +36 ❌ +200.00%
regression_unused_nested_array_get 0 ➖ +∞% +36 ❌ +200.00%
signed_bitshift 0 ➖ +∞% +36 ❌ +200.00%
slice_regex 0 ➖ 0.00% +36 ❌ +200.00%
static_assert_empty_loop 0 ➖ 0.00% +36 ❌ +200.00%
struct_assignment_with_shared_ref_to_field 0 ➖ +∞% +36 ❌ +200.00%
trait_associated_constant 0 ➖ +∞% +36 ❌ +200.00%
uhashmap 0 ➖ 0.00% +36 ❌ +200.00%

Full diff report 👇
Program ACIR opcodes (+/-) % Circuit size (+/-) %
array_dedup_regression 1 (0) 0.00% 54 (+36) +200.00%
array_rc_regression_7842 1 (0) 0.00% 54 (+36) +200.00%
array_to_slice_constant_length 1 (0) 0.00% 54 (+36) +200.00%
break_and_continue 1 (0) 0.00% 54 (+36) +200.00%
brillig_arrays 2 (0) 0.00% 54 (+36) +200.00%
brillig_constant_reference_regression 1 (0) 0.00% 54 (+36) +200.00%
brillig_cow 1 (0) 0.00% 54 (+36) +200.00%
brillig_cow_assign 1 (0) 0.00% 54 (+36) +200.00%
brillig_pedersen 1 (0) 0.00% 54 (+36) +200.00%
brillig_rc_regression_6123 1 (0) 0.00% 54 (+36) +200.00%
comptime_println 1 (0) 0.00% 54 (+36) +200.00%
comptime_variable_at_runtime 2 (0) 0.00% 54 (+36) +200.00%
derive 1 (0) 0.00% 54 (+36) +200.00%
dual_constrained_lambdas 0 (0) +∞% 54 (+36) +200.00%
fmtstr_with_global 1 (0) 0.00% 54 (+36) +200.00%
last_uses_regression_8935 1 (0) 0.00% 54 (+36) +200.00%
loop_break_regression_8319 1 (0) 0.00% 54 (+36) +200.00%
loop_small_break 1 (0) 0.00% 54 (+36) +200.00%
mutate_array_copy 1 (0) 0.00% 54 (+36) +200.00%
negative_associated_constants 2 (0) 0.00% 54 (+36) +200.00%
nested_fmtstr 4 (0) 0.00% 54 (+36) +200.00%
prelude 2 (0) 0.00% 54 (+36) +200.00%
reference_cancelling 2 (0) 0.00% 54 (+36) +200.00%
reference_counts_inliner_0 10 (0) 0.00% 54 (+36) +200.00%
reference_counts_inliner_max 10 (0) 0.00% 54 (+36) +200.00%
reference_counts_inliner_min 10 (0) 0.00% 54 (+36) +200.00%
reference_counts_slices_inliner_0 10 (0) 0.00% 54 (+36) +200.00%
regression_3051 2 (0) 0.00% 54 (+36) +200.00%
regression_3394 1 (0) 0.00% 54 (+36) +200.00%
regression_4663 1 (0) 0.00% 54 (+36) +200.00%
regression_5615 1 (0) 0.00% 54 (+36) +200.00%
regression_6674_1 1 (0) 0.00% 54 (+36) +200.00%
regression_6674_2 1 (0) 0.00% 54 (+36) +200.00%
regression_6674_3 1 (0) 0.00% 54 (+36) +200.00%
regression_6734 1 (0) 0.00% 54 (+36) +200.00%
regression_8739 0 (0) +∞% 54 (+36) +200.00%
regression_9116 0 (0) +∞% 54 (+36) +200.00%
regression_9243 0 (0) +∞% 54 (+36) +200.00%
regression_9415 1 (0) 0.00% 54 (+36) +200.00%
regression_9439 1 (0) 0.00% 54 (+36) +200.00%
regression_9455 1 (0) 0.00% 54 (+36) +200.00%
regression_9578 1 (0) 0.00% 54 (+36) +200.00%
regression_9657 1 (0) 0.00% 54 (+36) +200.00%
regression_9725_1 1 (0) 0.00% 54 (+36) +200.00%
regression_9725_2 0 (0) +∞% 54 (+36) +200.00%
regression_method_cannot_be_found 1 (0) 0.00% 54 (+36) +200.00%
regression_unused_nested_array_get 0 (0) +∞% 54 (+36) +200.00%
signed_bitshift 0 (0) +∞% 54 (+36) +200.00%
slice_regex 9 (0) 0.00% 54 (+36) +200.00%
static_assert_empty_loop 1 (0) 0.00% 54 (+36) +200.00%
struct_assignment_with_shared_ref_to_field 0 (0) +∞% 54 (+36) +200.00%
trait_associated_constant 0 (0) +∞% 54 (+36) +200.00%
uhashmap 1 (0) 0.00% 54 (+36) +200.00%
array_with_refs_from_param 1 (0) 0.00% 55 (+36) +189.47%
assert 1 (0) 0.00% 55 (+36) +189.47%
bit_not 1 (0) 0.00% 55 (+36) +189.47%
bit_shifts_u128 1 (0) 0.00% 55 (+36) +189.47%
bool_not 1 (0) 0.00% 55 (+36) +189.47%
brillig_loop_size_regression 1 (0) 0.00% 55 (+36) +189.47%
brillig_recursive_main 1 (0) 0.00% 55 (+36) +189.47%
brillig_recursive_main_indirect 1 (0) 0.00% 55 (+36) +189.47%
closures_mut_ref 1 (0) 0.00% 55 (+36) +189.47%
custom_entry 1 (0) 0.00% 55 (+36) +189.47%
dont_deduplicate_call 1 (0) 0.00% 55 (+36) +189.47%
double_neg_cond_bool_input 1 (0) 0.00% 55 (+36) +189.47%
empty_strings_in_composite_arrays 1 (0) 0.00% 55 (+36) +189.47%
fold_basic 1 (0) 0.00% 55 (+36) +189.47%
fold_basic_nested_call 1 (0) 0.00% 55 (+36) +189.47%
generics 1 (0) 0.00% 55 (+36) +189.47%
global_slice_rc_regression_8259 3 (0) 0.00% 55 (+36) +189.47%
global_var_entry_point_used_in_another_entry 4 (0) 0.00% 55 (+36) +189.47%
global_var_func_with_multiple_entry_points 2 (0) 0.00% 55 (+36) +189.47%
global_var_multiple_entry_points_nested 2 (0) 0.00% 55 (+36) +189.47%
lambda_taking_lambda_regression_8543 1 (0) 0.00% 55 (+36) +189.47%
lambda_taking_lambda_with_variant 1 (0) 0.00% 55 (+36) +189.47%
loop 1 (0) 0.00% 55 (+36) +189.47%
missing_closure_env 1 (0) 0.00% 55 (+36) +189.47%
nested_array_with_refs_from_param 1 (0) 0.00% 55 (+36) +189.47%
nested_arrays_from_brillig 2 (0) 0.00% 55 (+36) +189.47%
no_predicates_brillig 1 (0) 0.00% 55 (+36) +189.47%
pred_eq 1 (0) 0.00% 55 (+36) +189.47%
references 1 (0) 0.00% 55 (+36) +189.47%
regression_4088 1 (0) 0.00% 55 (+36) +189.47%
regression_4124 1 (0) 0.00% 55 (+36) +189.47%
regression_5435 2 (0) 0.00% 55 (+36) +189.47%
regression_7451 1 (0) 0.00% 55 (+36) +189.47%
regression_8009 1 (0) 0.00% 55 (+36) +189.47%
regression_8011 1 (0) 0.00% 55 (+36) +189.47%
regression_8755 1 (0) 0.00% 55 (+36) +189.47%
regression_8980 1 (0) 0.00% 55 (+36) +189.47%
regression_9037 1 (0) 0.00% 55 (+36) +189.47%
regression_9119 1 (0) 0.00% 55 (+36) +189.47%
regression_9193 1 (0) 0.00% 55 (+36) +189.47%
regression_9758 1 (0) 0.00% 55 (+36) +189.47%
simple_print 2 (0) 0.00% 55 (+36) +189.47%
trait_impl_base_type 1 (0) 0.00% 55 (+36) +189.47%
a_1327_concrete_in_generic 1 (0) 0.00% 56 (+36) +180.00%
array_with_refs_return 1 (0) 0.00% 56 (+36) +180.00%
as_witness 1 (0) 0.00% 56 (+36) +180.00%
assert_statement 1 (0) 0.00% 56 (+36) +180.00%
assign_ex 2 (0) 0.00% 56 (+36) +180.00%
brillig_cow_regression 1 (0) 0.00% 56 (+36) +180.00%
brillig_entry_points_regression_8069 1 (0) 0.00% 56 (+36) +180.00%
conditional_regression_547 1 (0) 0.00% 56 (+36) +180.00%
double_neg_cond_global_var 1 (0) 0.00% 56 (+36) +180.00%
higher_order_functions 1 (0) 0.00% 56 (+36) +180.00%
inline_decompose_hint_brillig_call 1 (0) 0.00% 56 (+36) +180.00%
lambda_from_global_tuple 3 (0) 0.00% 56 (+36) +180.00%
modules_more 2 (0) 0.00% 56 (+36) +180.00%
nested_array_with_refs 1 (0) 0.00% 56 (+36) +180.00%
nested_array_with_refs_return 1 (0) 0.00% 56 (+36) +180.00%
overlapping_dep_and_mod 1 (0) 0.00% 56 (+36) +180.00%
regression_3889 1 (0) 0.00% 56 (+36) +180.00%
regression_6285 3 (0) 0.00% 56 (+36) +180.00%
regression_8761 1 (0) 0.00% 56 (+36) +180.00%
regression_8975 1 (0) 0.00% 56 (+36) +180.00%
regression_9303 1 (0) 0.00% 56 (+36) +180.00%
shl_signed_regression_9661 1 (0) 0.00% 56 (+36) +180.00%
simple_add_and_ret_arr 1 (0) 0.00% 56 (+36) +180.00%
simple_array_param 1 (0) 0.00% 56 (+36) +180.00%
simple_mut 1 (0) 0.00% 56 (+36) +180.00%
simple_program_addition 1 (0) 0.00% 56 (+36) +180.00%
slice_coercion 2 (0) 0.00% 56 (+36) +180.00%
slice_loop 1 (0) 0.00% 56 (+36) +180.00%
struct 2 (0) 0.00% 56 (+36) +180.00%
struct_array_inputs 1 (0) 0.00% 56 (+36) +180.00%
traits_in_crates_1 1 (0) 0.00% 56 (+36) +180.00%
traits_in_crates_2 1 (0) 0.00% 56 (+36) +180.00%
tuples 2 (0) 0.00% 56 (+36) +180.00%
type_aliases 3 (0) 0.00% 56 (+36) +180.00%
array_oob_regression_7975 2 (0) 0.00% 57 (+36) +171.43%
bool_or 3 (0) 0.00% 57 (+36) +171.43%
brillig_conditional 5 (0) 0.00% 57 (+36) +171.43%
debug_logs 39 (0) 0.00% 57 (+36) +171.43%
diamond_deps_0 1 (0) 0.00% 57 (+36) +171.43%
global_var_regression_entry_points 6 (0) 0.00% 57 (+36) +171.43%
import 4 (0) 0.00% 57 (+36) +171.43%
inline_never_basic 2 (0) 0.00% 57 (+36) +171.43%
main_return 1 (0) 0.00% 57 (+36) +171.43%
modules 2 (0) 0.00% 57 (+36) +171.43%
multi_scalar_mul 1 (0) 0.00% 57 (+36) +171.43%
negated_jmpif_condition 4 (0) 0.00% 57 (+36) +171.43%
no_predicates_basic 2 (0) 0.00% 57 (+36) +171.43%
regression_8235 2 (0) 0.00% 57 (+36) +171.43%
regression_8729 3 (0) 0.00% 57 (+36) +171.43%
regression_8779 2 (0) 0.00% 57 (+36) +171.43%
regression_8926 1 (0) 0.00% 57 (+36) +171.43%
regression_9160 3 (0) 0.00% 57 (+36) +171.43%
regression_9271 4 (0) 0.00% 57 (+36) +171.43%
regression_9538 1 (0) 0.00% 57 (+36) +171.43%
return_twice 2 (0) 0.00% 57 (+36) +171.43%
simple_not 2 (0) 0.00% 57 (+36) +171.43%
submodules 3 (0) 0.00% 57 (+36) +171.43%
while_loop_break_regression_8521 1 (0) 0.00% 57 (+36) +171.43%
cast_bool 5 (0) 0.00% 58 (+36) +163.64%
loop_invariant_nested_deep 4 (0) 0.00% 58 (+36) +163.64%
loop_invariant_regression_8586 4 (0) 0.00% 58 (+36) +163.64%
regression_4202 4 (0) 0.00% 58 (+36) +163.64%
regression_6451 6 (0) 0.00% 58 (+36) +163.64%
regression_7143 4 (0) 0.00% 58 (+36) +163.64%
regression_9047 2 (0) 0.00% 58 (+36) +163.64%
regression_9102 2 (0) 0.00% 58 (+36) +163.64%
simple_2d_array 4 (0) 0.00% 58 (+36) +163.64%
simple_radix 5 (0) 0.00% 58 (+36) +163.64%
struct_fields_ordering 2 (0) 0.00% 58 (+36) +163.64%
fold_call_witness_condition 4 (0) 0.00% 59 (+36) +156.52%
main_bool_arg 5 (0) 0.00% 59 (+36) +156.52%
regression_7195 9 (0) 0.00% 59 (+36) +156.52%
regression_8890 3 (0) 0.00% 59 (+36) +156.52%
regression_9467 3 (0) 0.00% 59 (+36) +156.52%
regression_9764 5 (0) 0.00% 59 (+36) +156.52%
witness_compression 3 (0) 0.00% 59 (+36) +156.52%
brillig_identity_function 9 (0) 0.00% 60 (+36) +150.00%
brillig_not 10 (0) 0.00% 60 (+36) +150.00%
regression_8174 1 (0) 0.00% 60 (+36) +150.00%
global_array_rc_regression_8259 4 (0) 0.00% 61 (+36) +144.00%
fold_numeric_generic_poseidon 8 (0) 0.00% 62 (+36) +138.46%
global_nested_array_regression_9270 4 (0) 0.00% 62 (+36) +138.46%
wildcard_type 4 (0) 0.00% 62 (+36) +138.46%
nested_if_then_block_same_cond 9 (0) 0.00% 65 (+36) +124.14%
regression_9888 11 (0) 0.00% 66 (+36) +120.00%
regression_8662 18 (0) 0.00% 70 (+36) +105.88%
function_ref 25 (0) 0.00% 79 (+36) +83.72%
strings 29 (0) 0.00% 82 (+36) +78.26%
array_eq 32 (0) 0.00% 86 (+36) +72.00%
regression_11294 1 (0) 0.00% 86 (+36) +72.00%
regression_8329 35 (0) 0.00% 88 (+36) +69.23%
to_bytes_consistent 33 (0) 0.00% 96 (+36) +60.00%
regression_7744 8 (0) 0.00% 100 (+36) +56.25%
shift_right_overflow 1 (0) 0.00% 102 (+36) +54.55%
cast_to_u128 6 (0) 0.00% 107 (+36) +50.70%
regression_8212 6 (0) 0.00% 107 (+36) +50.70%
regression_unsafe_no_predicates 10 (0) 0.00% 110 (+36) +48.65%
conditional_regression_underflow 16 (0) 0.00% 115 (+36) +45.57%
array_len 14 (0) 0.00% 119 (+36) +43.37%
bench_poseidon2_hash 4 (0) 0.00% 130 (+36) +38.30%
regression_9329 37 (0) 0.00% 133 (+36) +37.11%
nested_dyn_array_regression_5782 26 (0) 0.00% 136 (+36) +36.00%
regression_9971 35 (0) 0.00% 138 (+36) +35.29%
encrypted_log_regression 30 (0) 0.00% 150 (+36) +31.58%
array_sort 49 (0) 0.00% 162 (+36) +28.57%
signed_cmp 48 (0) 0.00% 173 (+36) +26.28%
array_dynamic_main_output 32 (0) 0.00% 179 (+36) +25.17%
slice_dynamic_insert 39 (0) 0.00% 179 (+36) +25.17%
array_neq 159 (0) 0.00% 181 (+36) +24.83%
unrolling_regression_8333 64 (0) 0.00% 182 (+36) +24.66%
to_be_bytes 67 (0) 0.00% 187 (+36) +23.84%
to_le_bytes 73 (0) 0.00% 187 (+36) +23.84%
global_consts 167 (0) 0.00% 192 (+36) +23.08%
brillig_blake2s 102 (0) 0.00% 219 (+36) +19.67%
signed_comparison 123 (0) 0.00% 237 (+36) +17.91%
modulus 286 (0) 0.00% 340 (+36) +11.84%
brillig_block_parameter_liveness 1 (0) 0.00% 454 (+36) +8.61%
signed_div 525 (0) 0.00% 592 (+36) +6.47%
bench_poseidon_hash 318 (0) 0.00% 983 (+36) +3.80%
to_bytes_integration 986 (0) 0.00% 1,187 (+36) +3.13%
no_predicates_numeric_generic_poseidon 53 (0) 0.00% 1,189 (+36) +3.12%
regression_5045 11 (0) 0.00% 1,253 (+36) +2.96%
bench_ecdsa_secp256k1 163 (0) 0.00% 41,432 (+991) +2.45%
ecdsa_secp256k1 163 (0) 0.00% 41,432 (+991) +2.45%
ecdsa_secp256k1_invalid_pub_key_in_inactive_branch 227 (0) 0.00% 41,496 (+991) +2.45%
poseidon_bn254_hash_width_3 710 (0) 0.00% 2,165 (+36) +1.69%
bench_poseidon2_hash_30 62 (0) 0.00% 2,276 (+36) +1.61%
poseidonsponge_x5_254 792 (0) 0.00% 2,425 (+36) +1.51%
reference_only_used_as_alias 1 (0) 0.00% 2,798 (+36) +1.30%
trait_as_return_type 1 (0) 0.00% 2,798 (+36) +1.30%
brillig_recursion 3 (0) 0.00% 2,799 (+36) +1.30%
fold_fibonacci 3 (0) 0.00% 2,799 (+36) +1.30%
regression_8874 2 (0) 0.00% 2,799 (+36) +1.30%
brillig_nested_arrays 6 (0) 0.00% 2,801 (+36) +1.30%
fold_after_inlined_calls 4 (0) 0.00% 2,801 (+36) +1.30%
integer_array_indexing 2 (0) 0.00% 2,801 (+36) +1.30%
field_attribute 5 (0) 0.00% 2,802 (+36) +1.30%
regression_9594 4 (0) 0.00% 2,802 (+36) +1.30%
brillig_acir_as_brillig 7 (0) 0.00% 2,803 (+36) +1.30%
brillig_calls 8 (0) 0.00% 2,803 (+36) +1.30%
brillig_calls_array 6 (0) 0.00% 2,803 (+36) +1.30%
fold_distinct_return 5 (0) 0.00% 2,803 (+36) +1.30%
regression_9206 6 (0) 0.00% 2,803 (+36) +1.30%
side_effects_constrain_array 5 (0) 0.00% 2,803 (+36) +1.30%
brillig_calls_conditionals 9 (0) 0.00% 2,805 (+36) +1.30%
regression_9208 9 (0) 0.00% 2,805 (+36) +1.30%
regression_9546 10 (0) 0.00% 2,805 (+36) +1.30%
unsafe_range_constraint 1 (0) 0.00% 2,807 (+36) +1.30%
regression_10008 13 (0) 0.00% 2,810 (+36) +1.30%
a_3_add 12 (0) 0.00% 2,811 (+36) +1.30%
regression_8305 15 (0) 0.00% 2,811 (+36) +1.30%
regression_9496 13 (0) 0.00% 2,812 (+36) +1.30%
a_1_mul 12 (0) 0.00% 2,813 (+36) +1.30%
regression_2660 18 (0) 0.00% 2,813 (+36) +1.30%
brillig_fns_as_values 23 (0) 0.00% 2,814 (+36) +1.30%
conditional_2 17 (0) 0.00% 2,814 (+36) +1.30%
unary_operator_overloading 14 (0) 0.00% 2,815 (+36) +1.30%
regression_9804 13 (0) 0.00% 2,819 (+36) +1.29%
conditional_regression_421 23 (0) 0.00% 2,820 (+36) +1.29%
regression_7612 19 (0) 0.00% 2,823 (+36) +1.29%
a_2_div 25 (0) 0.00% 2,824 (+36) +1.29%
nested_array_dynamic_simple 16 (0) 0.00% 2,825 (+36) +1.29%
signed_truncation 13 (0) 0.00% 2,825 (+36) +1.29%
unsigned_to_signed_cast 13 (0) 0.00% 2,825 (+36) +1.29%
regression_8519 14 (0) 0.00% 2,827 (+36) +1.29%
if_else_chain 32 (0) 0.00% 2,828 (+36) +1.29%
conditional_regression_661 23 (0) 0.00% 2,829 (+36) +1.29%
regression_7062 12 (0) 0.00% 2,829 (+36) +1.29%
fold_complex_outputs 31 (0) 0.00% 2,830 (+36) +1.29%
hint_black_box 27 (0) 0.00% 2,830 (+36) +1.29%
u16_support 34 (0) 0.00% 2,830 (+36) +1.29%
arithmetic_binary_operations 16 (0) 0.00% 2,831 (+36) +1.29%
databus_two_calldata_simple 14 (0) 0.00% 2,832 (+36) +1.29%
regression_8236 16 (0) 0.00% 2,834 (+36) +1.29%
regression_9593 18 (0) 0.00% 2,835 (+36) +1.29%
regression_3607 35 (0) 0.00% 2,836 (+36) +1.29%
lambda_from_global_array 30 (0) 0.00% 2,838 (+36) +1.28%
cast_signed_to_u1 35 (0) 0.00% 2,840 (+36) +1.28%
signed_overflow_in_else_regression_8617 36 (0) 0.00% 2,841 (+36) +1.28%
signed_inactive_division_by_zero 46 (0) 0.00% 2,849 (+36) +1.28%
regression_7962 8 (0) 0.00% 2,850 (+36) +1.28%
global_nested_array_call_arg_regression 26 (0) 0.00% 2,856 (+36) +1.28%
nested_array_call_arg_regression 26 (0) 0.00% 2,856 (+36) +1.28%
simple_shift_left_right 14 (0) 0.00% 2,856 (+36) +1.28%
regression_9312 26 (0) 0.00% 2,858 (+36) +1.28%
regression_mem_op_predicate 19 (0) 0.00% 2,864 (+36) +1.27%
cast_to_i8_regression_7776 11 (0) 0.00% 2,865 (+36) +1.27%
cast_to_u8_regression_7776 11 (0) 0.00% 2,865 (+36) +1.27%
inactive_signed_bitshift 79 (0) 0.00% 2,878 (+36) +1.27%
regression_9541 30 (0) 0.00% 2,878 (+36) +1.27%
shift_left_rhs_value_casted_from_smaller_type 32 (0) 0.00% 2,878 (+36) +1.27%
array_oob_regression_7965 31 (0) 0.00% 2,881 (+36) +1.27%
regression_8261 35 (0) 0.00% 2,881 (+36) +1.27%
regression_6834 31 (0) 0.00% 2,890 (+36) +1.26%
cast_to_u64_regression_7776 13 (0) 0.00% 2,893 (+36) +1.26%
struct_inputs 25 (0) 0.00% 2,894 (+36) +1.26%
databus_two_calldata 40 (0) 0.00% 2,913 (+36) +1.25%
wrapping_operations 34 (0) 0.00% 2,921 (+36) +1.25%
regression_8726 51 (0) 0.00% 2,924 (+36) +1.25%
array_to_slice 45 (0) 0.00% 2,926 (+36) +1.25%
bit_shifts_comptime 51 (0) 0.00% 2,942 (+36) +1.24%
regression_8558 9 (0) 0.00% 2,942 (+36) +1.24%
global_var_regression_simple 72 (0) 0.00% 2,959 (+36) +1.23%
regression_4709 72 (0) 0.00% 2,959 (+36) +1.23%
regression_9544 99 (0) 0.00% 2,959 (+36) +1.23%
signed_arithmetic 178 (0) 0.00% 2,969 (+36) +1.23%
lambda_from_dynamic_if 206 (0) 0.00% 2,986 (+36) +1.22%
a_7_function 155 (0) 0.00% 3,006 (+36) +1.21%
array_if_cond_simple 40 (0) 0.00% 3,064 (+36) +1.19%
loop_invariant_regression 49 (0) 0.00% 3,064 (+36) +1.19%
regression_9860 86 (0) 0.00% 3,110 (+36) +1.17%
databus_composite_calldata 137 (0) 0.00% 3,139 (+36) +1.16%
regression_struct_array_conditional 85 (0) 0.00% 3,257 (+36) +1.12%
slices 169 (0) 0.00% 3,257 (+36) +1.12%
regression_7128 509 (0) 0.00% 3,394 (+36) +1.07%
a_4_sub 15 (0) 0.00% 3,517 (+36) +1.03%
regression_7836 18 (0) 0.00% 3,523 (+36) +1.03%
a_5_over 22 (0) 0.00% 3,528 (+36) +1.03%
simple_comparison 26 (0) 0.00% 3,544 (+36) +1.03%
brillig_uninitialized_arrays 25 (0) 0.00% 3,549 (+36) +1.02%
tuple_inputs 44 (0) 0.00% 3,610 (+36) +1.01%
numeric_type_alias 90 (0) 0.00% 3,684 (+36) +0.99%
signed_division 184 (0) 0.00% 3,716 (+36) +0.98%
array_dynamic 96 (0) 0.00% 3,748 (+36) +0.97%
regression_capacity_tracker 53 (0) 0.00% 3,764 (+36) +0.97%
lambda_from_array 1,841 (0) 0.00% 4,090 (+36) +0.89%
a_6_array 431 (0) 0.00% 4,420 (+36) +0.82%
bit_shifts_runtime 467 (0) 0.00% 4,750 (+36) +0.76%
nested_array_in_slice 861 (0) 0.00% 4,989 (+36) +0.73%
slice_dynamic_index 827 (0) 0.00% 5,132 (+36) +0.71%
regression_1144_1169_2399_6609 254 (0) 0.00% 5,208 (+36) +0.70%
embedded_curve_ops 13 (0) 0.00% 5,350 (+36) +0.68%
ecdsa_secp256r1 163 (0) 0.00% 71,249 (+471) +0.67%
ecdsa_secp256r1_invalid_pub_key_in_inactive_branch 227 (0) 0.00% 71,313 (+471) +0.66%
ecdsa_secp256r1_3x 487 (0) 0.00% 206,246 (+1,338) +0.65%
bench_poseidon2_hash_100 202 (0) 0.00% 7,456 (+36) +0.49%
nested_array_dynamic 3,237 (0) 0.00% 12,151 (+36) +0.30%
semaphore_depth_10 5,700 (0) 0.00% 16,176 (+36) +0.22%
bench_eddsa_poseidon 17,696 (0) 0.00% 21,586 (+36) +0.17%
bench_poseidon_hash_30 9,540 (0) 0.00% 27,924 (+36) +0.13%
sha512_100_bytes 13,173 (0) 0.00% 39,560 (+36) +0.09%
regression_5252 24,291 (0) 0.00% 76,080 (+36) +0.05%
bench_poseidon_hash_100 31,800 (0) 0.00% 92,954 (+36) +0.04%
hashmap 31,850 (0) 0.00% 93,826 (+36) +0.04%
fold_2_to_17 6,214 (0) 0.00% 118,154 (+36) +0.03%
bench_2_to_17 6,534 (0) 0.00% 124,235 (+36) +0.03%

@TomAFrench TomAFrench requested a review from a team October 7, 2025 12:35
@TomAFrench TomAFrench merged commit 52c48bc into master Oct 7, 2025
132 checks passed
@TomAFrench TomAFrench deleted the tf/bump-bb branch October 7, 2025 12:36
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Oct 8, 2025
Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: Remove unnecessary allocation in `expr_with` (noir-lang/noir#10103)
chore(ACIR): inline `maybe_eq_predicate` (noir-lang/noir#10095)
chore: use `u64` over `Field` in template program (noir-lang/noir#10096)
chore: disallow slice arguments to blackbox functions (noir-lang/noir#10090)
chore(brillig_vm): Separate fuzzing module (noir-lang/noir#10091)
chore: ConstrainNotEqual requires acir predicate (noir-lang/noir#10062)
chore: bump version of bb used in tests (noir-lang/noir#10093)
chore: wrapping arithmetic tests (noir-lang/noir#9714)
chore(brillig_vm): Foreign call module and test re-org (noir-lang/noir#10089)
chore: add extra constraint folding pass (noir-lang/noir#9766)
chore: refactor brillig_blocks (noir-lang/noir#10088)
chore: add regression test for #9986 (noir-lang/noir#10087)
chore: Release Noir(1.0.0-beta.14) (noir-lang/noir#9942)
fix(tag_attr): keep whitespace tokens when parsing (noir-lang/noir#9981)
fix: hoist and then deduplicate (noir-lang/noir#10047)
chore: typos and some refactors in `acvm/src/pwg` (noir-lang/noir#10086)
chore: add in hack for `public_dispatch` (noir-lang/noir#10084)
fix(ssa): Avoid going through `i128` when casting signed to `u128` (noir-lang/noir#10045)
chore: avoid zero bits range-checks (noir-lang/noir#10083)
chore: bump external pinned commits (noir-lang/noir#10082)
fix(stdlib): Only compute the garbage `embedded_curve_result` result if we know we will need it (noir-lang/noir#10077)
fix(ssa): Keep defaults for values returned in the databus (noir-lang/noir#10042)
chore: remove unused predicate from mem-op solver (noir-lang/noir#10079)
chore(ACIR): snapshot tests for each instruction (noir-lang/noir#10071)
fix: remove generic length from ECDSA message hash in stdlib (noir-lang/noir#10043)
chore: validate that no jumps to function entry block exist (noir-lang/noir#10076)
feat(brillig): Centralize memory layout policy and reorganize memory regions (noir-lang/noir#9985)
chore(ci): fix permissions about publishing rustdoc (noir-lang/noir#10075)
chore(ACVM): use Vec instead of Hash for memory blocks (noir-lang/noir#10072)
feat(ssa): `constant_folding` with loop (noir-lang/noir#10019)
chore: take truncate into account for bit size (noir-lang/noir#10059)
chore: update check for `u128` overflow in `check_u128_mul_overflow` (noir-lang/noir#9998)
chore: update check for field overflow in `check_u128_mul_overflow` (noir-lang/noir#9968)
chore(ACIR): binary instructions snapshots (noir-lang/noir#10054)
chore(acir): SliceRemove refactor (noir-lang/noir#10058)
fix(fuzzer): Mark DivisionByZero with different types as equivalent (noir-lang/noir#10066)
chore(fuzz): Remove `is_frontend_friendly` from the AST fuzzer (noir-lang/noir#10046)
chore: use new ACIR syntax in docs, and some tests (noir-lang/noir#10057)
fix(ssa): SSA interpreter to use the 2nd arg in `slice_refcount` (noir-lang/noir#10034)
fix(ssa): SSA interpreter to return 0 for `Intrinsic::*RefCount` when constrained (noir-lang/noir#10033)
chore(ssa_fuzzer): fix array get/set  (noir-lang/noir#10031)
fix(acir): Extend slice on dynamic insertion and compilation panic when flattening (noir-lang/noir#10051)
chore(ACIR): extract convert_constrain_error helper (noir-lang/noir#10050)
chore(ACIR): expand signed lt, div and mod in SSA (noir-lang/noir#10036)
chore(ACIR): more consistent syntax and with less noise (noir-lang/noir#10014)
chore(acir): Code gen tests for slice intrinsics (noir-lang/noir#10017)
feat: parse and display SSA databus (noir-lang/noir#9991)
fix(ssa): Handle partially removed `ArrayGet` groups of complex type during OOB checks (noir-lang/noir#10027)
chore(acir): binary operations always have the same operand types (noir-lang/noir#10028)
feat: Add Module::parent and Module::child_modules (noir-lang/noir#10005)
chore: green light for ACVM optimisation (noir-lang/noir#10002)
chore: unit test for brillig solver (greenlight ACVM execution) (noir-lang/noir#9967)
chore(acir): avoid duplication when invoking brillig stdlib call (noir-lang/noir#10025)
chore: Use 8 partitions for rust tests (noir-lang/noir#10026)
chore: green light for ACVM execution audit (noir-lang/noir#9982)
chore: greenlight for ACVM execution (PWG) (noir-lang/noir#9961)
feat: optimize out noop casts on constants (noir-lang/noir#10024)
fix(mem2reg): consider call return aliases (noir-lang/noir#10016)
chore: bump external pinned commits (noir-lang/noir#10022)
fix(parser): enforce left brace after match expression (noir-lang/noir#10018)
chore(acir): Intrinsics and slice_ops modules as well as slice_ops doc comments (noir-lang/noir#10012)
fix: signed division by -1 can overflow (noir-lang/noir#9976)
chore(ci): fix external checks (noir-lang/noir#10009)
chore(ci): add provenance attestations to npm packages (noir-lang/noir#10011)
chore(ACIR): show all expressions as polynomials (noir-lang/noir#10007)
chore: remove unused feature flag (noir-lang/noir#9993)
chore(ci): fix docs breaking JS releases (noir-lang/noir#10010)
chore(ssa_fuzzer): add external coverage registration  (noir-lang/noir#9974)
END_COMMIT_OVERRIDE

Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Oct 8, 2025
Automated pull of nightly from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: Remove unnecessary allocation in `expr_with`
(noir-lang/noir#10103)
chore(ACIR): inline `maybe_eq_predicate`
(noir-lang/noir#10095)
chore: use `u64` over `Field` in template program
(noir-lang/noir#10096)
chore: disallow slice arguments to blackbox functions
(noir-lang/noir#10090)
chore(brillig_vm): Separate fuzzing module
(noir-lang/noir#10091)
chore: ConstrainNotEqual requires acir predicate
(noir-lang/noir#10062)
chore: bump version of bb used in tests
(noir-lang/noir#10093)
chore: wrapping arithmetic tests
(noir-lang/noir#9714)
chore(brillig_vm): Foreign call module and test re-org
(noir-lang/noir#10089)
chore: add extra constraint folding pass
(noir-lang/noir#9766)
chore: refactor brillig_blocks
(noir-lang/noir#10088)
chore: add regression test for #9986
(noir-lang/noir#10087)
chore: Release Noir(1.0.0-beta.14)
(noir-lang/noir#9942)
fix(tag_attr): keep whitespace tokens when parsing
(noir-lang/noir#9981)
fix: hoist and then deduplicate
(noir-lang/noir#10047)
chore: typos and some refactors in `acvm/src/pwg`
(noir-lang/noir#10086)
chore: add in hack for `public_dispatch`
(noir-lang/noir#10084)
fix(ssa): Avoid going through `i128` when casting signed to `u128`
(noir-lang/noir#10045)
chore: avoid zero bits range-checks
(noir-lang/noir#10083)
chore: bump external pinned commits
(noir-lang/noir#10082)
fix(stdlib): Only compute the garbage `embedded_curve_result` result if
we know we will need it (noir-lang/noir#10077)
fix(ssa): Keep defaults for values returned in the databus
(noir-lang/noir#10042)
chore: remove unused predicate from mem-op solver
(noir-lang/noir#10079)
chore(ACIR): snapshot tests for each instruction
(noir-lang/noir#10071)
fix: remove generic length from ECDSA message hash in stdlib
(noir-lang/noir#10043)
chore: validate that no jumps to function entry block exist
(noir-lang/noir#10076)
feat(brillig): Centralize memory layout policy and reorganize memory
regions (noir-lang/noir#9985)
chore(ci): fix permissions about publishing rustdoc
(noir-lang/noir#10075)
chore(ACVM): use Vec instead of Hash for memory blocks
(noir-lang/noir#10072)
feat(ssa): `constant_folding` with loop
(noir-lang/noir#10019)
chore: take truncate into account for bit size
(noir-lang/noir#10059)
chore: update check for `u128` overflow in `check_u128_mul_overflow`
(noir-lang/noir#9998)
chore: update check for field overflow in `check_u128_mul_overflow`
(noir-lang/noir#9968)
chore(ACIR): binary instructions snapshots
(noir-lang/noir#10054)
chore(acir): SliceRemove refactor
(noir-lang/noir#10058)
fix(fuzzer): Mark DivisionByZero with different types as equivalent
(noir-lang/noir#10066)
chore(fuzz): Remove `is_frontend_friendly` from the AST fuzzer
(noir-lang/noir#10046)
chore: use new ACIR syntax in docs, and some tests
(noir-lang/noir#10057)
fix(ssa): SSA interpreter to use the 2nd arg in `slice_refcount`
(noir-lang/noir#10034)
fix(ssa): SSA interpreter to return 0 for `Intrinsic::*RefCount` when
constrained (noir-lang/noir#10033)
chore(ssa_fuzzer): fix array get/set
(noir-lang/noir#10031)
fix(acir): Extend slice on dynamic insertion and compilation panic when
flattening (noir-lang/noir#10051)
chore(ACIR): extract convert_constrain_error helper
(noir-lang/noir#10050)
chore(ACIR): expand signed lt, div and mod in SSA
(noir-lang/noir#10036)
chore(ACIR): more consistent syntax and with less noise
(noir-lang/noir#10014)
chore(acir): Code gen tests for slice intrinsics
(noir-lang/noir#10017)
feat: parse and display SSA databus
(noir-lang/noir#9991)
fix(ssa): Handle partially removed `ArrayGet` groups of complex type
during OOB checks (noir-lang/noir#10027)
chore(acir): binary operations always have the same operand types
(noir-lang/noir#10028)
feat: Add Module::parent and Module::child_modules
(noir-lang/noir#10005)
chore: green light for ACVM optimisation
(noir-lang/noir#10002)
chore: unit test for brillig solver (greenlight ACVM execution)
(noir-lang/noir#9967)
chore(acir): avoid duplication when invoking brillig stdlib call
(noir-lang/noir#10025)
chore: Use 8 partitions for rust tests
(noir-lang/noir#10026)
chore: green light for ACVM execution audit
(noir-lang/noir#9982)
chore: greenlight for ACVM execution (PWG)
(noir-lang/noir#9961)
feat: optimize out noop casts on constants
(noir-lang/noir#10024)
fix(mem2reg): consider call return aliases
(noir-lang/noir#10016)
chore: bump external pinned commits
(noir-lang/noir#10022)
fix(parser): enforce left brace after match expression
(noir-lang/noir#10018)
chore(acir): Intrinsics and slice_ops modules as well as slice_ops doc
comments (noir-lang/noir#10012)
fix: signed division by -1 can overflow
(noir-lang/noir#9976)
chore(ci): fix external checks
(noir-lang/noir#10009)
chore(ci): add provenance attestations to npm packages
(noir-lang/noir#10011)
chore(ACIR): show all expressions as polynomials
(noir-lang/noir#10007)
chore: remove unused feature flag
(noir-lang/noir#9993)
chore(ci): fix docs breaking JS releases
(noir-lang/noir#10010)
chore(ssa_fuzzer): add external coverage registration
(noir-lang/noir#9974)
END_COMMIT_OVERRIDE
mralj pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Oct 13, 2025
Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: Remove unnecessary allocation in `expr_with` (noir-lang/noir#10103)
chore(ACIR): inline `maybe_eq_predicate` (noir-lang/noir#10095)
chore: use `u64` over `Field` in template program (noir-lang/noir#10096)
chore: disallow slice arguments to blackbox functions (noir-lang/noir#10090)
chore(brillig_vm): Separate fuzzing module (noir-lang/noir#10091)
chore: ConstrainNotEqual requires acir predicate (noir-lang/noir#10062)
chore: bump version of bb used in tests (noir-lang/noir#10093)
chore: wrapping arithmetic tests (noir-lang/noir#9714)
chore(brillig_vm): Foreign call module and test re-org (noir-lang/noir#10089)
chore: add extra constraint folding pass (noir-lang/noir#9766)
chore: refactor brillig_blocks (noir-lang/noir#10088)
chore: add regression test for #9986 (noir-lang/noir#10087)
chore: Release Noir(1.0.0-beta.14) (noir-lang/noir#9942)
fix(tag_attr): keep whitespace tokens when parsing (noir-lang/noir#9981)
fix: hoist and then deduplicate (noir-lang/noir#10047)
chore: typos and some refactors in `acvm/src/pwg` (noir-lang/noir#10086)
chore: add in hack for `public_dispatch` (noir-lang/noir#10084)
fix(ssa): Avoid going through `i128` when casting signed to `u128` (noir-lang/noir#10045)
chore: avoid zero bits range-checks (noir-lang/noir#10083)
chore: bump external pinned commits (noir-lang/noir#10082)
fix(stdlib): Only compute the garbage `embedded_curve_result` result if we know we will need it (noir-lang/noir#10077)
fix(ssa): Keep defaults for values returned in the databus (noir-lang/noir#10042)
chore: remove unused predicate from mem-op solver (noir-lang/noir#10079)
chore(ACIR): snapshot tests for each instruction (noir-lang/noir#10071)
fix: remove generic length from ECDSA message hash in stdlib (noir-lang/noir#10043)
chore: validate that no jumps to function entry block exist (noir-lang/noir#10076)
feat(brillig): Centralize memory layout policy and reorganize memory regions (noir-lang/noir#9985)
chore(ci): fix permissions about publishing rustdoc (noir-lang/noir#10075)
chore(ACVM): use Vec instead of Hash for memory blocks (noir-lang/noir#10072)
feat(ssa): `constant_folding` with loop (noir-lang/noir#10019)
chore: take truncate into account for bit size (noir-lang/noir#10059)
chore: update check for `u128` overflow in `check_u128_mul_overflow` (noir-lang/noir#9998)
chore: update check for field overflow in `check_u128_mul_overflow` (noir-lang/noir#9968)
chore(ACIR): binary instructions snapshots (noir-lang/noir#10054)
chore(acir): SliceRemove refactor (noir-lang/noir#10058)
fix(fuzzer): Mark DivisionByZero with different types as equivalent (noir-lang/noir#10066)
chore(fuzz): Remove `is_frontend_friendly` from the AST fuzzer (noir-lang/noir#10046)
chore: use new ACIR syntax in docs, and some tests (noir-lang/noir#10057)
fix(ssa): SSA interpreter to use the 2nd arg in `slice_refcount` (noir-lang/noir#10034)
fix(ssa): SSA interpreter to return 0 for `Intrinsic::*RefCount` when constrained (noir-lang/noir#10033)
chore(ssa_fuzzer): fix array get/set  (noir-lang/noir#10031)
fix(acir): Extend slice on dynamic insertion and compilation panic when flattening (noir-lang/noir#10051)
chore(ACIR): extract convert_constrain_error helper (noir-lang/noir#10050)
chore(ACIR): expand signed lt, div and mod in SSA (noir-lang/noir#10036)
chore(ACIR): more consistent syntax and with less noise (noir-lang/noir#10014)
chore(acir): Code gen tests for slice intrinsics (noir-lang/noir#10017)
feat: parse and display SSA databus (noir-lang/noir#9991)
fix(ssa): Handle partially removed `ArrayGet` groups of complex type during OOB checks (noir-lang/noir#10027)
chore(acir): binary operations always have the same operand types (noir-lang/noir#10028)
feat: Add Module::parent and Module::child_modules (noir-lang/noir#10005)
chore: green light for ACVM optimisation (noir-lang/noir#10002)
chore: unit test for brillig solver (greenlight ACVM execution) (noir-lang/noir#9967)
chore(acir): avoid duplication when invoking brillig stdlib call (noir-lang/noir#10025)
chore: Use 8 partitions for rust tests (noir-lang/noir#10026)
chore: green light for ACVM execution audit (noir-lang/noir#9982)
chore: greenlight for ACVM execution (PWG) (noir-lang/noir#9961)
feat: optimize out noop casts on constants (noir-lang/noir#10024)
fix(mem2reg): consider call return aliases (noir-lang/noir#10016)
chore: bump external pinned commits (noir-lang/noir#10022)
fix(parser): enforce left brace after match expression (noir-lang/noir#10018)
chore(acir): Intrinsics and slice_ops modules as well as slice_ops doc comments (noir-lang/noir#10012)
fix: signed division by -1 can overflow (noir-lang/noir#9976)
chore(ci): fix external checks (noir-lang/noir#10009)
chore(ci): add provenance attestations to npm packages (noir-lang/noir#10011)
chore(ACIR): show all expressions as polynomials (noir-lang/noir#10007)
chore: remove unused feature flag (noir-lang/noir#9993)
chore(ci): fix docs breaking JS releases (noir-lang/noir#10010)
chore(ssa_fuzzer): add external coverage registration  (noir-lang/noir#9974)
END_COMMIT_OVERRIDE

Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant