Skip to content

chore(brillig): Disable the decrement of the ref-count during array/vector copy#10386

Merged
jfecher merged 1 commit intoaf/audit-brillig-gen-5from
af/brillig-disable-dec-rc
Nov 10, 2025
Merged

chore(brillig): Disable the decrement of the ref-count during array/vector copy#10386
jfecher merged 1 commit intoaf/audit-brillig-gen-5from
af/brillig-disable-dec-rc

Conversation

@aakoshh
Copy link
Contributor

@aakoshh aakoshh commented Nov 5, 2025

Description

Problem*

Follow up for the discussion in #10335 (comment)

Summary*

Disables the decrement of the ref-count which was fixed in #10335, but deemed not worth doing.

Additional Context

I left the methods in place so we still have a reference of where it was okay to decrement the RC, if we want to revisit this as noted in #10335 (comment)

It would be good to merge this after merging #10335 to highlight this decision on its own.

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.

@aakoshh aakoshh added the bench-show Display benchmark results on PR label Nov 5, 2025
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.

ACVM Benchmarks

Details
Benchmark suite Current: 4574031 Previous: 83245db Ratio
purely_sequential_opcodes 265466 ns/iter (± 457) 265534 ns/iter (± 1614) 1.00
perfectly_parallel_opcodes 235406 ns/iter (± 2420) 236623 ns/iter (± 8229) 0.99
perfectly_parallel_batch_inversion_opcodes 2799104 ns/iter (± 1948) 2800863 ns/iter (± 16743) 1.00

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

@github-actions
Copy link
Contributor

github-actions bot commented Nov 5, 2025

Changes to number of Brillig opcodes executed

Generated at commit: 3e3b7794566688c7a32e2faf92af220391efa632, compared to commit: 813e9dcc1c1600090496878a3957d1150ca222ef

🧾 Summary (10% most significant diffs)

Program Brillig opcodes (+/-) %
global_nested_array_regression_9270_inliner_min -4 ✅ -1.50%
brillig_rc_regression_6123_inliner_min -4 ✅ -1.52%
global_nested_array_regression_9270_inliner_max -4 ✅ -1.57%
global_nested_array_regression_9270_inliner_zero -4 ✅ -1.57%
regression_9907_inliner_max -2 ✅ -1.59%
regression_9907_inliner_zero -2 ✅ -1.59%
regression_9467_inliner_max -2 ✅ -1.79%
regression_9467_inliner_min -2 ✅ -1.79%
regression_9467_inliner_zero -2 ✅ -1.79%
array_rc_regression_7842_inliner_min -2 ✅ -1.82%
mutate_array_copy_inliner_min -2 ✅ -1.83%
regression_9725_2_inliner_min -2 ✅ -1.90%

