search

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs
https://noir-lang.org
Apache License 2.0
902 stars 203 forks source link

feat: Sync from aztec-packages #6557

Closed AztecBot closed 2 days ago

AztecBot commented 3 days ago

Automated pull of Noir development from aztec-packages. BEGIN_COMMIT_OVERRIDE chore: pull loop unrolling refactor from sync PR (https://github.com/AztecProtocol/aztec-packages/pull/9975) chore: pull out array_set pass changes (https://github.com/AztecProtocol/aztec-packages/pull/9993) chore(ci): run noir tests in parallel to building e2e tests (https://github.com/AztecProtocol/aztec-packages/pull/9977) chore: replace to_radix directive with brillig (https://github.com/AztecProtocol/aztec-packages/pull/9970) chore: pull changes out of sync PR (https://github.com/AztecProtocol/aztec-packages/pull/9966) chore: pull out reference changes from sync PR (https://github.com/AztecProtocol/aztec-packages/pull/9967) chore: pull signed bitshifts from sync PR (https://github.com/AztecProtocol/aztec-packages/pull/9939) chore: pull frontend changes from sync PR (https://github.com/AztecProtocol/aztec-packages/pull/9935) feat: parallelize DIE pass (https://github.com/AztecProtocol/aztec-packages/pull/9933) chore: pull SSA parser from sync PR (https://github.com/AztecProtocol/aztec-packages/pull/9928) chore: pull noir PR #6461 from sync PR (https://github.com/AztecProtocol/aztec-packages/pull/9923) chore: update version numbers of noir packages (https://github.com/AztecProtocol/aztec-packages/pull/9922) chore: pull doc changes out of sync PR (https://github.com/AztecProtocol/aztec-packages/pull/9921) feat: Stop with HeapVector (https://github.com/AztecProtocol/aztec-packages/pull/9810) chore: even more warnings removed (https://github.com/AztecProtocol/aztec-packages/pull/9857) feat: Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/9711) feat: Encode static error strings in the ABI (https://github.com/AztecProtocol/aztec-packages/pull/9552) chore!: Remove recursive from ACIR format; add them to API and CLI (https://github.com/AztecProtocol/aztec-packages/pull/9479) fix: Typing of artifacts (https://github.com/AztecProtocol/aztec-packages/pull/9581) END_COMMIT_OVERRIDE

github-actions[bot] commented 3 days ago

Changes to Brillig bytecode sizes

Generated at commit: 5ab79e490c195e4057715de29046a21520ed9706, compared to commit: 5d5175e1c076bd651702b6c84a00c85bc4fea860

🧾 Summary (10% most significant diffs)

Program Brillig opcodes (+/-) %
assert_statement +4 ❌ +18.18%
unsafe_range_constraint +4 ❌ +17.39%
fold_distinct_return +4 ❌ +12.90%
regression_5462 +2 ❌ +12.50%
regression_5615 +2 ❌ +12.50%
2_div +6 ❌ +12.50%
comptime_slice_equality +2 ❌ +12.50%
empty +2 ❌ +12.50%
trait_inheritance +2 ❌ +12.50%
unit_value +2 ❌ +12.50%
3_add +6 ❌ +12.00%
array_to_slice_constant_length +2 ❌ +11.76%
brillig_identity_function +2 ❌ +11.76%
as_witness +2 ❌ +11.11%
brillig_fns_as_values +2 ❌ +11.11%
conditional_regression_547 +2 ❌ +11.11%
main_return +2 ❌ +11.11%
trait_as_return_type +2 ❌ +11.11%
regression_2660 +4 ❌ +10.53%
1327_concrete_in_generic +2 ❌ +10.00%
simple_not +2 ❌ +9.52%
simple_mut +2 ❌ +9.52%
simple_program_addition +2 ❌ +9.52%
Full diff report 👇
| Program | Brillig opcodes (+/-) | % | |:-|-:|-:| | **assert_statement** | 26 (+4) | **+18.18%** | | **unsafe_range_constraint** | 27 (+4) | **+17.39%** | | **fold_distinct_return** | 35 (+4) | **+12.90%** | | **regression_5462** | 18 (+2) | **+12.50%** | | **regression_5615** | 18 (+2) | **+12.50%** | | **2_div** | 54 (+6) | **+12.50%** | | **comptime_slice_equality** | 18 (+2) | **+12.50%** | | **empty** | 18 (+2) | **+12.50%** | | **trait_inheritance** | 18 (+2) | **+12.50%** | | **unit_value** | 18 (+2) | **+12.50%** | | **3_add** | 56 (+6) | **+12.00%** | | **array_to_slice_constant_length** | 19 (+2) | **+11.76%** | | **brillig_identity_function** | 19 (+2) | **+11.76%** | | **as_witness** | 20 (+2) | **+11.11%** | | **brillig_fns_as_values** | 20 (+2) | **+11.11%** | | **conditional_regression_547** | 20 (+2) | **+11.11%** | | **main_return** | 20 (+2) | **+11.11%** | | **trait_as_return_type** | 20 (+2) | **+11.11%** | | **regression_2660** | 42 (+4) | **+10.53%** | | **1327_concrete_in_generic** | 22 (+2) | **+10.00%** | | **simple_not** | 23 (+2) | **+9.52%** | | **simple_mut** | 23 (+2) | **+9.52%** | | **simple_program_addition** | 23 (+2) | **+9.52%** | | **assert** | 24 (+2) | **+9.09%** | | **regression_3607** | 48 (+4) | **+9.09%** | | **regression_3889** | 24 (+2) | **+9.09%** | | **regression_4124** | 24 (+2) | **+9.09%** | | **bool_not** | 24 (+2) | **+9.09%** | | **is_unconstrained** | 24 (+2) | **+9.09%** | | **pred_eq** | 24 (+2) | **+9.09%** | | **regression_4088** | 24 (+2) | **+9.09%** | | **custom_entry** | 24 (+2) | **+9.09%** | | **u16_support** | 49 (+4) | **+8.89%** | | **unary_operator_overloading** | 49 (+4) | **+8.89%** | | **brillig_acir_as_brillig** | 37 (+3) | **+8.82%** | | **brillig_calls** | 37 (+3) | **+8.82%** | | **fold_after_inlined_calls** | 25 (+2) | **+8.70%** | | **regression_6451** | 52 (+4) | **+8.33%** | | **traits_in_crates_2** | 26 (+2) | **+8.33%** | | **bit_not** | 26 (+2) | **+8.33%** | | **fold_basic** | 26 (+2) | **+8.33%** | | **inline_never_basic** | 26 (+2) | **+8.33%** | | **modules** | 26 (+2) | **+8.33%** | | **no_predicates_basic** | 26 (+2) | **+8.33%** | | **modules_more** | 26 (+2) | **+8.33%** | | **traits_in_crates_1** | 26 (+2) | **+8.33%** | | **diamond_deps_0** | 26 (+2) | **+8.33%** | | **field_attribute** | 26 (+2) | **+8.33%** | | **generics** | 105 (+8) | **+8.25%** | | **cast_bool** | 27 (+2) | **+8.00%** | | **missing_closure_env** | 27 (+2) | **+8.00%** | | **submodules** | 27 (+2) | **+8.00%** | | **fold_basic_nested_call** | 28 (+2) | **+7.69%** | | **databus_in_fn_with_empty_arr** | 56 (+4) | **+7.69%** | | **trait_impl_base_type** | 28 (+2) | **+7.69%** | | **databus** | 72 (+5) | **+7.46%** | | **simple_shift_left_right** | 29 (+2) | **+7.41%** | | **witness_compression** | 29 (+2) | **+7.41%** | | **signed_cmp** | 104 (+7) | **+7.22%** | | **break_and_continue** | 60 (+4) | **+7.14%** | | **struct** | 30 (+2) | **+7.14%** | | **xor** | 30 (+2) | **+7.14%** | | **brillig_recursion** | 77 (+5) | **+6.94%** | | **fold_fibonacci** | 77 (+5) | **+6.94%** | | **bool_or** | 31 (+2) | **+6.90%** | | **simple_comparison** | 31 (+2) | **+6.90%** | | **struct_fields_ordering** | 31 (+2) | **+6.90%** | | **regression_unsafe_no_predicates** | 32 (+2) | **+6.67%** | | **assign_ex** | 32 (+2) | **+6.67%** | | **closures_mut_ref** | 32 (+2) | **+6.67%** | | **acir_inside_brillig_recursion** | 82 (+5) | **+6.49%** | | **brillig_conditional** | 33 (+2) | **+6.45%** | | **brillig_unitialised_arrays** | 51 (+3) | **+6.25%** | | **databus_two_calldata_simple** | 86 (+5) | **+6.17%** | | **brillig_not** | 35 (+2) | **+6.06%** | | **regression_4202** | 125 (+7) | **+5.93%** | | **4_sub** | 36 (+2) | **+5.88%** | | **arithmetic_binary_operations** | 36 (+2) | **+5.88%** | | **no_predicates_brillig** | 37 (+2) | **+5.71%** | | **cast_and_shift_global** | 75 (+4) | **+5.63%** | | **regression_5435** | 39 (+2) | **+5.41%** | | **array_eq** | 99 (+5) | **+5.32%** | | **fold_call_witness_condition** | 120 (+6) | **+5.26%** | | **5_over** | 40 (+2) | **+5.26%** | | **conditional_regression_underflow** | 40 (+2) | **+5.26%** | | **array_neq** | 101 (+5) | **+5.21%** | | **bit_shifts_comptime** | 41 (+2) | **+5.13%** | | **struct_array_inputs** | 62 (+3) | **+5.08%** | | **brillig_loop_size_regression** | 42 (+2) | **+5.00%** | | **side_effects_constrain_array** | 129 (+6) | **+4.88%** | | **to_le_bytes** | 133 (+6) | **+4.72%** | | **simple_add_and_ret_arr** | 46 (+2) | **+4.55%** | | **loop** | 46 (+2) | **+4.55%** | | **hash_to_field** | 138 (+6) | **+4.55%** | | **brillig_cow_assign** | 140 (+6) | **+4.48%** | | **simple_array_param** | 47 (+2) | **+4.44%** | | **array_dynamic_main_output** | 94 (+4) | **+4.44%** | | **brillig_rc_regression_6123** | 182 (+7) | **+4.00%** | | **wrapping_operations** | 52 (+2) | **+4.00%** | | **bit_and** | 54 (+2) | **+3.85%** | | **to_bytes_consistent** | 135 (+5) | **+3.85%** | | **tuples** | 55 (+2) | **+3.77%** | | **type_aliases** | 57 (+2) | **+3.64%** | | **regression_mem_op_predicate** | 115 (+4) | **+3.60%** | | **7** | 144 (+5) | **+3.60%** | | **blake3** | 144 (+5) | **+3.60%** | | **brillig_blake2s** | 144 (+5) | **+3.60%** | | **import** | 63 (+2) | **+3.28%** | | **integer_array_indexing** | 64 (+2) | **+3.23%** | | **nested_arrays_from_brillig** | 65 (+2) | **+3.17%** | | **main_bool_arg** | 66 (+2) | **+3.13%** | | **single_verify_proof** | 67 (+2) | **+3.08%** | | **array_if_cond_simple** | 138 (+4) | **+2.99%** | | **brillig_constant_reference_regression** | 105 (+3) | **+2.94%** | | **regression_method_cannot_be_found** | 71 (+2) | **+2.90%** | | **simple_radix** | 74 (+2) | **+2.78%** | | **double_verify_proof** | 79 (+2) | **+2.60%** | | **binary_operator_overloading** | 396 (+10) | **+2.59%** | | **pedersen_commitment** | 205 (+5) | **+2.50%** | | **conditional_regression_421** | 83 (+2) | **+2.47%** | | **to_be_bytes** | 211 (+5) | **+2.43%** | | **regression_5045** | 87 (+2) | **+2.35%** | | **to_bytes_integration** | 88 (+2) | **+2.33%** | | **signed_div** | 178 (+4) | **+2.30%** | | **slice_loop** | 279 (+6) | **+2.20%** | | **array_len** | 96 (+2) | **+2.13%** | | **if_else_chain** | 101 (+2) | **+2.02%** | | **nested_array_dynamic_simple** | 104 (+2) | **+1.96%** | | **fmtstr_with_global** | 104 (+2) | **+1.96%** | | **simple_2d_array** | 112 (+2) | **+1.82%** | | **regression_3394** | 113 (+2) | **+1.80%** | | **simple_bitwise** | 57 (+1) | **+1.79%** | | **wildcard_type** | 290 (+5) | **+1.75%** | | **check_large_field_bits** | 292 (+5) | **+1.74%** | | **conditional_2** | 119 (+2) | **+1.71%** | | **brillig_arrays** | 120 (+2) | **+1.69%** | | **brillig_calls_conditionals** | 129 (+2) | **+1.57%** | | **embedded_curve_ops** | 132 (+2) | **+1.54%** | | **signed_division** | 201 (+3) | **+1.52%** | | **bit_shifts_runtime** | 268 (+4) | **+1.52%** | | **to_bits** | 201 (+3) | **+1.52%** | | **1_mul** | 68 (+1) | **+1.49%** | | **derive** | 147 (+2) | **+1.38%** | | **regression_capacity_tracker** | 244 (+3) | **+1.24%** | | **regression_3051** | 163 (+2) | **+1.24%** | | **reference_only_used_as_alias** | 173 (+2) | **+1.17%** | | **prelude** | 188 (+2) | **+1.08%** | | **simple_print** | 200 (+2) | **+1.01%** | | **references** | 206 (+2) | **+0.98%** | | **ecdsa_secp256r1** | 247 (+2) | **+0.82%** | | **bench_ecdsa_secp256k1** | 247 (+2) | **+0.82%** | | **signed_comparison** | 128 (+1) | **+0.79%** | | **struct_inputs** | 258 (+2) | **+0.78%** | | **slice_coercion** | 328 (+2) | **+0.61%** | | **nested_dyn_array_regression_5782** | 173 (+1) | **+0.58%** | | **array_dynamic** | 331 (+1) | **+0.30%** | | **ecdsa_secp256r1_3x** | 681 (+2) | **+0.29%** | | **brillig_oracle** | 355 (+1) | **+0.28%** | | **brillig_block_parameter_liveness** | 4,897 (+2) | **+0.04%** | | **debug_logs** | 5,008 (+2) | **+0.04%** | | **regression_4709** | 133,737 (+4) | **+0.00%** | | **strings** | 900 (-4) | **-0.44%** | | **modulus** | 1,762 (-10) | **-0.56%** | | **brillig_nested_arrays** | 171 (-1) | **-0.58%** | | **slice_regex** | 2,166 (-13) | **-0.60%** | | **global_consts** | 227 (-2) | **-0.87%** | | **array_sort** | 310 (-3) | **-0.96%** | | **poseidon2** | 378 (-4) | **-1.05%** | | **bench_2_to_17** | 371 (-4) | **-1.07%** | | **signed_arithmetic** | 268 (-3) | **-1.11%** | | **regression** | 744 (-9) | **-1.20%** | | **databus_composite_calldata** | 390 (-6) | **-1.52%** | | **aes128_encrypt** | 513 (-9) | **-1.72%** | | **fold_complex_outputs** | 542 (-10) | **-1.81%** | | **tuple_inputs** | 367 (-8) | **-2.13%** | | **slices** | 2,034 (-47) | **-2.26%** | | **fold_2_to_17** | 647 (-16) | **-2.41%** | | **bigint** | 1,993 (-52) | **-2.54%** | | **pedersen_hash** | 372 (-10) | **-2.62%** | | **brillig_pedersen** | 584 (-16) | **-2.67%** | | **pedersen_check** | 584 (-16) | **-2.67%** | | **fold_numeric_generic_poseidon** | 825 (-23) | **-2.71%** | | **no_predicates_numeric_generic_poseidon** | 825 (-23) | **-2.71%** | | **array_to_slice** | 821 (-23) | **-2.73%** | | **7_function** | 625 (-18) | **-2.80%** | | **poseidon_bn254_hash** | 5,514 (-159) | **-2.80%** | | **poseidon_bn254_hash_width_3** | 5,514 (-159) | **-2.80%** | | **keccak256** | 2,205 (-71) | **-3.12%** | | **ecdsa_secp256k1** | 982 (-32) | **-3.16%** | | **brillig_cow** | 386 (-13) | **-3.26%** | | **eddsa** | 10,795 (-364) | **-3.26%** | | **higher_order_functions** | 686 (-25) | **-3.52%** | | **simple_shield** | 865 (-32) | **-3.57%** | | **poseidonsponge_x5_254** | 4,338 (-162) | **-3.60%** | | **regression_5252** | 4,738 (-178) | **-3.62%** | | **6_array** | 409 (-16) | **-3.76%** | | **array_dynamic_blackbox_input** | 1,036 (-42) | **-3.90%** | | **array_dynamic_nested_blackbox_input** | 959 (-39) | **-3.91%** | | **u128** | 2,799 (-116) | **-3.98%** | | **regression_struct_array_conditional** | 547 (-23) | **-4.04%** | | **regression_4449** | 823 (-37) | **-4.30%** | | **sha2_byte** | 2,950 (-133) | **-4.31%** | | **conditional_1** | 1,295 (-59) | **-4.36%** | | **slice_dynamic_index** | 2,772 (-132) | **-4.55%** | | **ram_blowup_regression** | 963 (-47) | **-4.65%** | | **schnorr** | 1,422 (-70) | **-4.69%** | | **sha256_regression** | 6,838 (-338) | **-4.71%** | | **merkle_insert** | 775 (-39) | **-4.79%** | | **uhashmap** | 13,697 (-767) | **-5.30%** | | **conditional_regression_short_circuit** | 1,361 (-78) | **-5.42%** | | **sha256_var_size_regression** | 1,797 (-105) | **-5.52%** | | **sha256_var_witness_const_regression** | 1,325 (-80) | **-5.69%** | | **6** | 1,291 (-78) | **-5.70%** | | **nested_array_in_slice** | 1,200 (-79) | **-6.18%** | | **sha256_var_padding_regression** | 4,927 (-327) | **-6.22%** | | **hashmap** | 20,805 (-1,399) | **-6.30%** | | **brillig_cow_regression** | 2,270 (-155) | **-6.39%** | | **sha256** | 2,479 (-178) | **-6.70%** | | **nested_array_dynamic** | 1,995 (-150) | **-6.99%** |
github-actions[bot] commented 3 days ago

Changes to number of Brillig opcodes executed

Generated at commit: 5ab79e490c195e4057715de29046a21520ed9706, compared to commit: 5d5175e1c076bd651702b6c84a00c85bc4fea860

🧾 Summary (10% most significant diffs)

Program Brillig opcodes (+/-) %
comptime_slice_equality +2 ❌ +14.29%
empty +2 ❌ +14.29%
regression_5462 +2 ❌ +14.29%
regression_5615 +2 ❌ +14.29%
trait_inheritance +2 ❌ +14.29%
unit_value +2 ❌ +14.29%
array_to_slice_constant_length +2 ❌ +13.33%
brillig_identity_function +2 ❌ +13.33%
as_witness +2 ❌ +12.50%
brillig_fns_as_values +2 ❌ +12.50%
conditional_regression_547 +2 ❌ +12.50%
main_return +2 ❌ +12.50%
trait_as_return_type +2 ❌ +12.50%
1327_concrete_in_generic +2 ❌ +11.11%
assert +2 ❌ +11.11%
assert_statement +2 ❌ +11.11%
bool_not +2 ❌ +11.11%
custom_entry +2 ❌ +11.11%
pred_eq +2 ❌ +11.11%
regression_4088 +2 ❌ +11.11%
regression_4124 +2 ❌ +11.11%
regression_5045 +2 ❌ +11.11%
fold_after_inlined_calls +2 ❌ +10.53%
regression_5435 +2 ❌ +10.53%
simple_mut +2 ❌ +10.53%
simple_not +2 ❌ +10.53%
simple_program_addition +2 ❌ +10.53%
unsafe_range_constraint +2 ❌ +10.53%
Full diff report 👇
| Program | Brillig opcodes (+/-) | % | |:-|-:|-:| | **comptime_slice_equality** | 16 (+2) | **+14.29%** | | **empty** | 16 (+2) | **+14.29%** | | **regression_5462** | 16 (+2) | **+14.29%** | | **regression_5615** | 16 (+2) | **+14.29%** | | **trait_inheritance** | 16 (+2) | **+14.29%** | | **unit_value** | 16 (+2) | **+14.29%** | | **array_to_slice_constant_length** | 17 (+2) | **+13.33%** | | **brillig_identity_function** | 17 (+2) | **+13.33%** | | **as_witness** | 18 (+2) | **+12.50%** | | **brillig_fns_as_values** | 18 (+2) | **+12.50%** | | **conditional_regression_547** | 18 (+2) | **+12.50%** | | **main_return** | 18 (+2) | **+12.50%** | | **trait_as_return_type** | 18 (+2) | **+12.50%** | | **1327_concrete_in_generic** | 20 (+2) | **+11.11%** | | **assert** | 20 (+2) | **+11.11%** | | **assert_statement** | 20 (+2) | **+11.11%** | | **bool_not** | 20 (+2) | **+11.11%** | | **custom_entry** | 20 (+2) | **+11.11%** | | **pred_eq** | 20 (+2) | **+11.11%** | | **regression_4088** | 20 (+2) | **+11.11%** | | **regression_4124** | 20 (+2) | **+11.11%** | | **regression_5045** | 20 (+2) | **+11.11%** | | **fold_after_inlined_calls** | 21 (+2) | **+10.53%** | | **regression_5435** | 21 (+2) | **+10.53%** | | **simple_mut** | 21 (+2) | **+10.53%** | | **simple_not** | 21 (+2) | **+10.53%** | | **simple_program_addition** | 21 (+2) | **+10.53%** | | **unsafe_range_constraint** | 21 (+2) | **+10.53%** | | **bit_not** | 22 (+2) | **+10.00%** | | **field_attribute** | 22 (+2) | **+10.00%** | | **fold_basic** | 22 (+2) | **+10.00%** | | **inline_never_basic** | 22 (+2) | **+10.00%** | | **modules** | 22 (+2) | **+10.00%** | | **modules_more** | 22 (+2) | **+10.00%** | | **no_predicates_basic** | 22 (+2) | **+10.00%** | | **regression_3889** | 22 (+2) | **+10.00%** | | **regression_unsafe_no_predicates** | 22 (+2) | **+10.00%** | | **traits_in_crates_1** | 22 (+2) | **+10.00%** | | **traits_in_crates_2** | 22 (+2) | **+10.00%** | | **cast_bool** | 23 (+2) | **+9.52%** | | **missing_closure_env** | 23 (+2) | **+9.52%** | | **submodules** | 23 (+2) | **+9.52%** | | **diamond_deps_0** | 24 (+2) | **+9.09%** | | **fold_basic_nested_call** | 24 (+2) | **+9.09%** | | **struct** | 24 (+2) | **+9.09%** | | **trait_impl_base_type** | 24 (+2) | **+9.09%** | | **bool_or** | 25 (+2) | **+8.70%** | | **brillig_conditional** | 25 (+2) | **+8.70%** | | **simple_shift_left_right** | 25 (+2) | **+8.70%** | | **struct_fields_ordering** | 25 (+2) | **+8.70%** | | **witness_compression** | 25 (+2) | **+8.70%** | | **assign_ex** | 26 (+2) | **+8.33%** | | **xor** | 26 (+2) | **+8.33%** | | **fold_distinct_return** | 27 (+2) | **+8.00%** | | **no_predicates_brillig** | 27 (+2) | **+8.00%** | | **simple_comparison** | 27 (+2) | **+8.00%** | | **brillig_acir_as_brillig** | 28 (+2) | **+7.69%** | | **brillig_calls** | 28 (+2) | **+7.69%** | | **closures_mut_ref** | 28 (+2) | **+7.69%** | | **brillig_not** | 29 (+2) | **+7.41%** | | **4_sub** | 32 (+2) | **+6.67%** | | **arithmetic_binary_operations** | 32 (+2) | **+6.67%** | | **bit_shifts_comptime** | 33 (+2) | **+6.45%** | | **5_over** | 34 (+2) | **+6.25%** | | **conditional_regression_underflow** | 34 (+2) | **+6.25%** | | **regression_2660** | 34 (+2) | **+6.25%** | | **regression_3607** | 37 (+2) | **+5.71%** | | **u16_support** | 37 (+2) | **+5.71%** | | **unary_operator_overloading** | 39 (+2) | **+5.41%** | | **2_div** | 40 (+2) | **+5.26%** | | **brillig_loop_size_regression** | 40 (+2) | **+5.26%** | | **3_add** | 42 (+2) | **+5.00%** | | **loop** | 42 (+2) | **+5.00%** | | **regression_6451** | 42 (+2) | **+5.00%** | | **databus_in_fn_with_empty_arr** | 43 (+2) | **+4.88%** | | **bit_and** | 44 (+2) | **+4.76%** | | **brillig_unitialised_arrays** | 44 (+2) | **+4.76%** | | **wrapping_operations** | 44 (+2) | **+4.76%** | | **tuples** | 45 (+2) | **+4.65%** | | **simple_add_and_ret_arr** | 46 (+2) | **+4.55%** | | **simple_bitwise** | 48 (+2) | **+4.35%** | | **simple_array_param** | 54 (+2) | **+3.85%** | | **1_mul** | 57 (+2) | **+3.64%** | | **import** | 57 (+2) | **+3.64%** | | **type_aliases** | 60 (+2) | **+3.45%** | | **main_bool_arg** | 68 (+2) | **+3.03%** | | **simple_radix** | 69 (+2) | **+2.99%** | | **regression_method_cannot_be_found** | 70 (+2) | **+2.94%** | | **integer_array_indexing** | 78 (+2) | **+2.63%** | | **signed_cmp** | 81 (+2) | **+2.53%** | | **databus** | 84 (+2) | **+2.44%** | | **side_effects_constrain_array** | 86 (+2) | **+2.38%** | | **conditional_regression_421** | 89 (+2) | **+2.30%** | | **nested_array_dynamic_simple** | 90 (+2) | **+2.27%** | | **fold_call_witness_condition** | 91 (+2) | **+2.25%** | | **struct_array_inputs** | 92 (+2) | **+2.22%** | | **brillig_calls_array** | 95 (+2) | **+2.15%** | | **if_else_chain** | 98 (+2) | **+2.08%** | | **nested_arrays_from_brillig** | 98 (+2) | **+2.08%** | | **regression_mem_op_predicate** | 99 (+2) | **+2.06%** | | **fmtstr_with_global** | 103 (+2) | **+1.98%** | | **brillig_constant_reference_regression** | 105 (+2) | **+1.94%** | | **signed_comparison** | 105 (+2) | **+1.94%** | | **regression_3394** | 112 (+2) | **+1.82%** | | **brillig_calls_conditionals** | 113 (+2) | **+1.80%** | | **break_and_continue** | 116 (+2) | **+1.75%** | | **databus_two_calldata_simple** | 118 (+2) | **+1.72%** | | **conditional_regression_661** | 120 (+2) | **+1.69%** | | **conditional_2** | 122 (+2) | **+1.67%** | | **embedded_curve_ops** | 122 (+2) | **+1.67%** | | **simple_2d_array** | 131 (+2) | **+1.55%** | | **generics** | 143 (+2) | **+1.42%** | | **derive** | 144 (+2) | **+1.41%** | | **brillig_arrays** | 145 (+2) | **+1.40%** | | **brillig_nested_arrays** | 146 (+2) | **+1.39%** | | **signed_division** | 156 (+2) | **+1.30%** | | **bit_shifts_runtime** | 160 (+2) | **+1.27%** | | **regression_3051** | 163 (+2) | **+1.24%** | | **nested_dyn_array_regression_5782** | 169 (+2) | **+1.20%** | | **binary_operator_overloading** | 184 (+2) | **+1.10%** | | **array_len** | 187 (+2) | **+1.08%** | | **prelude** | 188 (+2) | **+1.08%** | | **reference_only_used_as_alias** | 194 (+2) | **+1.04%** | | **simple_print** | 200 (+2) | **+1.01%** | | **cast_and_shift_global** | 206 (+2) | **+0.98%** | | **regression_4202** | 214 (+2) | **+0.94%** | | **signed_arithmetic** | 221 (+2) | **+0.91%** | | **acir_inside_brillig_recursion** | 263 (+2) | **+0.77%** | | **pedersen_commitment** | 289 (+2) | **+0.70%** | | **array_dynamic_main_output** | 299 (+2) | **+0.67%** | | **references** | 308 (+2) | **+0.65%** | | **slice_coercion** | 325 (+2) | **+0.62%** | | **brillig_rc_regression_6123** | 358 (+2) | **+0.56%** | | **databus_two_calldata** | 455 (+2) | **+0.44%** | | **wildcard_type** | 493 (+2) | **+0.41%** | | **brillig_cow_assign** | 534 (+2) | **+0.38%** | | **array_if_cond_simple** | 544 (+2) | **+0.37%** | | **array_dynamic** | 557 (+2) | **+0.36%** | | **struct_inputs** | 566 (+2) | **+0.35%** | | **to_bits** | 614 (+2) | **+0.33%** | | **databus_composite_calldata** | 617 (+2) | **+0.33%** | | **tuple_inputs** | 638 (+2) | **+0.31%** | | **pedersen_hash** | 667 (+2) | **+0.30%** | | **array_sort** | 742 (+2) | **+0.27%** | | **to_bytes_consistent** | 754 (+2) | **+0.27%** | | **poseidon2** | 873 (+2) | **+0.23%** | | **regression_capacity_tracker** | 915 (+2) | **+0.22%** | | **hash_to_field** | 937 (+2) | **+0.21%** | | **slice_loop** | 962 (+2) | **+0.21%** | | **brillig_pedersen** | 989 (+2) | **+0.20%** | | **pedersen_check** | 989 (+2) | **+0.20%** | | **7** | 1,106 (+2) | **+0.18%** | | **blake3** | 1,106 (+2) | **+0.18%** | | **brillig_blake2s** | 1,106 (+2) | **+0.18%** | | **brillig_cow** | 1,153 (+2) | **+0.17%** | | **fold_complex_outputs** | 1,168 (+2) | **+0.17%** | | **to_le_bytes** | 1,183 (+2) | **+0.17%** | | **array_eq** | 1,250 (+2) | **+0.16%** | | **array_neq** | 1,252 (+2) | **+0.16%** | | **signed_div** | 1,294 (+2) | **+0.15%** | | **bench_ecdsa_secp256k1** | 1,376 (+2) | **+0.15%** | | **ecdsa_secp256r1** | 1,376 (+2) | **+0.15%** | | **higher_order_functions** | 1,414 (+2) | **+0.14%** | | **single_verify_proof** | 1,528 (+2) | **+0.13%** | | **nested_array_in_slice** | 1,558 (+2) | **+0.13%** | | **6_array** | 1,724 (+2) | **+0.12%** | | **strings** | 1,753 (+2) | **+0.11%** | | **global_consts** | 1,773 (+2) | **+0.11%** | | **array_to_slice** | 1,875 (+2) | **+0.11%** | | **to_bytes_integration** | 2,065 (+2) | **+0.10%** | | **double_verify_proof** | 2,197 (+2) | **+0.09%** | | **to_be_bytes** | 2,481 (+2) | **+0.08%** | | **regression_struct_array_conditional** | 2,561 (+2) | **+0.08%** | | **brillig_oracle** | 2,618 (+2) | **+0.08%** | | **check_large_field_bits** | 2,740 (+2) | **+0.07%** | | **7_function** | 2,849 (+2) | **+0.07%** | | **simple_shield** | 2,866 (+2) | **+0.07%** | | **brillig_block_parameter_liveness** | 2,912 (+2) | **+0.07%** | | **regression** | 3,117 (+2) | **+0.06%** | | **nested_array_dynamic** | 3,119 (+2) | **+0.06%** | | **slices** | 3,283 (+2) | **+0.06%** | | **slice_regex** | 3,398 (+2) | **+0.06%** | | **merkle_insert** | 3,961 (+2) | **+0.05%** | | **ecdsa_secp256r1_3x** | 4,094 (+2) | **+0.05%** | | **aes128_encrypt** | 4,483 (+2) | **+0.04%** | | **brillig_recursion** | 4,529 (+2) | **+0.04%** | | **fold_fibonacci** | 4,529 (+2) | **+0.04%** | | **array_dynamic_nested_blackbox_input** | 4,635 (+2) | **+0.04%** | | **debug_logs** | 5,021 (+2) | **+0.04%** | | **slice_dynamic_index** | 5,467 (+2) | **+0.04%** | | **conditional_1** | 6,044 (+2) | **+0.03%** | | **fold_numeric_generic_poseidon** | 6,664 (+2) | **+0.03%** | | **no_predicates_numeric_generic_poseidon** | 6,664 (+2) | **+0.03%** | | **sha256_var_witness_const_regression** | 7,040 (+2) | **+0.03%** | | **ecdsa_secp256k1** | 7,078 (+2) | **+0.03%** | | **6** | 7,361 (+2) | **+0.03%** | | **conditional_regression_short_circuit** | 7,436 (+2) | **+0.03%** | | **schnorr** | 10,354 (+2) | **+0.02%** | | **sha256** | 14,376 (+2) | **+0.01%** | | **sha256_var_size_regression** | 17,611 (+2) | **+0.01%** | | **modulus** | 19,172 (+2) | **+0.01%** | | **u128** | 26,478 (+2) | **+0.01%** | | **keccak256** | 39,763 (+2) | **+0.01%** | | **array_dynamic_blackbox_input** | 49,569 (+2) | **+0.00%** | | **hashmap** | 57,423 (+2) | **+0.00%** | | **sha2_byte** | 93,536 (+2) | **+0.00%** | | **sha256_regression** | 125,750 (+2) | **+0.00%** | | **uhashmap** | 152,017 (+2) | **+0.00%** | | **poseidon_bn254_hash** | 182,593 (+2) | **+0.00%** | | **poseidon_bn254_hash_width_3** | 182,593 (+2) | **+0.00%** | | **poseidonsponge_x5_254** | 202,562 (+2) | **+0.00%** | | **regression_4449** | 219,825 (+2) | **+0.00%** | | **sha256_var_padding_regression** | 234,845 (+2) | **+0.00%** | | **brillig_cow_regression** | 605,502 (+2) | **+0.00%** | | **eddsa** | 760,207 (+2) | **+0.00%** | | **bench_2_to_17** | 844,608 (+2) | **+0.00%** | | **ram_blowup_regression** | 877,407 (+2) | **+0.00%** | | **regression_5252** | 1,013,251 (+2) | **+0.00%** | | **fold_2_to_17** | 1,578,475 (+2) | **+0.00%** |
github-actions[bot] commented 3 days ago

🚀 Deployed on https://673d07baef79597d1c3d7d04--noir-docs.netlify.app

github-actions[bot] commented 3 days ago

FYI @noir-lang/developerrelations on Noir doc changes.

socket-security[bot] commented 2 days ago

New and removed dependencies detected. Learn more about Socket for GitHub ↗︎

Package New capabilities Transitives Size Publisher
npm/@aztec/bb.js@0.63.1 None 0 0 B

View full report↗︎