Full diff report 👇
Program Brillig opcodes (+/-) %
slice_dynamic_index_inliner_min 4,557 (+55) +1.22%
poseidonsponge_x5_254_inliner_min 185,001 (-36) -0.02%
poseidonsponge_x5_254_inliner_zero 183,096 (-36) -0.02%
regression_5252_inliner_min 923,319 (-184) -0.02%
regression_5252_inliner_zero 911,439 (-192) -0.02%
poseidon_bn254_hash_width_3_inliner_min 168,232 (-36) -0.02%
poseidon_bn254_hash_width_3_inliner_zero 164,300 (-36) -0.02%
slices_inliner_min 4,905 (-2) -0.04%
poseidonsponge_x5_254_inliner_max 151,499 (-68) -0.04%
slice_regex_inliner_min 4,332 (-2) -0.05%
regression_5252_inliner_max 752,672 (-352) -0.05%
slice_regex_inliner_zero 4,028 (-2) -0.05%
poseidon_bn254_hash_width_3_inliner_max 136,432 (-68) -0.05%
slices_inliner_zero 3,815 (-2) -0.05%
slice_regex_inliner_max 3,407 (-2) -0.06%
array_dynamic_blackbox_input_inliner_min 6,488 (-4) -0.06%
array_dynamic_blackbox_input_inliner_max 6,459 (-4) -0.06%
array_dynamic_blackbox_input_inliner_zero 6,459 (-4) -0.06%
a_7_function_inliner_max 2,031 (-2) -0.10%
array_to_slice_inliner_min 1,858 (-2) -0.11%
conditional_1_inliner_min 1,846 (-2) -0.11%
conditional_1_inliner_zero 1,846 (-2) -0.11%
conditional_1_inliner_max 1,820 (-2) -0.11%
uhashmap_inliner_min 168,569 (-212) -0.13%
uhashmap_inliner_zero 163,670 (-212) -0.13%
fold_numeric_generic_poseidon_inliner_max 3,727 (-6) -0.16%
no_predicates_numeric_generic_poseidon_inliner_max 3,727 (-6) -0.16%
regression_11294_inliner_min 1,238 (-2) -0.16%
slices_inliner_max 3,609 (-6) -0.17%
array_dynamic_nested_blackbox_input_inliner_min 1,196 (-2) -0.17%
array_dynamic_nested_blackbox_input_inliner_max 1,182 (-2) -0.17%
array_dynamic_nested_blackbox_input_inliner_zero 1,182 (-2) -0.17%
uhashmap_inliner_max 143,170 (-244) -0.17%
regression_11294_inliner_max 1,127 (-2) -0.18%
regression_11294_inliner_zero 1,127 (-2) -0.18%
hashmap_inliner_min 75,459 (-140) -0.19%
slice_dynamic_insert_inliner_min 1,062 (-2) -0.19%
hashmap_inliner_zero 71,273 (-140) -0.20%
array_sort_inliner_min 976 (-2) -0.20%
slice_dynamic_insert_inliner_max 951 (-2) -0.21%
slice_dynamic_insert_inliner_zero 951 (-2) -0.21%
array_to_slice_inliner_max 944 (-2) -0.21%
array_sort_inliner_max 861 (-2) -0.23%
array_sort_inliner_zero 861 (-2) -0.23%
regression_6674_3_inliner_min 1,488 (-4) -0.27%
slice_dynamic_index_inliner_max 3,574 (-10) -0.28%
slice_dynamic_index_inliner_zero 3,574 (-10) -0.28%
nested_array_dynamic_inliner_min 2,727 (-8) -0.29%
nested_array_dynamic_inliner_zero 2,727 (-8) -0.29%
nested_array_dynamic_inliner_max 2,525 (-8) -0.32%
regression_6674_3_inliner_max 1,211 (-4) -0.33%
regression_6674_3_inliner_zero 1,211 (-4) -0.33%
array_to_slice_inliner_zero 1,774 (-6) -0.34%
regression_9496_inliner_max 514 (-2) -0.39%
regression_9496_inliner_min 514 (-2) -0.39%
regression_9496_inliner_zero 514 (-2) -0.39%
brillig_cow_inliner_max 926 (-4) -0.43%
hashmap_inliner_max 56,920 (-250) -0.44%
brillig_cow_inliner_zero 715 (-4) -0.56%
simple_shield_inliner_max 2,111 (-12) -0.57%
simple_shield_inliner_zero 2,111 (-12) -0.57%
regression_6674_1_inliner_zero 689 (-4) -0.58%
regression_6674_2_inliner_zero 689 (-4) -0.58%
regression_6674_2_inliner_min 686 (-4) -0.58%
regression_6674_1_inliner_max 678 (-4) -0.59%
regression_6674_2_inliner_max 678 (-4) -0.59%
regression_6674_1_inliner_min 660 (-4) -0.60%
brillig_cow_inliner_min 1,184 (-8) -0.67%
regression_9860_inliner_max 583 (-4) -0.68%
regression_9860_inliner_min 583 (-4) -0.68%
regression_9860_inliner_zero 583 (-4) -0.68%
regression_8174_inliner_max 289 (-2) -0.69%
regression_8174_inliner_min 289 (-2) -0.69%
regression_8174_inliner_zero 289 (-2) -0.69%
merkle_insert_inliner_zero 3,072 (-24) -0.78%
merkle_insert_inliner_max 2,945 (-24) -0.81%
brillig_cow_assign_inliner_max 479 (-4) -0.83%
brillig_cow_assign_inliner_min 479 (-4) -0.83%
brillig_cow_assign_inliner_zero 479 (-4) -0.83%
regression_9160_inliner_max 410 (-4) -0.97%
regression_9160_inliner_min 410 (-4) -0.97%
regression_9160_inliner_zero 410 (-4) -0.97%
regression_struct_array_conditional_inliner_max 1,142 (-12) -1.04%
regression_struct_array_conditional_inliner_min 1,142 (-12) -1.04%
regression_struct_array_conditional_inliner_zero 1,142 (-12) -1.04%
last_uses_regression_8935_inliner_max 340 (-4) -1.16%
last_uses_regression_8935_inliner_min 340 (-4) -1.16%
last_uses_regression_8935_inliner_zero 340 (-4) -1.16%
regression_9102_inliner_min 167 (-2) -1.18%
regression_9102_inliner_max 155 (-2) -1.27%
regression_9102_inliner_zero 155 (-2) -1.27%
regression_9907_inliner_min 139 (-2) -1.42%
array_dedup_regression_inliner_max 665 (-10) -1.48%
array_dedup_regression_inliner_min 665 (-10) -1.48%
array_dedup_regression_inliner_zero 665 (-10) -1.48%
global_array_rc_regression_8259_inliner_max 132 (-2) -1.49%
global_array_rc_regression_8259_inliner_min 132 (-2) -1.49%
global_array_rc_regression_8259_inliner_zero 132 (-2) -1.49%
global_nested_array_regression_9270_inliner_min 262 (-4) -1.50%
brillig_rc_regression_6123_inliner_min 259 (-4) -1.52%
global_nested_array_regression_9270_inliner_max 250 (-4) -1.57%
global_nested_array_regression_9270_inliner_zero 250 (-4) -1.57%
regression_9907_inliner_max 124 (-2) -1.59%
regression_9907_inliner_zero 124 (-2) -1.59%
regression_9467_inliner_max 110 (-2) -1.79%
regression_9467_inliner_min 110 (-2) -1.79%
regression_9467_inliner_zero 110 (-2) -1.79%
array_rc_regression_7842_inliner_min 108 (-2) -1.82%
mutate_array_copy_inliner_min 107 (-2) -1.83%
regression_9725_2_inliner_min 103 (-2) -1.90%

@github-actions
Copy link
Contributor

github-actions bot commented Nov 5, 2025

Changes to Brillig bytecode sizes

Generated at commit: 3e3b7794566688c7a32e2faf92af220391efa632, compared to commit: 813e9dcc1c1600090496878a3957d1150ca222ef

🧾 Summary (10% most significant diffs)

Program Brillig opcodes (+/-) %
regression_9329_inliner_max -2 ✅ -1.72%
regression_9329_inliner_zero -2 ✅ -1.72%
fold_call_witness_condition_inliner_max -2 ✅ -1.77%
fold_call_witness_condition_inliner_min -2 ✅ -1.77%
fold_call_witness_condition_inliner_zero -2 ✅ -1.77%
regression_7128_inliner_max -2 ✅ -1.79%
regression_7128_inliner_min -2 ✅ -1.79%
regression_7128_inliner_zero -2 ✅ -1.79%
regression_9725_2_inliner_min -2 ✅ -1.82%
regression_mem_op_predicate_inliner_max -2 ✅ -1.90%
regression_mem_op_predicate_inliner_min -2 ✅ -1.90%
regression_mem_op_predicate_inliner_zero -2 ✅ -1.90%
array_rc_regression_7842_inliner_min -2 ✅ -2.00%
global_array_rc_regression_8259_inliner_max -2 ✅ -2.02%
regression_7062_inliner_max -2 ✅ -2.02%
regression_7062_inliner_min -2 ✅ -2.02%
global_array_rc_regression_8259_inliner_min -2 ✅ -2.02%
mutate_array_copy_inliner_min -2 ✅ -2.02%
regression_7062_inliner_zero -2 ✅ -2.02%
global_array_rc_regression_8259_inliner_zero -2 ✅ -2.02%
regression_8975_inliner_min -2 ✅ -2.13%
array_dynamic_main_output_inliner_max -2 ✅ -2.20%
array_dynamic_main_output_inliner_min -2 ✅ -2.20%
array_dynamic_main_output_inliner_zero -2 ✅ -2.20%

Full diff report 👇
Program Brillig opcodes (+/-) %
hashmap_inliner_max 18,576 (-2) -0.01%
hashmap_inliner_min 8,894 (-2) -0.02%
hashmap_inliner_zero 7,976 (-2) -0.03%
uhashmap_inliner_max 11,262 (-4) -0.04%
poseidon_bn254_hash_width_3_inliner_max 4,831 (-2) -0.04%
poseidon_bn254_hash_width_3_inliner_min 4,714 (-2) -0.04%
poseidon_bn254_hash_width_3_inliner_zero 4,421 (-2) -0.05%
regression_5252_inliner_max 4,018 (-2) -0.05%
poseidonsponge_x5_254_inliner_max 3,674 (-2) -0.05%
uhashmap_inliner_min 7,185 (-4) -0.06%
uhashmap_inliner_zero 6,921 (-4) -0.06%
regression_5252_inliner_min 3,349 (-2) -0.06%
regression_5252_inliner_zero 3,223 (-2) -0.06%
poseidonsponge_x5_254_inliner_min 3,003 (-2) -0.07%
poseidonsponge_x5_254_inliner_zero 2,882 (-2) -0.07%
slices_inliner_min 2,670 (-2) -0.07%
slice_regex_inliner_max 2,217 (-2) -0.09%
slices_inliner_zero 2,121 (-2) -0.09%
slice_regex_inliner_min 1,791 (-2) -0.11%
slice_regex_inliner_zero 1,653 (-2) -0.12%
nested_array_dynamic_inliner_max 1,606 (-2) -0.12%
higher_order_functions_inliner_min 1,591 (-2) -0.13%
nested_array_dynamic_inliner_min 1,332 (-2) -0.15%
nested_array_dynamic_inliner_zero 1,332 (-2) -0.15%
reference_counts_slices_inliner_0_inliner_min 1,257 (-2) -0.16%
brillig_cow_regression_inliner_min 1,206 (-2) -0.17%
brillig_cow_regression_inliner_max 1,198 (-2) -0.17%
brillig_cow_regression_inliner_zero 1,198 (-2) -0.17%
slices_inliner_max 2,157 (-4) -0.19%
slice_dynamic_index_inliner_min 2,149 (-4) -0.19%
reference_counts_slices_inliner_0_inliner_zero 1,045 (-2) -0.19%
reference_counts_inliner_0_inliner_min 1,035 (-2) -0.19%
reference_counts_inliner_min_inliner_min 1,035 (-2) -0.19%
reference_counts_inliner_max_inliner_min 1,028 (-2) -0.19%
nested_array_in_slice_inliner_max 1,014 (-2) -0.20%
regression_1144_1169_2399_6609_inliner_min 1,000 (-2) -0.20%
regression_1144_1169_2399_6609_inliner_max 897 (-2) -0.22%
regression_1144_1169_2399_6609_inliner_zero 897 (-2) -0.22%
reference_counts_inliner_0_inliner_zero 887 (-2) -0.22%
reference_counts_inliner_min_inliner_zero 887 (-2) -0.22%
reference_counts_inliner_max_inliner_zero 880 (-2) -0.23%
reference_counts_slices_inliner_0_inliner_max 829 (-2) -0.24%
nested_array_in_slice_inliner_min 817 (-2) -0.24%
nested_array_in_slice_inliner_zero 817 (-2) -0.24%
slice_dynamic_index_inliner_max 1,625 (-4) -0.25%
slice_dynamic_index_inliner_zero 1,625 (-4) -0.25%
higher_order_functions_inliner_zero 720 (-2) -0.28%
simple_shield_inliner_min 694 (-2) -0.29%
simple_shield_inliner_max 677 (-2) -0.29%
simple_shield_inliner_zero 677 (-2) -0.29%
regression_6674_3_inliner_min 639 (-2) -0.31%
fold_numeric_generic_poseidon_inliner_max 618 (-2) -0.32%
no_predicates_numeric_generic_poseidon_inliner_max 618 (-2) -0.32%
fold_numeric_generic_poseidon_inliner_min 559 (-2) -0.36%
no_predicates_numeric_generic_poseidon_inliner_min 559 (-2) -0.36%
merkle_insert_inliner_max 553 (-2) -0.36%
regression_9496_inliner_max 541 (-2) -0.37%
regression_9496_inliner_min 541 (-2) -0.37%
regression_9496_inliner_zero 541 (-2) -0.37%
higher_order_functions_inliner_max 540 (-2) -0.37%
fold_complex_outputs_inliner_min 514 (-2) -0.39%
a_7_function_inliner_max 513 (-2) -0.39%
no_predicates_numeric_generic_poseidon_inliner_zero 499 (-2) -0.40%
fold_numeric_generic_poseidon_inliner_zero 499 (-2) -0.40%
conditional_1_inliner_max 496 (-2) -0.40%
regression_6674_3_inliner_max 481 (-2) -0.41%
regression_6674_3_inliner_zero 481 (-2) -0.41%
fold_2_to_17_inliner_max 469 (-2) -0.42%
numeric_type_alias_inliner_min 464 (-2) -0.43%
array_sort_inliner_min 463 (-2) -0.43%
conditional_1_inliner_min 463 (-2) -0.43%
conditional_1_inliner_zero 463 (-2) -0.43%
a_7_function_inliner_min 445 (-2) -0.45%
fold_complex_outputs_inliner_zero 443 (-2) -0.45%
a_7_function_inliner_zero 435 (-2) -0.46%
slice_dynamic_insert_inliner_min 432 (-2) -0.46%
array_to_slice_inliner_min 847 (-4) -0.47%
fold_complex_outputs_inliner_max 419 (-2) -0.48%
brillig_pedersen_inliner_max 407 (-2) -0.49%
pedersen_check_inliner_max 407 (-2) -0.49%
brillig_pedersen_inliner_min 407 (-2) -0.49%
pedersen_check_inliner_min 407 (-2) -0.49%
brillig_pedersen_inliner_zero 407 (-2) -0.49%
pedersen_check_inliner_zero 407 (-2) -0.49%
array_sort_inliner_max 406 (-2) -0.49%
array_sort_inliner_zero 406 (-2) -0.49%
regression_10197_inliner_max 403 (-2) -0.49%
regression_10197_inliner_min 403 (-2) -0.49%
regression_10197_inliner_zero 403 (-2) -0.49%
aes128_encrypt_inliner_max 397 (-2) -0.50%
regression_struct_array_conditional_inliner_max 394 (-2) -0.51%
regression_struct_array_conditional_inliner_min 394 (-2) -0.51%
regression_struct_array_conditional_inliner_zero 394 (-2) -0.51%
array_dynamic_blackbox_input_inliner_min 385 (-2) -0.52%
merkle_insert_inliner_zero 384 (-2) -0.52%
aes128_encrypt_inliner_min 382 (-2) -0.52%
slice_dynamic_insert_inliner_max 381 (-2) -0.52%
slice_dynamic_insert_inliner_zero 381 (-2) -0.52%
merkle_insert_inliner_min 375 (-2) -0.53%
aes128_encrypt_inliner_zero 373 (-2) -0.53%
regression_9160_inliner_max 365 (-2) -0.54%
regression_9160_inliner_min 365 (-2) -0.54%
regression_9160_inliner_zero 365 (-2) -0.54%
array_dynamic_blackbox_input_inliner_max 364 (-2) -0.55%
array_dynamic_blackbox_input_inliner_zero 364 (-2) -0.55%
brillig_cow_inliner_max 334 (-2) -0.60%
array_to_slice_inliner_zero 667 (-4) -0.60%
numeric_type_alias_inliner_max 333 (-2) -0.60%
numeric_type_alias_inliner_zero 333 (-2) -0.60%
array_dynamic_nested_blackbox_input_inliner_min 329 (-2) -0.60%
brillig_cow_inliner_min 328 (-2) -0.61%
fold_2_to_17_inliner_min 327 (-2) -0.61%
array_dynamic_nested_blackbox_input_inliner_max 319 (-2) -0.62%
array_dynamic_nested_blackbox_input_inliner_zero 319 (-2) -0.62%
fold_2_to_17_inliner_zero 315 (-2) -0.63%
array_dynamic_inliner_min 307 (-2) -0.65%
bench_2_to_17_inliner_min 306 (-2) -0.65%
array_dynamic_inliner_max 297 (-2) -0.67%
array_dynamic_inliner_zero 297 (-2) -0.67%
last_uses_regression_8935_inliner_max 295 (-2) -0.67%
last_uses_regression_8935_inliner_min 295 (-2) -0.67%
last_uses_regression_8935_inliner_zero 295 (-2) -0.67%
regression_11294_inliner_min 289 (-2) -0.69%
encrypted_log_regression_inliner_min 275 (-2) -0.72%
wildcard_type_inliner_min 270 (-2) -0.74%
bench_2_to_17_inliner_max 268 (-2) -0.74%
encrypted_log_regression_inliner_max 262 (-2) -0.76%
encrypted_log_regression_inliner_zero 262 (-2) -0.76%
pedersen_hash_inliner_max 261 (-2) -0.76%
pedersen_hash_inliner_min 261 (-2) -0.76%
pedersen_hash_inliner_zero 261 (-2) -0.76%
wildcard_type_inliner_max 260 (-2) -0.76%
wildcard_type_inliner_zero 260 (-2) -0.76%
regression_6674_2_inliner_min 258 (-2) -0.77%
array_dedup_regression_inliner_max 257 (-2) -0.77%
array_dedup_regression_inliner_min 257 (-2) -0.77%
array_dedup_regression_inliner_zero 257 (-2) -0.77%
bench_2_to_17_inliner_zero 251 (-2) -0.79%
array_to_slice_inliner_max 490 (-4) -0.81%
regression_9860_inliner_max 241 (-2) -0.82%
regression_9860_inliner_min 241 (-2) -0.82%
regression_9860_inliner_zero 241 (-2) -0.82%
brillig_cow_inliner_zero 241 (-2) -0.82%
regression_6674_1_inliner_min 236 (-2) -0.84%
regression_11294_inliner_max 224 (-2) -0.88%
regression_11294_inliner_zero 224 (-2) -0.88%
regression_6674_2_inliner_max 222 (-2) -0.89%
regression_6674_1_inliner_max 222 (-2) -0.89%
regression_9116_inliner_min 216 (-2) -0.92%
regression_capacity_tracker_inliner_max 215 (-2) -0.92%
regression_capacity_tracker_inliner_min 215 (-2) -0.92%
regression_capacity_tracker_inliner_zero 215 (-2) -0.92%
regression_9116_inliner_max 206 (-2) -0.96%
regression_9116_inliner_zero 206 (-2) -0.96%
to_be_bytes_inliner_min 195 (-2) -1.02%
databus_two_calldata_inliner_max 191 (-2) -1.04%
global_nested_array_regression_9270_inliner_min 191 (-2) -1.04%
databus_two_calldata_inliner_min 191 (-2) -1.04%
databus_two_calldata_inliner_zero 191 (-2) -1.04%
regression_6674_2_inliner_zero 189 (-2) -1.05%
regression_6674_1_inliner_zero 189 (-2) -1.05%
to_be_bytes_inliner_max 186 (-2) -1.06%
to_be_bytes_inliner_zero 186 (-2) -1.06%
regression_9037_inliner_max 184 (-2) -1.08%
regression_9037_inliner_min 184 (-2) -1.08%
regression_9037_inliner_zero 184 (-2) -1.08%
global_nested_array_regression_9270_inliner_max 183 (-2) -1.08%
global_nested_array_regression_9270_inliner_zero 183 (-2) -1.08%
regression_8174_inliner_max 180 (-2) -1.10%
regression_8174_inliner_min 180 (-2) -1.10%
regression_8174_inliner_zero 180 (-2) -1.10%
reference_only_used_as_alias_inliner_min 176 (-2) -1.12%
pedersen_commitment_inliner_max 162 (-2) -1.22%
pedersen_commitment_inliner_min 162 (-2) -1.22%
pedersen_commitment_inliner_zero 162 (-2) -1.22%
regression_9467_inliner_max 161 (-2) -1.23%
regression_9467_inliner_min 161 (-2) -1.23%
regression_9467_inliner_zero 161 (-2) -1.23%
brillig_rc_regression_6123_inliner_min 158 (-2) -1.25%
nested_dyn_array_regression_5782_inliner_max 142 (-2) -1.39%
nested_dyn_array_regression_5782_inliner_min 142 (-2) -1.39%
nested_dyn_array_regression_5782_inliner_zero 142 (-2) -1.39%
regression_9102_inliner_min 138 (-2) -1.43%
regression_9907_inliner_min 132 (-2) -1.49%
regression_9102_inliner_max 130 (-2) -1.52%
regression_9102_inliner_zero 130 (-2) -1.52%
array_if_cond_simple_inliner_max 126 (-2) -1.56%
array_if_cond_simple_inliner_min 126 (-2) -1.56%
array_if_cond_simple_inliner_zero 126 (-2) -1.56%
regression_9329_inliner_min 124 (-2) -1.59%
brillig_cow_assign_inliner_max 123 (-2) -1.60%
brillig_cow_assign_inliner_min 123 (-2) -1.60%
brillig_cow_assign_inliner_zero 123 (-2) -1.60%
regression_9907_inliner_max 121 (-2) -1.63%
regression_9907_inliner_zero 121 (-2) -1.63%
regression_9329_inliner_max 114 (-2) -1.72%
regression_9329_inliner_zero 114 (-2) -1.72%
fold_call_witness_condition_inliner_max 111 (-2) -1.77%
fold_call_witness_condition_inliner_min 111 (-2) -1.77%
fold_call_witness_condition_inliner_zero 111 (-2) -1.77%
regression_7128_inliner_max 110 (-2) -1.79%
regression_7128_inliner_min 110 (-2) -1.79%
regression_7128_inliner_zero 110 (-2) -1.79%
regression_9725_2_inliner_min 108 (-2) -1.82%
regression_mem_op_predicate_inliner_max 103 (-2) -1.90%
regression_mem_op_predicate_inliner_min 103 (-2) -1.90%
regression_mem_op_predicate_inliner_zero 103 (-2) -1.90%
array_rc_regression_7842_inliner_min 98 (-2) -2.00%
global_array_rc_regression_8259_inliner_max 97 (-2) -2.02%
regression_7062_inliner_max 97 (-2) -2.02%
regression_7062_inliner_min 97 (-2) -2.02%
global_array_rc_regression_8259_inliner_min 97 (-2) -2.02%
mutate_array_copy_inliner_min 97 (-2) -2.02%
regression_7062_inliner_zero 97 (-2) -2.02%
global_array_rc_regression_8259_inliner_zero 97 (-2) -2.02%
regression_8975_inliner_min 92 (-2) -2.13%
array_dynamic_main_output_inliner_max 89 (-2) -2.20%
array_dynamic_main_output_inliner_min 89 (-2) -2.20%
array_dynamic_main_output_inliner_zero 89 (-2) -2.20%

@aakoshh aakoshh requested a review from a team November 5, 2025 18:38
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.

Test Suite Duration

Details
Benchmark suite Current: 4574031 Previous: 83245db Ratio
test_report_AztecProtocol_aztec-packages_noir-projects_aztec-nr 124 s 123 s 1.01
test_report_AztecProtocol_aztec-packages_noir-projects_noir-contracts 131 s 137 s 0.96
test_report_AztecProtocol_aztec-packages_noir-projects_noir-protocol-circuits_crates_blob 392 s 414 s 0.95
test_report_AztecProtocol_aztec-packages_noir-projects_noir-protocol-circuits_crates_private-kernel-lib 241 s 244 s 0.99
test_report_AztecProtocol_aztec-packages_noir-projects_noir-protocol-circuits_crates_types 141 s 143 s 0.99
test_report_noir-lang_noir-bignum_ 154 s 157 s 0.98
test_report_noir-lang_noir_bigcurve_ 330 s 374 s 0.88
test_report_noir-lang_sha256_ 16 s 15 s 1.07
test_report_noir-lang_sha512_ 14 s 13 s 1.08
test_report_zkpassport_noir-ecdsa_ 1 s 2 s 0.50
test_report_zkpassport_noir_rsa_ 1 s 1 s 1

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

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.

Opcode count

Details
Benchmark suite Current: 4574031 Previous: 83245db Ratio
private-kernel-inner 18027 opcodes 18027 opcodes 1
private-kernel-reset 80804 opcodes 80804 opcodes 1
private-kernel-tail 17176 opcodes 17176 opcodes 1
rollup-block-root-first-empty-tx 1100 opcodes 1100 opcodes 1
rollup-block-root-single-tx 876 opcodes 876 opcodes 1
rollup-block-root 2253 opcodes 2253 opcodes 1
rollup-checkpoint-merge 2133 opcodes 2133 opcodes 1
rollup-checkpoint-root-single-block 1919761 opcodes 1919761 opcodes 1
rollup-checkpoint-root 1921135 opcodes 1921135 opcodes 1
rollup-root 2608 opcodes 2608 opcodes 1
rollup-tx-base-private 306830 opcodes 306830 opcodes 1
rollup-tx-base-public 262441 opcodes 262441 opcodes 1
rollup-tx-merge 1486 opcodes 1486 opcodes 1
semaphore-depth-10 5699 opcodes 5699 opcodes 1
sha512-100-bytes 13173 opcodes 13173 opcodes 1

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

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.

Compilation Time

Details
Benchmark suite Current: 4574031 Previous: 83245db Ratio
private-kernel-inner 2.008 s 2.1 s 0.96
private-kernel-reset 8.138 s 8.15 s 1.00
private-kernel-tail 1.558 s 1.534 s 1.02
rollup-block-root-first-empty-tx 1.456 s 1.398 s 1.04
rollup-block-root-single-tx 1.46 s 1.38 s 1.06
rollup-block-root 1.49 s 1.49 s 1
rollup-checkpoint-merge 1.442 s 1.436 s 1.00
rollup-checkpoint-root-single-block 407 s 412 s 0.99
rollup-checkpoint-root 403 s 400 s 1.01
rollup-root 1.534 s 1.532 s 1.00
rollup-tx-base-private 21.2 s 21.3 s 1.00
rollup-tx-base-public 85.68 s 83.1 s 1.03
rollup-tx-merge 1.426 s 1.384 s 1.03
semaphore-depth-10 0.824 s 0.803 s 1.03
sha512-100-bytes 1.658 s 1.605 s 1.03

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

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.

Execution Time

Details
Benchmark suite Current: 4574031 Previous: 83245db Ratio
private-kernel-inner 0.014 s 0.014 s 1
private-kernel-reset 0.205 s 0.206 s 1.00
private-kernel-tail 0.012 s 0.012 s 1
rollup-block-root-first-empty-tx 0.003 s 0.003 s 1
rollup-block-root-single-tx 0.002 s 0.003 s 0.67
rollup-block-root 0.004 s 0.004 s 1
rollup-checkpoint-merge 0.004 s 0.003 s 1.33
rollup-checkpoint-root-single-block 23.8 s 24 s 0.99
rollup-checkpoint-root 23.3 s 23.1 s 1.01
rollup-root 0.004 s 0.004 s 1
rollup-tx-base-private 0.341 s 0.342 s 1.00
rollup-tx-base-public 0.258 s 0.258 s 1
rollup-tx-merge 0.002 s 0.002 s 1
semaphore-depth-10 0.009 s 0.009 s 1
sha512-100-bytes 0.054 s 0.059 s 0.92

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

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.

Artifact Size

Details
Benchmark suite Current: 4574031 Previous: 83245db Ratio
private-kernel-inner 770.2 KB 770.2 KB 1
private-kernel-reset 2048.4 KB 2048.4 KB 1
private-kernel-tail 627.3 KB 627.3 KB 1
rollup-block-root-first-empty-tx 199.8 KB 199.8 KB 1
rollup-block-root-single-tx 200.2 KB 200.2 KB 1
rollup-block-root 280.4 KB 280.4 KB 1
rollup-checkpoint-merge 363.1 KB 363.1 KB 1
rollup-checkpoint-root-single-block 51638.8 KB 51639.1 KB 1.00
rollup-checkpoint-root 51677.8 KB 51678.4 KB 1.00
rollup-root 395.2 KB 395.2 KB 1
rollup-tx-base-private 5620.7 KB 5620.7 KB 1
rollup-tx-base-public 4878.6 KB 4878.7 KB 1.00
rollup-tx-merge 178.9 KB 178.9 KB 1
semaphore-depth-10 570.9 KB 570.9 KB 1
sha512-100-bytes 506.3 KB 506.3 KB 1

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

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: 4574031 Previous: 83245db Ratio
rollup-checkpoint-merge 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.

Execution Memory

Details
Benchmark suite Current: 4574031 Previous: 83245db Ratio
private-kernel-inner 260.41 MB 260.41 MB 1
private-kernel-reset 292.14 MB 292.14 MB 1
private-kernel-tail 250.83 MB 250.83 MB 1
rollup-block-root 339.1 MB 339.1 MB 1
rollup-checkpoint-merge 337.86 MB 337.86 MB 1
rollup-checkpoint-root-single-block 1760 MB 1760 MB 1
rollup-checkpoint-root 1760 MB 1760 MB 1
rollup-root 339.09 MB 339.09 MB 1
rollup-tx-base-private 526.54 MB 526.54 MB 1
rollup-tx-base-public 472.94 MB 472.94 MB 1
rollup-tx-merge 337.32 MB 337.32 MB 1
semaphore_depth_10 73.69 MB 73.69 MB 1
sha512_100_bytes 71.95 MB 71.95 MB 1

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

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.

Compilation Memory

Details
Benchmark suite Current: 4574031 Previous: 83245db Ratio
private-kernel-inner 270.2 MB 270.2 MB 1
private-kernel-reset 498.29 MB 498.29 MB 1
private-kernel-tail 256.77 MB 256.77 MB 1
rollup-block-root-first-empty-tx 339.76 MB 339.76 MB 1
rollup-block-root-single-tx 338.21 MB 338.21 MB 1
rollup-block-root 340.98 MB 340.99 MB 1.00
rollup-checkpoint-merge 340.96 MB 340.96 MB 1
rollup-checkpoint-root-single-block 11250 MB 11250 MB 1
rollup-checkpoint-root 11260 MB 11260 MB 1
rollup-root 342.5 MB 342.5 MB 1
rollup-tx-base-private 1070 MB 1070 MB 1
rollup-tx-base-public 3030 MB 3030 MB 1
rollup-tx-merge 337.78 MB 337.78 MB 1
semaphore_depth_10 92.17 MB 92.17 MB 1
sha512_100_bytes 185.46 MB 185.47 MB 1.00

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

@aakoshh aakoshh force-pushed the af/brillig-disable-dec-rc branch from 4412fed to 4574031 Compare November 5, 2025 19:12
@aakoshh aakoshh added this to the Group 6 Audited milestone Nov 5, 2025
@jfecher jfecher merged commit 5fa8647 into af/audit-brillig-gen-5 Nov 10, 2025
127 checks passed
@jfecher jfecher deleted the af/brillig-disable-dec-rc branch November 10, 2025 13:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bench-show Display benchmark results on PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants