Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: Sync from aztec-packages #6301

Merged
merged 7 commits into from
Oct 22, 2024
Merged

feat: Sync from aztec-packages #6301

merged 7 commits into from
Oct 22, 2024

Conversation

AztecBot
Copy link
Collaborator

Automated pull of Noir development from aztec-packages.
BEGIN_COMMIT_OVERRIDE
feat: Sync from noir (AztecProtocol/aztec-packages#9275)
chore!: remove pedersen commitment (AztecProtocol/aztec-packages#9107)
fix: remove need for duplicate attributes on each function (AztecProtocol/aztec-packages#9244)
chore!: remove pedersen hash opcode (AztecProtocol/aztec-packages#9245)
feat!: Brillig and AVM default all uninitialized memory cells to Field 0 (AztecProtocol/aztec-packages#9057)
feat: Sync from noir (AztecProtocol/aztec-packages#9099)
chore: swap pub and unconstrained in function signatures (AztecProtocol/aztec-packages#9237)
chore!: remove keccak256 opcode from ACIR/Brillig (AztecProtocol/aztec-packages#9104)
feat!: Brillig with a stack and conditional inlining (AztecProtocol/aztec-packages#8989)
feat: Integrate databus in the private kernels (AztecProtocol/aztec-packages#9028)
feat: Sync from noir (AztecProtocol/aztec-packages#9034)
chore: prove_then_verify_ultra_honk on all existing acir tests (AztecProtocol/aztec-packages#9042)
refactor(avm)!: remove CMOV opcode (AztecProtocol/aztec-packages#9030)
feat: Sync from noir (AztecProtocol/aztec-packages#8934)
END_COMMIT_OVERRIDE

@TomAFrench
Copy link
Member

This needs an update the bb.js version but this is currently broken.

Copy link
Contributor

github-actions bot commented Oct 18, 2024

Changes to Brillig bytecode sizes

Generated at commit: 0d3b541bc5776eff9f3f4c45c76715abbc61ad6b, compared to commit: 51ae1b324cd73fdb4fe3695b5d483a44b4aff4a9

🧾 Summary (10% most significant diffs)

Program Brillig opcodes (+/-) %
pedersen_commitment +120 ❌ +179.10%
import +78 ❌ +132.20%
comptime_slice_equality +7 ❌ +87.50%
regression_5462 +7 ❌ +87.50%
regression_5615 +7 ❌ +87.50%
empty +7 ❌ +87.50%
trait_inheritance +7 ❌ +87.50%
unit_value +7 ❌ +87.50%
array_to_slice_constant_length +7 ❌ +77.78%
brillig_identity_function +7 ❌ +77.78%
as_witness +7 ❌ +70.00%
brillig_fns_as_values +7 ❌ +70.00%
main_return +7 ❌ +70.00%
trait_as_return_type +7 ❌ +70.00%
1327_concrete_in_generic +7 ❌ +58.33%
assert +7 ❌ +53.85%
assert_statement +7 ❌ +53.85%
assert_statement_recursive +7 ❌ +53.85%
custom_entry +7 ❌ +53.85%
is_unconstrained +7 ❌ +53.85%
pred_eq +7 ❌ +53.85%
regression_4088 +7 ❌ +53.85%
regression_4124 +7 ❌ +53.85%
simple_mut +7 ❌ +53.85%
simple_not +7 ❌ +53.85%
bool_not +7 ❌ +53.85%
missing_closure_env +7 ❌ +53.85%
simple_program_addition +7 ❌ +53.85%

Full diff report 👇
Program Brillig opcodes (+/-) %
pedersen_commitment 187 (+120) +179.10%
import 137 (+78) +132.20%
comptime_slice_equality 15 (+7) +87.50%
regression_5462 15 (+7) +87.50%
regression_5615 15 (+7) +87.50%
empty 15 (+7) +87.50%
trait_inheritance 15 (+7) +87.50%
unit_value 15 (+7) +87.50%
array_to_slice_constant_length 16 (+7) +77.78%
brillig_identity_function 16 (+7) +77.78%
as_witness 17 (+7) +70.00%
brillig_fns_as_values 17 (+7) +70.00%
main_return 17 (+7) +70.00%
trait_as_return_type 17 (+7) +70.00%
1327_concrete_in_generic 19 (+7) +58.33%
assert 20 (+7) +53.85%
assert_statement 20 (+7) +53.85%
assert_statement_recursive 20 (+7) +53.85%
custom_entry 20 (+7) +53.85%
is_unconstrained 20 (+7) +53.85%
pred_eq 20 (+7) +53.85%
regression_4088 20 (+7) +53.85%
regression_4124 20 (+7) +53.85%
simple_mut 20 (+7) +53.85%
simple_not 20 (+7) +53.85%
bool_not 20 (+7) +53.85%
missing_closure_env 20 (+7) +53.85%
simple_program_addition 20 (+7) +53.85%
diamond_deps_0 23 (+8) +53.33%
closures_mut_ref 21 (+7) +50.00%
fold_after_inlined_calls 21 (+7) +50.00%
unsafe_range_constraint 21 (+7) +50.00%
modules 22 (+7) +46.67%
modules_more 22 (+7) +46.67%
bit_not 22 (+7) +46.67%
brillig_references 22 (+7) +46.67%
field_attribute 22 (+7) +46.67%
fold_basic 22 (+7) +46.67%
no_predicates_basic 22 (+7) +46.67%
traits_in_crates_1 22 (+7) +46.67%
traits_in_crates_2 22 (+7) +46.67%
brillig_pedersen 720 (+222) +44.58%
pedersen_check 720 (+222) +44.58%
submodules 23 (+7) +43.75%
cast_bool 23 (+7) +43.75%
fold_basic_nested_call 24 (+7) +41.18%
trait_impl_base_type 24 (+7) +41.18%
regression_3889 21 (+6) +40.00%
simple_shield 841 (+240) +39.93%
struct 25 (+7) +38.89%
witness_compression 25 (+7) +38.89%
struct_fields_ordering 26 (+7) +36.84%
bool_or 26 (+7) +36.84%
simple_shift_left_right 26 (+7) +36.84%
xor 26 (+7) +36.84%
assign_ex 27 (+7) +35.00%
simple_comparison 27 (+7) +35.00%
regression_unsafe_no_predicates 28 (+7) +33.33%
fold_distinct_return 28 (+7) +33.33%
signed_division 189 (+47) +33.10%
brillig_conditional 29 (+7) +31.82%
brillig_acir_as_brillig 30 (+7) +30.43%
brillig_loop_size_regression 30 (+7) +30.43%
brillig_not 30 (+7) +30.43%
brillig_calls 30 (+7) +30.43%
4_sub 32 (+7) +28.00%
arithmetic_binary_operations 32 (+7) +28.00%
no_predicates_brillig 32 (+7) +28.00%
5_over 35 (+7) +25.00%
bit_shifts_comptime 35 (+7) +25.00%
regression_2660 35 (+7) +25.00%
regression_5435 35 (+7) +25.00%
conditional_regression_547 36 (+7) +24.14%
conditional_regression_underflow 37 (+7) +23.33%
tuples 39 (+7) +21.88%
u16_support 40 (+7) +21.21%
unary_operator_overloading 41 (+7) +20.59%
3_add 42 (+7) +20.00%
2_div 43 (+7) +19.44%
simple_array_param 44 (+7) +18.92%
simple_bitwise 51 (+8) +18.60%
regression_3607 45 (+7) +18.42%
simple_radix 45 (+7) +18.42%
wrapping_operations 46 (+7) +17.95%
bit_and 47 (+7) +17.50%
databus_in_fn_with_empty_arr 49 (+7) +16.67%
simple_add_and_ret_arr 43 (+6) +16.22%
brillig_unitialised_arrays 44 (+6) +15.79%
type_aliases 52 (+7) +15.56%
bit_shifts_runtime 130 (+17) +15.04%
to_bytes_integration 55 (+7) +14.58%
1_mul 56 (+7) +14.29%
break_and_continue 57 (+7) +14.00%
integer_array_indexing 58 (+7) +13.73%
nested_arrays_from_brillig 61 (+7) +12.96%
main_bool_arg 61 (+7) +12.96%
strings 1,013 (+115) +12.81%
array_dynamic_main_output 64 (+7) +12.28%
cast_and_shift_global 64 (+7) +12.28%
single_verify_proof 64 (+7) +12.28%
struct_array_inputs 56 (+6) +12.00%
signed_div 165 (+17) +11.49%
regression_method_cannot_be_found 68 (+7) +11.48%
loop 68 (+7) +11.48%
array_len 69 (+7) +11.29%
double_verify_proof_recursive 76 (+7) +10.14%
double_verify_proof 76 (+7) +10.14%
regression_5045 83 (+7) +9.21%
regression_mem_op_predicate 84 (+7) +9.09%
brillig_array_to_slice 86 (+7) +8.86%
conditional_regression_421 86 (+7) +8.86%
brillig_calls_array 87 (+7) +8.75%
signed_cmp 88 (+7) +8.64%
array_eq 89 (+7) +8.54%
array_neq 91 (+7) +8.33%
brillig_loop 92 (+7) +8.24%
nested_array_dynamic_simple 95 (+7) +7.95%
signed_arithmetic 233 (+17) +7.87%
to_le_bytes 96 (+7) +7.87%
databus 91 (+6) +7.06%
array_if_cond_simple 107 (+7) +7.00%
if_else_chain 108 (+7) +6.93%
regression_3394 110 (+7) +6.80%
regression_4202 110 (+7) +6.80%
brillig_arrays 112 (+7) +6.67%
databus_two_calldata_simple 113 (+7) +6.60%
conditional_2 113 (+7) +6.60%
side_effects_constrain_array 115 (+7) +6.48%
signed_comparison 115 (+7) +6.48%
brillig_calls_conditionals 123 (+7) +6.03%
conditional_regression_661 123 (+7) +6.03%
embedded_curve_ops 125 (+7) +5.93%
brillig_constant_reference_regression 126 (+7) +5.88%
fold_call_witness_condition 110 (+6) +5.77%
brillig_cow_assign 129 (+7) +5.74%
simple_2d_array 133 (+7) +5.56%
brillig_blake3 134 (+7) +5.51%
derive 134 (+7) +5.51%
blake3 134 (+7) +5.51%
7 134 (+7) +5.51%
brillig_blake2s 134 (+7) +5.51%
nested_dyn_array_regression_5782 134 (+7) +5.51%
brillig_assert 143 (+7) +5.15%
brillig_hash_to_field 123 (+6) +5.13%
hash_to_field 123 (+6) +5.13%
to_bytes_consistent 148 (+7) +4.96%
brillig_nested_arrays 158 (+7) +4.64%
regression_3051 160 (+7) +4.58%
brillig_rc_regression_6123 176 (+7) +4.14%
higher_order_functions 686 (+27) +4.10%
prelude 185 (+7) +3.93%
to_bits 187 (+7) +3.89%
generics 195 (+7) +3.72%
simple_print 197 (+7) +3.68%
regression_capacity_tracker 199 (+7) +3.65%
global_consts 212 (+7) +3.41%
bench_ecdsa_secp256k1 243 (+7) +2.97%
brillig_ecdsa_secp256k1 243 (+7) +2.97%
brillig_ecdsa_secp256r1 243 (+7) +2.97%
ecdsa_secp256r1 243 (+7) +2.97%
to_be_bytes 220 (+6) +2.80%
databus_two_calldata 257 (+7) +2.80%
reference_only_used_as_alias 262 (+7) +2.75%
check_large_field_bits 273 (+7) +2.63%
references 274 (+7) +2.62%
bench_2_to_17 300 (+7) +2.39%
slice_loop 300 (+7) +2.39%
poseidon2 306 (+7) +2.34%
array_dynamic 314 (+7) +2.28%
slice_coercion 321 (+7) +2.23%
wildcard_type 278 (+6) +2.21%
struct_inputs 284 (+6) +2.16%
brillig_oracle 332 (+7) +2.15%
pedersen_hash 343 (+7) +2.08%
tuple_inputs 348 (+7) +2.05%
binary_operator_overloading 394 (+7) +1.81%
brillig_cow 399 (+7) +1.79%
6_array 401 (+7) +1.78%
brillig_slices 468 (+7) +1.52%
regression_struct_array_conditional 513 (+7) +1.38%
aes128_encrypt 518 (+7) +1.37%
databus_composite_calldata 524 (+7) +1.35%
fold_2_to_17 530 (+7) +1.34%
fold_complex_outputs 543 (+7) +1.31%
7_function 574 (+7) +1.23%
ecdsa_secp256r1_3x 675 (+7) +1.05%
regression 697 (+7) +1.01%
no_predicates_numeric_generic_poseidon 705 (+7) +1.00%
fold_numeric_generic_poseidon 705 (+7) +1.00%
brillig_sha256 749 (+7) +0.94%
regression_4449 808 (+7) +0.87%
array_to_slice 914 (+7) +0.77%
array_dynamic_nested_blackbox_input 938 (+7) +0.75%
ecdsa_secp256k1 962 (+7) +0.73%
array_dynamic_blackbox_input 1,157 (+7) +0.61%
nested_array_in_slice 1,207 (+7) +0.58%
merkle_insert 1,239 (+7) +0.57%
conditional_1 1,258 (+7) +0.56%
sha256_var_witness_const_regression 1,281 (+7) +0.55%
conditional_regression_short_circuit 1,328 (+7) +0.53%
schnorr 1,408 (+7) +0.50%
keccak256 1,720 (+7) +0.41%
brillig_keccak 1,720 (+7) +0.41%
modulus 1,739 (+7) +0.40%
6 1,757 (+7) +0.40%
sha256 1,868 (+7) +0.38%
sha256_var_size_regression 1,913 (+7) +0.37%
slices 2,033 (+7) +0.35%
bigint 2,047 (+7) +0.34%
nested_array_dynamic 2,309 (+7) +0.30%
slice_regex 2,446 (+7) +0.29%
slice_dynamic_index 2,582 (+7) +0.27%
brillig_cow_regression 2,292 (+6) +0.26%
sha2_byte 3,156 (+7) +0.22%
poseidonsponge_x5_254 4,326 (+7) +0.16%
debug_logs 4,999 (+7) +0.14%
sha256_var_padding_regression 5,036 (+7) +0.14%
poseidon_bn254_hash 5,506 (+7) +0.13%
poseidon_bn254_hash_width_3 5,506 (+7) +0.13%
regression_5252 5,152 (+6) +0.12%
sha256_regression 6,910 (+7) +0.10%
eddsa 11,186 (+7) +0.06%
regression_4709 133,789 (+7) +0.01%
brillig_block_parameter_liveness 4,894 (-191) -3.76%
hashmap 24,849 (-1,523) -5.78%
u128 2,733 (-374) -12.04%
array_sort 288 (-52) -15.29%
brillig_recursion 67 (-25) -27.17%
fold_fibonacci 67 (-25) -27.17%
acir_inside_brillig_recursion 72 (-34) -32.08%
uhashmap 15,537 (-7,978) -33.93%

* master:
  fix: Allow array map on empty arrays (#6305)
  fix: Display function name and body when inlining recursion limit hit (#6291)
  feat(interpreter): Comptime derive generators (#6303)
  fix: enforce correctness of decompositions performed at compile time (#6278)
  feat: Warn about private types leaking in public functions and struct fields (#6296)
  chore(docs): refactoring guides and some other nits (#6175)
Copy link

socket-security bot commented Oct 22, 2024

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

Package New capabilities Transitives Size Publisher
npm/@aztec/[email protected] None 0 189 MB charlielye
npm/@types/[email protected] None 0 95.9 kB types
npm/@types/[email protected] None 0 1.72 kB types

View full report↗︎

Copy link
Contributor

github-actions bot commented Oct 22, 2024

Changes to circuit sizes

Generated at commit: 0d3b541bc5776eff9f3f4c45c76715abbc61ad6b, compared to commit: 51ae1b324cd73fdb4fe3695b5d483a44b4aff4a9

🧾 Summary (10% most significant diffs)

Program ACIR opcodes (+/-) % Circuit size (+/-) %
acir_inside_brillig_recursion 0 ➖ +∞% +11 ❌ +220.00%
array_to_slice_constant_length 0 ➖ 0.00% +11 ❌ +220.00%
break_and_continue 0 ➖ 0.00% +11 ❌ +220.00%
brillig_arrays 0 ➖ 0.00% +11 ❌ +220.00%
brillig_blake3 0 ➖ 0.00% +11 ❌ +220.00%
brillig_constant_reference_regression 0 ➖ 0.00% +11 ❌ +220.00%
brillig_cow 0 ➖ 0.00% +11 ❌ +220.00%
brillig_cow_assign 0 ➖ 0.00% +11 ❌ +220.00%
brillig_oracle 0 ➖ 0.00% +11 ❌ +220.00%
brillig_pedersen 0 ➖ 0.00% +11 ❌ +220.00%
brillig_rc_regression_6123 0 ➖ 0.00% +11 ❌ +220.00%
brillig_references 0 ➖ 0.00% +11 ❌ +220.00%
brillig_slices 0 ➖ 0.00% +11 ❌ +220.00%
cast_and_shift_global 0 ➖ +∞% +11 ❌ +220.00%
check_large_field_bits 0 ➖ +∞% +11 ❌ +220.00%
comptime_println 0 ➖ 0.00% +11 ❌ +220.00%
comptime_slice_equality 0 ➖ +∞% +11 ❌ +220.00%
derive 0 ➖ 0.00% +11 ❌ +220.00%
empty 0 ➖ +∞% +11 ❌ +220.00%
is_unconstrained 0 ➖ +∞% +11 ❌ +220.00%
prelude 0 ➖ 0.00% +11 ❌ +220.00%
regression_3051 0 ➖ 0.00% +11 ❌ +220.00%
regression_3394 0 ➖ 0.00% +11 ❌ +220.00%
regression_5462 0 ➖ +∞% +11 ❌ +220.00%
regression_5615 0 ➖ 0.00% +11 ❌ +220.00%
regression_method_cannot_be_found 0 ➖ 0.00% +11 ❌ +220.00%
slice_regex 0 ➖ 0.00% +11 ❌ +220.00%
to_bits 0 ➖ +∞% +11 ❌ +220.00%
trait_inheritance 0 ➖ +∞% +11 ❌ +220.00%
uhashmap 0 ➖ 0.00% +11 ❌ +220.00%
unit_value 0 ➖ +∞% +11 ❌ +220.00%

Full diff report 👇
Program ACIR opcodes (+/-) % Circuit size (+/-) %
acir_inside_brillig_recursion 0 (0) +∞% 16 (+11) +220.00%
array_to_slice_constant_length 1 (0) 0.00% 16 (+11) +220.00%
break_and_continue 1 (0) 0.00% 16 (+11) +220.00%
brillig_arrays 2 (0) 0.00% 16 (+11) +220.00%
brillig_blake3 1 (0) 0.00% 16 (+11) +220.00%
brillig_constant_reference_regression 1 (0) 0.00% 16 (+11) +220.00%
brillig_cow 1 (0) 0.00% 16 (+11) +220.00%
brillig_cow_assign 1 (0) 0.00% 16 (+11) +220.00%
brillig_oracle 7 (0) 0.00% 16 (+11) +220.00%
brillig_pedersen 1 (0) 0.00% 16 (+11) +220.00%
brillig_rc_regression_6123 1 (0) 0.00% 16 (+11) +220.00%
brillig_references 1 (0) 0.00% 16 (+11) +220.00%
brillig_slices 1 (0) 0.00% 16 (+11) +220.00%
cast_and_shift_global 0 (0) +∞% 16 (+11) +220.00%
check_large_field_bits 0 (0) +∞% 16 (+11) +220.00%
comptime_println 1 (0) 0.00% 16 (+11) +220.00%
comptime_slice_equality 0 (0) +∞% 16 (+11) +220.00%
derive 1 (0) 0.00% 16 (+11) +220.00%
empty 0 (0) +∞% 16 (+11) +220.00%
is_unconstrained 0 (0) +∞% 16 (+11) +220.00%
prelude 2 (0) 0.00% 16 (+11) +220.00%
regression_3051 2 (0) 0.00% 16 (+11) +220.00%
regression_3394 1 (0) 0.00% 16 (+11) +220.00%
regression_5462 0 (0) +∞% 16 (+11) +220.00%
regression_5615 1 (0) 0.00% 16 (+11) +220.00%
regression_method_cannot_be_found 1 (0) 0.00% 16 (+11) +220.00%
slice_regex 9 (0) 0.00% 16 (+11) +220.00%
to_bits 0 (0) +∞% 16 (+11) +220.00%
trait_inheritance 0 (0) +∞% 16 (+11) +220.00%
uhashmap 1 (0) 0.00% 16 (+11) +220.00%
unit_value 0 (0) +∞% 16 (+11) +220.00%
assert 1 (0) 0.00% 17 (+11) +183.33%
bit_not 1 (0) 0.00% 17 (+11) +183.33%
bool_not 1 (0) 0.00% 17 (+11) +183.33%
brillig_loop 1 (0) 0.00% 17 (+11) +183.33%
closures_mut_ref 1 (0) 0.00% 17 (+11) +183.33%
custom_entry 1 (0) 0.00% 17 (+11) +183.33%
generics 1 (0) 0.00% 17 (+11) +183.33%
loop 1 (0) 0.00% 17 (+11) +183.33%
missing_closure_env 1 (0) 0.00% 17 (+11) +183.33%
nested_arrays_from_brillig 2 (0) 0.00% 17 (+11) +183.33%
pred_eq 1 (0) 0.00% 17 (+11) +183.33%
regression_4088 1 (0) 0.00% 17 (+11) +183.33%
regression_4124 1 (0) 0.00% 17 (+11) +183.33%
trait_impl_base_type 1 (0) 0.00% 17 (+11) +183.33%
brillig_loop_size_regression 1 (0) 0.00% 16 (+10) +166.67%
no_predicates_brillig 1 (0) 0.00% 16 (+10) +166.67%
simple_print 2 (0) 0.00% 16 (+10) +166.67%
assign_ex 2 (0) 0.00% 18 (+11) +157.14%
slice_loop 2 (0) 0.00% 18 (+11) +157.14%
struct 2 (0) 0.00% 18 (+11) +157.14%
tuples 2 (0) 0.00% 18 (+11) +157.14%
1327_concrete_in_generic 1 (0) 0.00% 17 (+10) +142.86%
as_witness 1 (0) 0.00% 17 (+10) +142.86%
assert_statement 1 (0) 0.00% 17 (+10) +142.86%
assert_statement_recursive 1 (0) 0.00% 17 (+10) +142.86%
brillig_hash_to_field 2 (0) 0.00% 17 (+10) +142.86%
conditional_regression_547 1 (0) 0.00% 17 (+10) +142.86%
fold_basic 5 (0) 0.00% 17 (+10) +142.86%
fold_basic_nested_call 3 (0) 0.00% 17 (+10) +142.86%
higher_order_functions 1 (0) 0.00% 17 (+10) +142.86%
overlapping_dep_and_mod 1 (0) 0.00% 17 (+10) +142.86%
regression_3889 1 (0) 0.00% 17 (+10) +142.86%
simple_add_and_ret_arr 1 (0) 0.00% 17 (+10) +142.86%
simple_array_param 1 (0) 0.00% 17 (+10) +142.86%
simple_mut 1 (0) 0.00% 17 (+10) +142.86%
simple_program_addition 1 (0) 0.00% 17 (+10) +142.86%
slice_coercion 2 (0) 0.00% 17 (+10) +142.86%
struct_array_inputs 1 (0) 0.00% 17 (+10) +142.86%
traits_in_crates_1 1 (0) 0.00% 17 (+10) +142.86%
traits_in_crates_2 1 (0) 0.00% 17 (+10) +142.86%
bool_or 3 (0) 0.00% 19 (+11) +137.50%
brillig_array_to_slice 4 (0) 0.00% 19 (+11) +137.50%
regression_5435 5 (0) 0.00% 19 (+11) +137.50%
submodules 3 (0) 0.00% 19 (+11) +137.50%
import 7 (+2) +40.00% 21 (+12) +133.33%
brillig_cow_regression 1 (0) 0.00% 16 (+9) +128.57%
simple_not 2 (0) 0.00% 18 (+10) +125.00%
brillig_conditional 6 (0) 0.00% 20 (+11) +122.22%
cast_bool 5 (0) 0.00% 20 (+11) +122.22%
modules_more 5 (0) 0.00% 20 (+11) +122.22%
regression_4202 4 (0) 0.00% 20 (+11) +122.22%
simple_2d_array 4 (0) 0.00% 20 (+11) +122.22%
simple_radix 5 (0) 0.00% 20 (+11) +122.22%
diamond_deps_0 1 (0) 0.00% 17 (+9) +112.50%
main_return 1 (0) 0.00% 17 (+9) +112.50%
references 6 (0) 0.00% 21 (+11) +110.00%
type_aliases 6 (0) 0.00% 21 (+11) +110.00%
brillig_identity_function 9 (0) 0.00% 22 (+11) +100.00%
modules 5 (0) 0.00% 20 (+10) +100.00%
no_predicates_basic 5 (0) 0.00% 20 (+10) +100.00%
struct_fields_ordering 2 (0) 0.00% 18 (+9) +100.00%
brillig_nested_arrays 10 (0) 0.00% 23 (+11) +91.67%
main_bool_arg 8 (0) 0.00% 23 (+11) +91.67%
witness_compression 6 (0) 0.00% 21 (+9) +75.00%
fold_call_witness_condition 5 (0) 0.00% 19 (+8) +72.73%
fold_numeric_generic_poseidon 8 (0) 0.00% 21 (+8) +61.54%
brillig_unitialised_arrays 5 (0) 0.00% 27 (+10) +58.82%
wildcard_type 4 (0) 0.00% 20 (+7) +53.85%
nested_array_dynamic_simple 16 (0) 0.00% 49 (+12) +32.43%
array_eq 32 (0) 0.00% 48 (+11) +29.73%
regression_unsafe_no_predicates 10 (0) 0.00% 72 (+13) +22.03%
conditional_regression_underflow 13 (0) 0.00% 73 (+13) +21.67%
to_bytes_consistent 47 (0) 0.00% 62 (+11) +21.57%
debug_logs 46 (0) 0.00% 73 (+12) +19.67%
array_len 17 (0) 0.00% 82 (+13) +18.84%
array_sort 53 (0) 0.00% 128 (+14) +12.28%
bench_poseidon2_hash 4 (0) 0.00% 95 (+10) +11.76%
array_to_slice 64 (0) 0.00% 289 (+27) +10.31%
array_neq 159 (0) 0.00% 143 (+11) +8.33%
brillig_sha256 97 (0) 0.00% 175 (+13) +8.02%
signed_cmp 65 (0) 0.00% 233 (+17) +7.87%
brillig_blake2s 102 (0) 0.00% 181 (+13) +7.74%
poseidon2 5 (0) 0.00% 172 (+11) +6.83%
signed_comparison 143 (0) 0.00% 298 (+17) +6.05%
global_consts 167 (0) 0.00% 151 (+8) +5.59%
brillig_ecdsa_secp256k1 162 (0) 0.00% 264 (+13) +5.18%
brillig_ecdsa_secp256r1 162 (0) 0.00% 264 (+13) +5.18%
array_dynamic_main_output 33 (0) 0.00% 179 (+8) +4.68%
modulus 286 (0) 0.00% 302 (+11) +3.78%
signed_div 510 (0) 0.00% 538 (+15) +2.87%
to_bytes_integration 429 (0) 0.00% 497 (+13) +2.69%
nested_array_dynamic 3,822 (0) 0.00% 13,258 (+336) +2.60%
bench_poseidon_hash 407 (0) 0.00% 423 (+10) +2.42%
slice_dynamic_index 1,199 (0) 0.00% 6,564 (+131) +2.04%
nested_array_in_slice 1,005 (0) 0.00% 5,551 (+102) +1.87%
slices 919 (0) 0.00% 3,994 (+42) +1.06%
regression_5045 11 (0) 0.00% 1,241 (+12) +0.98%
regression_capacity_tracker 115 (0) 0.00% 3,965 (+37) +0.94%
poseidon_bn254_hash 1,053 (0) 0.00% 1,069 (+9) +0.85%
poseidonsponge_x5_254 1,302 (0) 0.00% 1,318 (+11) +0.84%
array_dynamic 107 (0) 0.00% 3,716 (+30) +0.81%
nested_dyn_array_regression_5782 32 (0) 0.00% 2,859 (+22) +0.78%
array_if_cond_simple 111 (0) 0.00% 3,134 (+24) +0.77%
databus_two_calldata 44 (0) 0.00% 2,882 (+21) +0.73%
regression_struct_array_conditional 72 (0) 0.00% 3,204 (+23) +0.72%
databus_composite_calldata 143 (0) 0.00% 3,138 (+22) +0.71%
regression_mem_op_predicate 58 (0) 0.00% 3,587 (+24) +0.67%
bit_shifts_comptime 13 (0) 0.00% 2,844 (+19) +0.67%
no_predicates_numeric_generic_poseidon 53 (0) 0.00% 1,208 (+8) +0.67%
brillig_assert 12 (0) 0.00% 2,783 (+18) +0.65%
regression 158 (0) 0.00% 3,694 (+23) +0.63%
u16_support 263 (0) 0.00% 3,076 (+19) +0.62%
arithmetic_binary_operations 18 (0) 0.00% 2,789 (+17) +0.61%
brillig_not 24 (0) 0.00% 2,802 (+17) +0.61%
simple_shift_left_right 14 (0) 0.00% 2,818 (+17) +0.61%
5_over 21 (0) 0.00% 3,489 (+21) +0.61%
poseidon_bn254_hash_width_3 1,488 (0) 0.00% 1,504 (+9) +0.60%
signed_arithmetic 189 (0) 0.00% 2,937 (+17) +0.58%
wrapping_operations 34 (0) 0.00% 2,945 (+17) +0.58%
tuple_inputs 43 (0) 0.00% 3,649 (+21) +0.58%
databus_two_calldata_simple 15 (0) 0.00% 2,795 (+16) +0.58%
signed_division 207 (0) 0.00% 3,678 (+21) +0.57%
u128 782 (0) 0.00% 4,734 (+27) +0.57%
brillig_keccak 164 (0) 0.00% 3,075 (+17) +0.56%
4_sub 14 (0) 0.00% 3,478 (+19) +0.55%
fold_after_inlined_calls 2 (0) 0.00% 2,760 (+15) +0.55%
reference_only_used_as_alias 2 (0) 0.00% 2,760 (+15) +0.55%
simple_comparison 24 (0) 0.00% 3,496 (+19) +0.55%
trait_as_return_type 1 (0) 0.00% 2,760 (+15) +0.55%
brillig_recursion 3 (0) 0.00% 2,761 (+15) +0.55%
fold_fibonacci 3 (0) 0.00% 2,761 (+15) +0.55%
field_attribute 5 (0) 0.00% 2,764 (+15) +0.55%
brillig_acir_as_brillig 8 (0) 0.00% 2,765 (+15) +0.55%
brillig_calls 9 (0) 0.00% 2,765 (+15) +0.55%
brillig_calls_array 6 (0) 0.00% 2,765 (+15) +0.55%
databus_in_fn_with_empty_arr 6 (0) 0.00% 2,765 (+15) +0.55%
brillig_calls_conditionals 9 (0) 0.00% 2,767 (+15) +0.55%
unsafe_range_constraint 1 (0) 0.00% 2,769 (+15) +0.54%
unary_operator_overloading 14 (0) 0.00% 2,771 (+15) +0.54%
3_add 12 (0) 0.00% 2,773 (+15) +0.54%
1_mul 12 (0) 0.00% 2,775 (+15) +0.54%
regression_2660 18 (0) 0.00% 2,775 (+15) +0.54%
brillig_fns_as_values 23 (0) 0.00% 2,776 (+15) +0.54%
conditional_2 22 (0) 0.00% 2,782 (+15) +0.54%
2_div 25 (0) 0.00% 2,786 (+15) +0.54%
conditional_regression_421 32 (0) 0.00% 2,793 (+15) +0.54%
conditional_regression_661 30 (0) 0.00% 2,797 (+15) +0.54%
regression_3607 43 (0) 0.00% 2,804 (+15) +0.54%
if_else_chain 47 (0) 0.00% 2,809 (+15) +0.54%
bit_shifts_runtime 2,148 (0) 0.00% 5,791 (+30) +0.52%
integer_array_indexing 3 (0) 0.00% 2,762 (+14) +0.51%
fold_distinct_return 5 (0) 0.00% 2,764 (+14) +0.51%
side_effects_constrain_array 9 (0) 0.00% 2,768 (+14) +0.51%
fold_complex_outputs 31 (0) 0.00% 2,791 (+14) +0.50%
7_function 234 (0) 0.00% 3,007 (+15) +0.50%
regression_4709 72 (0) 0.00% 2,919 (+14) +0.48%
6_array 415 (0) 0.00% 4,055 (+19) +0.47%
embedded_curve_ops 8 (0) 0.00% 4,207 (+19) +0.45%
bigint 1,185 (0) 0.00% 8,124 (+36) +0.45%
bench_eddsa_poseidon 17,922 (0) 0.00% 20,762 (+13) +0.06%
eddsa 70,294 (0) 0.00% 70,416 (+10) +0.01%
fold_2_to_17 6,214 (0) 0.00% 124,332 (+11) +0.01%
sha2_byte 20,290 (0) 0.00% 94,020 (+8) +0.01%
bench_2_to_17 6,536 (0) 0.00% 130,735 (+11) +0.01%
sha256_var_size_regression 19,234 (0) 0.00% 74,597 (-4) -0.01%
hashmap 93,383 (0) 0.00% 150,529 (-132) -0.09%
regression_5252 76,998 (0) 0.00% 83,741 (-121) -0.14%
bench_poseidon_hash_30 12,210 (0) 0.00% 12,226 (-19) -0.16%
sha256_regression 39,181 (0) 0.00% 202,702 (-403) -0.20%
regression_4449 26,467 (0) 0.00% 306,114 (-665) -0.22%
bench_poseidon_hash_100 40,700 (0) 0.00% 40,716 (-89) -0.22%
struct_inputs 28 (0) 0.00% 2,833 (-8) -0.28%
sha256_var_padding_regression 15,062 (0) 0.00% 208,912 (-965) -0.46%
ecdsa_secp256k1 767 (0) 0.00% 43,812 (-292) -0.66%
bench_ecdsa_secp256k1 162 (0) 0.00% 39,275 (-264) -0.67%
ecdsa_secp256r1 162 (0) 0.00% 70,778 (-548) -0.77%
bench_poseidon2_hash_30 62 (0) 0.00% 2,328 (-19) -0.81%
ecdsa_secp256r1_3x 486 (0) 0.00% 204,916 (-1,696) -0.82%
bench_sha256_30 11,679 (0) 0.00% 132,757 (-1,145) -0.86%
bench_sha256_100 38,909 (0) 0.00% 434,298 (-3,874) -0.88%
bench_poseidon2_hash_100 202 (0) 0.00% 7,718 (-89) -1.14%
double_verify_nested_proof 2 (0) 0.00% 576,287 (-6,860) -1.18%
single_verify_proof 1 (0) 0.00% 269,952 (-3,287) -1.20%
double_verify_proof 2 (0) 0.00% 547,949 (-6,678) -1.20%
double_verify_proof_recursive 2 (0) 0.00% 547,949 (-6,678) -1.20%
to_be_bytes 84 (0) 0.00% 125 (-18) -12.59%
to_le_bytes 83 (0) 0.00% 121 (-18) -12.95%
xor 8 (0) 0.00% 3,147 (-959) -23.36%
bit_and 46 (0) 0.00% 3,062 (-1,050) -25.54%
binary_operator_overloading 563 (0) 0.00% 4,692 (-3,522) -42.88%
array_dynamic_blackbox_input 1,990 (0) 0.00% 22,811 (-24,817) -52.11%
sha256 2,410 (0) 0.00% 22,603 (-25,025) -52.54%
schnorr 1,639 (0) 0.00% 23,981 (-30,407) -55.91%
sha256_var_witness_const_regression 1,983 (0) 0.00% 18,252 (-26,468) -59.19%
keccak256 137 (0) 0.00% 20,151 (-34,719) -63.28%
simple_bitwise 18 (0) 0.00% 2,954 (-5,260) -64.04%
conditional_1 4,625 (0) 0.00% 12,850 (-26,054) -66.97%
conditional_regression_short_circuit 849 (0) 0.00% 12,229 (-29,583) -70.75%
6 821 (0) 0.00% 12,205 (-29,607) -70.81%
array_dynamic_nested_blackbox_input 496 (0) 0.00% 8,121 (-30,783) -79.13%
aes128_encrypt 143 (0) 0.00% 1,623 (-6,258) -79.41%
bench_sha256 398 (0) 0.00% 7,830 (-31,074) -79.87%
strings 40 (+2) +5.26% 2,802 (-11,571) -80.51%
hash_to_field 613 (0) 0.00% 3,629 (-15,799) -81.32%
merkle_insert 1,803 (0) 0.00% 5,420 (-23,612) -81.33%
simple_shield 53 (-8) -13.11% 4,872 (-24,160) -83.22%
7 70 (0) 0.00% 2,937 (-16,413) -84.82%
blake3 70 (0) 0.00% 2,181 (-16,593) -88.38%
pedersen_check 24 (-18) -42.86% 3,176 (-25,682) -88.99%
pedersen_commitment 8 (-3) -27.27% 2,928 (-25,814) -89.81%
pedersen_hash 6 (0) 0.00% 2,912 (-25,830) -89.87%
brillig_block_parameter_liveness 1 (0) 0.00% 16 (-389) -96.05%

@TomAFrench TomAFrench added this pull request to the merge queue Oct 22, 2024
Merged via the queue into master with commit 70dcf4a Oct 22, 2024
48 checks passed
@TomAFrench TomAFrench deleted the aztec-packages branch October 22, 2024 11:22
TomAFrench added a commit that referenced this pull request Oct 22, 2024
* master:
  feat: Sync from aztec-packages (#6301)
  fix: Allow array map on empty arrays (#6305)
  fix: Display function name and body when inlining recursion limit hit (#6291)
  feat(interpreter): Comptime derive generators (#6303)
  fix: enforce correctness of decompositions performed at compile time (#6278)
  feat: Warn about private types leaking in public functions and struct fields (#6296)
  chore(docs): refactoring guides and some other nits (#6175)
  fix: Do not warn on unused self in traits (#6298)
  fix: Reject invalid expression with in CLI parser (#6287)
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Oct 22, 2024
fix: Allow array map on empty arrays (noir-lang/noir#6305)
fix: Display function name and body when inlining recursion limit hit (noir-lang/noir#6291)
feat(interpreter): Comptime derive generators (noir-lang/noir#6303)
fix: enforce correctness of decompositions performed at compile time (noir-lang/noir#6278)
feat: Warn about private types leaking in public functions and struct fields (noir-lang/noir#6296)
chore(docs): refactoring guides and some other nits (noir-lang/noir#6175)
fix: Do not warn on unused self in traits (noir-lang/noir#6298)
fix: Reject invalid expression with in CLI parser (noir-lang/noir#6287)
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Oct 22, 2024
feat: Sync from aztec-packages (noir-lang/noir#6301)
fix: Allow array map on empty arrays (noir-lang/noir#6305)
fix: Display function name and body when inlining recursion limit hit (noir-lang/noir#6291)
feat(interpreter): Comptime derive generators (noir-lang/noir#6303)
fix: enforce correctness of decompositions performed at compile time (noir-lang/noir#6278)
feat: Warn about private types leaking in public functions and struct fields (noir-lang/noir#6296)
chore(docs): refactoring guides and some other nits (noir-lang/noir#6175)
fix: Do not warn on unused self in traits (noir-lang/noir#6298)
fix: Reject invalid expression with in CLI parser (noir-lang/noir#6287)
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Oct 22, 2024
feat: Sync from aztec-packages (noir-lang/noir#6301)
fix: Allow array map on empty arrays (noir-lang/noir#6305)
fix: Display function name and body when inlining recursion limit hit (noir-lang/noir#6291)
feat(interpreter): Comptime derive generators (noir-lang/noir#6303)
fix: enforce correctness of decompositions performed at compile time (noir-lang/noir#6278)
feat: Warn about private types leaking in public functions and struct fields (noir-lang/noir#6296)
chore(docs): refactoring guides and some other nits (noir-lang/noir#6175)
fix: Do not warn on unused self in traits (noir-lang/noir#6298)
fix: Reject invalid expression with in CLI parser (noir-lang/noir#6287)
TomAFrench added a commit that referenced this pull request Oct 22, 2024
* master: (202 commits)
  chore: remove usage of slices in pedersen hash (#6295)
  chore: remove dead function (#6308)
  feat: new formatter (#6300)
  feat: Sync from aztec-packages (#6301)
  fix: Allow array map on empty arrays (#6305)
  fix: Display function name and body when inlining recursion limit hit (#6291)
  feat(interpreter): Comptime derive generators (#6303)
  fix: enforce correctness of decompositions performed at compile time (#6278)
  feat: Warn about private types leaking in public functions and struct fields (#6296)
  chore(docs): refactoring guides and some other nits (#6175)
  fix: Do not warn on unused self in traits (#6298)
  fix: Reject invalid expression with in CLI parser (#6287)
  chore: regression test for #5462 (#6286)
  feat(improve): Remove scan through globals (#6282)
  feat: show LSP diagnostic related information (#6277)
  feat: trait inheritance (#6252)
  feat: optimize reading a workspace's files (#6281)
  fix: prevent compiler panic when popping from empty slices (#6274)
  feat(test): Include the PoseidonHasher in the fuzzing (#6280)
  feat: slightly improve "unexpected token" error message (#6279)
  ...
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Oct 23, 2024
…/noir#6295)

chore: remove dead function (noir-lang/noir#6308)
feat: new formatter (noir-lang/noir#6300)
feat: Sync from aztec-packages (noir-lang/noir#6301)
fix: Allow array map on empty arrays (noir-lang/noir#6305)
fix: Display function name and body when inlining recursion limit hit (noir-lang/noir#6291)
feat(interpreter): Comptime derive generators (noir-lang/noir#6303)
fix: enforce correctness of decompositions performed at compile time (noir-lang/noir#6278)
feat: Warn about private types leaking in public functions and struct fields (noir-lang/noir#6296)
chore(docs): refactoring guides and some other nits (noir-lang/noir#6175)
fix: Do not warn on unused self in traits (noir-lang/noir#6298)
fix: Reject invalid expression with in CLI parser (noir-lang/noir#6287)
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Oct 23, 2024
chore: remove dead function (noir-lang/noir#6308)
feat: new formatter (noir-lang/noir#6300)
feat: Sync from aztec-packages (noir-lang/noir#6301)
fix: Allow array map on empty arrays (noir-lang/noir#6305)
fix: Display function name and body when inlining recursion limit hit (noir-lang/noir#6291)
feat(interpreter): Comptime derive generators (noir-lang/noir#6303)
fix: enforce correctness of decompositions performed at compile time (noir-lang/noir#6278)
feat: Warn about private types leaking in public functions and struct fields (noir-lang/noir#6296)
chore(docs): refactoring guides and some other nits (noir-lang/noir#6175)
fix: Do not warn on unused self in traits (noir-lang/noir#6298)
fix: Reject invalid expression with in CLI parser (noir-lang/noir#6287)
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Oct 23, 2024
…ompilation time (noir-lang/noir#6307)

chore: update `noir-edwards` repo to point at `noir-lang` org (noir-lang/noir#6323)
feat: Sha256 refactoring and benchmark with longer input (noir-lang/noir#6318)
chore: Release Noir(0.36.0) (noir-lang/noir#6213)
chore: remove usage of slices in pedersen hash (noir-lang/noir#6295)
chore: remove dead function (noir-lang/noir#6308)
feat: new formatter (noir-lang/noir#6300)
feat: Sync from aztec-packages (noir-lang/noir#6301)
fix: Allow array map on empty arrays (noir-lang/noir#6305)
fix: Display function name and body when inlining recursion limit hit (noir-lang/noir#6291)
feat(interpreter): Comptime derive generators (noir-lang/noir#6303)
fix: enforce correctness of decompositions performed at compile time (noir-lang/noir#6278)
feat: Warn about private types leaking in public functions and struct fields (noir-lang/noir#6296)
chore(docs): refactoring guides and some other nits (noir-lang/noir#6175)
fix: Do not warn on unused self in traits (noir-lang/noir#6298)
fix: Reject invalid expression with in CLI parser (noir-lang/noir#6287)
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Oct 23, 2024
…ime (noir-lang/noir#6307)

chore: update `noir-edwards` repo to point at `noir-lang` org (noir-lang/noir#6323)
feat: Sha256 refactoring and benchmark with longer input (noir-lang/noir#6318)
chore: Release Noir(0.36.0) (noir-lang/noir#6213)
chore: remove usage of slices in pedersen hash (noir-lang/noir#6295)
chore: remove dead function (noir-lang/noir#6308)
feat: new formatter (noir-lang/noir#6300)
feat: Sync from aztec-packages (noir-lang/noir#6301)
fix: Allow array map on empty arrays (noir-lang/noir#6305)
fix: Display function name and body when inlining recursion limit hit (noir-lang/noir#6291)
feat(interpreter): Comptime derive generators (noir-lang/noir#6303)
fix: enforce correctness of decompositions performed at compile time (noir-lang/noir#6278)
feat: Warn about private types leaking in public functions and struct fields (noir-lang/noir#6296)
chore(docs): refactoring guides and some other nits (noir-lang/noir#6175)
fix: Do not warn on unused self in traits (noir-lang/noir#6298)
fix: Reject invalid expression with in CLI parser (noir-lang/noir#6287)
TomAFrench added a commit to AztecProtocol/aztec-packages that referenced this pull request Oct 23, 2024
Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
feat(ssa): Various mem2reg reverts to reduce memory and compilation time
(noir-lang/noir#6307)
chore: update `noir-edwards` repo to point at `noir-lang` org
(noir-lang/noir#6323)
feat: Sha256 refactoring and benchmark with longer input
(noir-lang/noir#6318)
chore: Release Noir(0.36.0)
(noir-lang/noir#6213)
chore: remove usage of slices in pedersen hash
(noir-lang/noir#6295)
chore: remove dead function
(noir-lang/noir#6308)
feat: new formatter (noir-lang/noir#6300)
feat: Sync from aztec-packages
(noir-lang/noir#6301)
fix: Allow array map on empty arrays
(noir-lang/noir#6305)
fix: Display function name and body when inlining recursion limit hit
(noir-lang/noir#6291)
feat(interpreter): Comptime derive generators
(noir-lang/noir#6303)
fix: enforce correctness of decompositions performed at compile time
(noir-lang/noir#6278)
feat: Warn about private types leaking in public functions and struct
fields (noir-lang/noir#6296)
chore(docs): refactoring guides and some other nits
(noir-lang/noir#6175)
fix: Do not warn on unused self in traits
(noir-lang/noir#6298)
fix: Reject invalid expression with in CLI parser
(noir-lang/noir#6287)
END_COMMIT_OVERRIDE

---------

Co-authored-by: Tom French <[email protected]>
AztecBot added a commit to AztecProtocol/aztec-nr that referenced this pull request Oct 24, 2024
Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
feat(ssa): Various mem2reg reverts to reduce memory and compilation time
(noir-lang/noir#6307)
chore: update `noir-edwards` repo to point at `noir-lang` org
(noir-lang/noir#6323)
feat: Sha256 refactoring and benchmark with longer input
(noir-lang/noir#6318)
chore: Release Noir(0.36.0)
(noir-lang/noir#6213)
chore: remove usage of slices in pedersen hash
(noir-lang/noir#6295)
chore: remove dead function
(noir-lang/noir#6308)
feat: new formatter (noir-lang/noir#6300)
feat: Sync from aztec-packages
(noir-lang/noir#6301)
fix: Allow array map on empty arrays
(noir-lang/noir#6305)
fix: Display function name and body when inlining recursion limit hit
(noir-lang/noir#6291)
feat(interpreter): Comptime derive generators
(noir-lang/noir#6303)
fix: enforce correctness of decompositions performed at compile time
(noir-lang/noir#6278)
feat: Warn about private types leaking in public functions and struct
fields (noir-lang/noir#6296)
chore(docs): refactoring guides and some other nits
(noir-lang/noir#6175)
fix: Do not warn on unused self in traits
(noir-lang/noir#6298)
fix: Reject invalid expression with in CLI parser
(noir-lang/noir#6287)
END_COMMIT_OVERRIDE

---------

Co-authored-by: Tom French <[email protected]>
ludamad pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Oct 24, 2024
🤖 I have created a release *beep* *boop*
---


<details><summary>aztec-package: 0.60.0</summary>

##
[0.60.0](aztec-package-v0.59.0...aztec-package-v0.60.0)
(2024-10-24)


### Features

* Introduce default public keys and replace empty public keys
([#9277](#9277))
([47718ea](47718ea))
* Sequencer cast votes
([#9247](#9247))
([bd05d87](bd05d87))
</details>

<details><summary>barretenberg.js: 0.60.0</summary>

##
[0.60.0](barretenberg.js-v0.59.0...barretenberg.js-v0.60.0)
(2024-10-24)


### Features

* Eccvm translator zk sumcheck
([#9199](#9199))
([c7d4572](c7d4572))


### Miscellaneous

* Remove noir_js_backend_barretenberg
([#9338](#9338))
([cefe3d9](cefe3d9))
</details>

<details><summary>aztec-packages: 0.60.0</summary>

##
[0.60.0](aztec-packages-v0.59.0...aztec-packages-v0.60.0)
(2024-10-24)


### ⚠ BREAKING CHANGES

* replace usage of vector in keccakf1600 input with array
([#9350](#9350))
* TXE single execution env
([#9183](#9183))
* remove hash opcodes from AVM
([#9209](#9209))
* remove delegate call and storage address
([#9330](#9330))

### Features

* Apella
([#9084](#9084))
([205ce69](205ce69))
* **avm:** Full poseidon2
([#9141](#9141))
([eae7587](eae7587))
* Bytes to fields and back
([#8590](#8590))
([65b8493](65b8493))
* Constrain protocol VK hashing
([#9304](#9304))
([3d17e13](3d17e13))
* **docs:** Nits
([#8948](#8948))
([008fdd1](008fdd1))
* Eccvm translator zk sumcheck
([#9199](#9199))
([c7d4572](c7d4572))
* Gerousia
([#8942](#8942))
([54b5ba2](54b5ba2))
* Get logs by tags
([#9353](#9353))
([719c33e](719c33e))
* Handle reorgs on sequencer
([#9201](#9201))
([d4dea16](d4dea16))
* **interpreter:** Comptime derive generators
(noir-lang/noir#6303)
([a166203](a166203))
* Introduce default public keys and replace empty public keys
([#9277](#9277))
([47718ea](47718ea))
* Modify private calldata to use public keys
([#9276](#9276))
([e42e219](e42e219))
* New formatter (noir-lang/noir#6300)
([a166203](a166203))
* **nr:** Serde for signed ints
([#9211](#9211))
([66f31c7](66f31c7))
* Publicly accessible bootstrap cache
([#9335](#9335))
([28392d5](28392d5))
* Remove hash opcodes from AVM
([#9209](#9209))
([e6db535](e6db535)),
closes
[#9208](#9208)
* Sequencer cast votes
([#9247](#9247))
([bd05d87](bd05d87))
* Sha256 refactoring and benchmark with longer input
(noir-lang/noir#6318)
([a166203](a166203))
* **ssa:** Various mem2reg reverts to reduce memory and compilation time
(noir-lang/noir#6307)
([a166203](a166203))
* Sync from aztec-packages (noir-lang/noir#6301)
([a166203](a166203))
* Translator on Shplemini
([#9329](#9329))
([21fa3cf](21fa3cf))
* TXE single execution env
([#9183](#9183))
([1d1d76d](1d1d76d))
* Warn about private types leaking in public functions and struct fields
(noir-lang/noir#6296)
([a166203](a166203))


### Bug Fixes

* 4epochs kind test et al
([#9358](#9358))
([e480e6b](e480e6b))
* Allow array map on empty arrays
(noir-lang/noir#6305)
([a166203](a166203))
* **avm:** Public dispatch in proving tests
([#9331](#9331))
([42e5221](42e5221))
* Barretenberg readme scare warning
([#9313](#9313))
([f759d55](f759d55))
* Broken constants gen
([#9387](#9387))
([eb7bc6b](eb7bc6b))
* Ci github clone edge case
([#9320](#9320))
([15abe6f](15abe6f))
* **ci:** Report 4 epochs true
([#9346](#9346))
([1ce0fa5](1ce0fa5))
* Display function name and body when inlining recursion limit hit
(noir-lang/noir#6291)
([a166203](a166203))
* Do not warn on unused self in traits
(noir-lang/noir#6298)
([a166203](a166203))
* Enforce correctness of decompositions performed at compile time
(noir-lang/noir#6278)
([a166203](a166203))
* Reject invalid expression with in CLI parser
(noir-lang/noir#6287)
([a166203](a166203))
* Remove reliance on invalid decompositions in selector calculation
([#9337](#9337))
([c8e4260](c8e4260))
* Support empty epochs
([#9341](#9341))
([9dda91e](9dda91e))
* Use github.actor on publish workflow dispatch
([#9324](#9324))
([5fa660d](5fa660d))


### Miscellaneous

* **avm:** Some cleaning in avm prover
([#9311](#9311))
([523aa23](523aa23))
* Bump node types
([#9397](#9397))
([763d5b1](763d5b1))
* Copying world state binary to yarn project is on generate
([#9194](#9194))
([8d75dd4](8d75dd4))
* Disable bench-process-history
([#9360](#9360))
([8e6734e](8e6734e))
* **docs:** Refactoring guides and some other nits
(noir-lang/noir#6175)
([a166203](a166203))
* Fix and re-enable prover coordination e2e test
([#9344](#9344))
([3a1a62c](3a1a62c))
* Implement Fq add
([#9354](#9354))
([1711fac](1711fac))
* Minor test cleanup
([#9339](#9339))
([a2ed567](a2ed567))
* Print out gas at start and end of each enqueued call
([#9377](#9377))
([29c0b95](29c0b95))
* Quick account manager refactor
([#9357](#9357))
([648d043](648d043))
* Quick keystore refactor
([#9355](#9355))
([31b9999](31b9999))
* Redo typo PR by pucedoteth
([#9385](#9385))
([fd1a0d1](fd1a0d1))
* Release Noir(0.36.0) (noir-lang/noir#6213)
([a166203](a166203))
* Remove dead function (noir-lang/noir#6308)
([a166203](a166203))
* Remove delegate call and storage address
([#9330](#9330))
([465f88e](465f88e))
* Remove noir_js_backend_barretenberg
([#9338](#9338))
([cefe3d9](cefe3d9))
* Remove unnecessary `is_integral_bit_size` function
([#9352](#9352))
([ac8e6d7](ac8e6d7))
* Remove usage of slices in pedersen hash
(noir-lang/noir#6295)
([a166203](a166203))
* Replace relative paths to noir-protocol-circuits
([32bd7b9](32bd7b9))
* Replace relative paths to noir-protocol-circuits
([add4605](add4605))
* Replace relative paths to noir-protocol-circuits
([8cb89af](8cb89af))
* Replace usage of vector in keccakf1600 input with array
([#9350](#9350))
([cb58490](cb58490))
* Scenario for upgrading gerousia
([#9246](#9246))
([66f59d6](66f59d6))
* Silence cache-download.sh
([#9317](#9317))
([314d9d2](314d9d2))
* Test 4epochs in native-network
([#9309](#9309))
([ddb312a](ddb312a))
* Unstake the bond when the proof lands
([#9363](#9363))
([b25b913](b25b913))
* Update `noir-edwards` repo to point at `noir-lang` org
(noir-lang/noir#6323)
([a166203](a166203))
* Updated NFT flows
([#9150](#9150))
([407f8b4](407f8b4))
</details>

<details><summary>barretenberg: 0.60.0</summary>

##
[0.60.0](barretenberg-v0.59.0...barretenberg-v0.60.0)
(2024-10-24)


### ⚠ BREAKING CHANGES

* replace usage of vector in keccakf1600 input with array
([#9350](#9350))
* remove hash opcodes from AVM
([#9209](#9209))
* remove delegate call and storage address
([#9330](#9330))

### Features

* **avm:** Full poseidon2
([#9141](#9141))
([eae7587](eae7587))
* Eccvm translator zk sumcheck
([#9199](#9199))
([c7d4572](c7d4572))
* Remove hash opcodes from AVM
([#9209](#9209))
([e6db535](e6db535)),
closes
[#9208](#9208)
* Translator on Shplemini
([#9329](#9329))
([21fa3cf](21fa3cf))


### Bug Fixes

* **avm:** Public dispatch in proving tests
([#9331](#9331))
([42e5221](42e5221))
* Barretenberg readme scare warning
([#9313](#9313))
([f759d55](f759d55))


### Miscellaneous

* **avm:** Some cleaning in avm prover
([#9311](#9311))
([523aa23](523aa23))
* Copying world state binary to yarn project is on generate
([#9194](#9194))
([8d75dd4](8d75dd4))
* Remove delegate call and storage address
([#9330](#9330))
([465f88e](465f88e))
* Remove noir_js_backend_barretenberg
([#9338](#9338))
([cefe3d9](cefe3d9))
* Replace usage of vector in keccakf1600 input with array
([#9350](#9350))
([cb58490](cb58490))
</details>

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).
AztecBot added a commit to AztecProtocol/barretenberg that referenced this pull request Oct 25, 2024
🤖 I have created a release *beep* *boop*
---


<details><summary>aztec-package: 0.60.0</summary>

##
[0.60.0](AztecProtocol/aztec-packages@aztec-package-v0.59.0...aztec-package-v0.60.0)
(2024-10-24)


### Features

* Introduce default public keys and replace empty public keys
([#9277](AztecProtocol/aztec-packages#9277))
([47718ea](AztecProtocol/aztec-packages@47718ea))
* Sequencer cast votes
([#9247](AztecProtocol/aztec-packages#9247))
([bd05d87](AztecProtocol/aztec-packages@bd05d87))
</details>

<details><summary>barretenberg.js: 0.60.0</summary>

##
[0.60.0](AztecProtocol/aztec-packages@barretenberg.js-v0.59.0...barretenberg.js-v0.60.0)
(2024-10-24)


### Features

* Eccvm translator zk sumcheck
([#9199](AztecProtocol/aztec-packages#9199))
([c7d4572](AztecProtocol/aztec-packages@c7d4572))


### Miscellaneous

* Remove noir_js_backend_barretenberg
([#9338](AztecProtocol/aztec-packages#9338))
([cefe3d9](AztecProtocol/aztec-packages@cefe3d9))
</details>

<details><summary>aztec-packages: 0.60.0</summary>

##
[0.60.0](AztecProtocol/aztec-packages@aztec-packages-v0.59.0...aztec-packages-v0.60.0)
(2024-10-24)


### ⚠ BREAKING CHANGES

* replace usage of vector in keccakf1600 input with array
([#9350](AztecProtocol/aztec-packages#9350))
* TXE single execution env
([#9183](AztecProtocol/aztec-packages#9183))
* remove hash opcodes from AVM
([#9209](AztecProtocol/aztec-packages#9209))
* remove delegate call and storage address
([#9330](AztecProtocol/aztec-packages#9330))

### Features

* Apella
([#9084](AztecProtocol/aztec-packages#9084))
([205ce69](AztecProtocol/aztec-packages@205ce69))
* **avm:** Full poseidon2
([#9141](AztecProtocol/aztec-packages#9141))
([eae7587](AztecProtocol/aztec-packages@eae7587))
* Bytes to fields and back
([#8590](AztecProtocol/aztec-packages#8590))
([65b8493](AztecProtocol/aztec-packages@65b8493))
* Constrain protocol VK hashing
([#9304](AztecProtocol/aztec-packages#9304))
([3d17e13](AztecProtocol/aztec-packages@3d17e13))
* **docs:** Nits
([#8948](AztecProtocol/aztec-packages#8948))
([008fdd1](AztecProtocol/aztec-packages@008fdd1))
* Eccvm translator zk sumcheck
([#9199](AztecProtocol/aztec-packages#9199))
([c7d4572](AztecProtocol/aztec-packages@c7d4572))
* Gerousia
([#8942](AztecProtocol/aztec-packages#8942))
([54b5ba2](AztecProtocol/aztec-packages@54b5ba2))
* Get logs by tags
([#9353](AztecProtocol/aztec-packages#9353))
([719c33e](AztecProtocol/aztec-packages@719c33e))
* Handle reorgs on sequencer
([#9201](AztecProtocol/aztec-packages#9201))
([d4dea16](AztecProtocol/aztec-packages@d4dea16))
* **interpreter:** Comptime derive generators
(noir-lang/noir#6303)
([a166203](AztecProtocol/aztec-packages@a166203))
* Introduce default public keys and replace empty public keys
([#9277](AztecProtocol/aztec-packages#9277))
([47718ea](AztecProtocol/aztec-packages@47718ea))
* Modify private calldata to use public keys
([#9276](AztecProtocol/aztec-packages#9276))
([e42e219](AztecProtocol/aztec-packages@e42e219))
* New formatter (noir-lang/noir#6300)
([a166203](AztecProtocol/aztec-packages@a166203))
* **nr:** Serde for signed ints
([#9211](AztecProtocol/aztec-packages#9211))
([66f31c7](AztecProtocol/aztec-packages@66f31c7))
* Publicly accessible bootstrap cache
([#9335](AztecProtocol/aztec-packages#9335))
([28392d5](AztecProtocol/aztec-packages@28392d5))
* Remove hash opcodes from AVM
([#9209](AztecProtocol/aztec-packages#9209))
([e6db535](AztecProtocol/aztec-packages@e6db535)),
closes
[#9208](AztecProtocol/aztec-packages#9208)
* Sequencer cast votes
([#9247](AztecProtocol/aztec-packages#9247))
([bd05d87](AztecProtocol/aztec-packages@bd05d87))
* Sha256 refactoring and benchmark with longer input
(noir-lang/noir#6318)
([a166203](AztecProtocol/aztec-packages@a166203))
* **ssa:** Various mem2reg reverts to reduce memory and compilation time
(noir-lang/noir#6307)
([a166203](AztecProtocol/aztec-packages@a166203))
* Sync from aztec-packages (noir-lang/noir#6301)
([a166203](AztecProtocol/aztec-packages@a166203))
* Translator on Shplemini
([#9329](AztecProtocol/aztec-packages#9329))
([21fa3cf](AztecProtocol/aztec-packages@21fa3cf))
* TXE single execution env
([#9183](AztecProtocol/aztec-packages#9183))
([1d1d76d](AztecProtocol/aztec-packages@1d1d76d))
* Warn about private types leaking in public functions and struct fields
(noir-lang/noir#6296)
([a166203](AztecProtocol/aztec-packages@a166203))


### Bug Fixes

* 4epochs kind test et al
([#9358](AztecProtocol/aztec-packages#9358))
([e480e6b](AztecProtocol/aztec-packages@e480e6b))
* Allow array map on empty arrays
(noir-lang/noir#6305)
([a166203](AztecProtocol/aztec-packages@a166203))
* **avm:** Public dispatch in proving tests
([#9331](AztecProtocol/aztec-packages#9331))
([42e5221](AztecProtocol/aztec-packages@42e5221))
* Barretenberg readme scare warning
([#9313](AztecProtocol/aztec-packages#9313))
([f759d55](AztecProtocol/aztec-packages@f759d55))
* Broken constants gen
([#9387](AztecProtocol/aztec-packages#9387))
([eb7bc6b](AztecProtocol/aztec-packages@eb7bc6b))
* Ci github clone edge case
([#9320](AztecProtocol/aztec-packages#9320))
([15abe6f](AztecProtocol/aztec-packages@15abe6f))
* **ci:** Report 4 epochs true
([#9346](AztecProtocol/aztec-packages#9346))
([1ce0fa5](AztecProtocol/aztec-packages@1ce0fa5))
* Display function name and body when inlining recursion limit hit
(noir-lang/noir#6291)
([a166203](AztecProtocol/aztec-packages@a166203))
* Do not warn on unused self in traits
(noir-lang/noir#6298)
([a166203](AztecProtocol/aztec-packages@a166203))
* Enforce correctness of decompositions performed at compile time
(noir-lang/noir#6278)
([a166203](AztecProtocol/aztec-packages@a166203))
* Reject invalid expression with in CLI parser
(noir-lang/noir#6287)
([a166203](AztecProtocol/aztec-packages@a166203))
* Remove reliance on invalid decompositions in selector calculation
([#9337](AztecProtocol/aztec-packages#9337))
([c8e4260](AztecProtocol/aztec-packages@c8e4260))
* Support empty epochs
([#9341](AztecProtocol/aztec-packages#9341))
([9dda91e](AztecProtocol/aztec-packages@9dda91e))
* Use github.actor on publish workflow dispatch
([#9324](AztecProtocol/aztec-packages#9324))
([5fa660d](AztecProtocol/aztec-packages@5fa660d))


### Miscellaneous

* **avm:** Some cleaning in avm prover
([#9311](AztecProtocol/aztec-packages#9311))
([523aa23](AztecProtocol/aztec-packages@523aa23))
* Bump node types
([#9397](AztecProtocol/aztec-packages#9397))
([763d5b1](AztecProtocol/aztec-packages@763d5b1))
* Copying world state binary to yarn project is on generate
([#9194](AztecProtocol/aztec-packages#9194))
([8d75dd4](AztecProtocol/aztec-packages@8d75dd4))
* Disable bench-process-history
([#9360](AztecProtocol/aztec-packages#9360))
([8e6734e](AztecProtocol/aztec-packages@8e6734e))
* **docs:** Refactoring guides and some other nits
(noir-lang/noir#6175)
([a166203](AztecProtocol/aztec-packages@a166203))
* Fix and re-enable prover coordination e2e test
([#9344](AztecProtocol/aztec-packages#9344))
([3a1a62c](AztecProtocol/aztec-packages@3a1a62c))
* Implement Fq add
([#9354](AztecProtocol/aztec-packages#9354))
([1711fac](AztecProtocol/aztec-packages@1711fac))
* Minor test cleanup
([#9339](AztecProtocol/aztec-packages#9339))
([a2ed567](AztecProtocol/aztec-packages@a2ed567))
* Print out gas at start and end of each enqueued call
([#9377](AztecProtocol/aztec-packages#9377))
([29c0b95](AztecProtocol/aztec-packages@29c0b95))
* Quick account manager refactor
([#9357](AztecProtocol/aztec-packages#9357))
([648d043](AztecProtocol/aztec-packages@648d043))
* Quick keystore refactor
([#9355](AztecProtocol/aztec-packages#9355))
([31b9999](AztecProtocol/aztec-packages@31b9999))
* Redo typo PR by pucedoteth
([#9385](AztecProtocol/aztec-packages#9385))
([fd1a0d1](AztecProtocol/aztec-packages@fd1a0d1))
* Release Noir(0.36.0) (noir-lang/noir#6213)
([a166203](AztecProtocol/aztec-packages@a166203))
* Remove dead function (noir-lang/noir#6308)
([a166203](AztecProtocol/aztec-packages@a166203))
* Remove delegate call and storage address
([#9330](AztecProtocol/aztec-packages#9330))
([465f88e](AztecProtocol/aztec-packages@465f88e))
* Remove noir_js_backend_barretenberg
([#9338](AztecProtocol/aztec-packages#9338))
([cefe3d9](AztecProtocol/aztec-packages@cefe3d9))
* Remove unnecessary `is_integral_bit_size` function
([#9352](AztecProtocol/aztec-packages#9352))
([ac8e6d7](AztecProtocol/aztec-packages@ac8e6d7))
* Remove usage of slices in pedersen hash
(noir-lang/noir#6295)
([a166203](AztecProtocol/aztec-packages@a166203))
* Replace relative paths to noir-protocol-circuits
([32bd7b9](AztecProtocol/aztec-packages@32bd7b9))
* Replace relative paths to noir-protocol-circuits
([add4605](AztecProtocol/aztec-packages@add4605))
* Replace relative paths to noir-protocol-circuits
([8cb89af](AztecProtocol/aztec-packages@8cb89af))
* Replace usage of vector in keccakf1600 input with array
([#9350](AztecProtocol/aztec-packages#9350))
([cb58490](AztecProtocol/aztec-packages@cb58490))
* Scenario for upgrading gerousia
([#9246](AztecProtocol/aztec-packages#9246))
([66f59d6](AztecProtocol/aztec-packages@66f59d6))
* Silence cache-download.sh
([#9317](AztecProtocol/aztec-packages#9317))
([314d9d2](AztecProtocol/aztec-packages@314d9d2))
* Test 4epochs in native-network
([#9309](AztecProtocol/aztec-packages#9309))
([ddb312a](AztecProtocol/aztec-packages@ddb312a))
* Unstake the bond when the proof lands
([#9363](AztecProtocol/aztec-packages#9363))
([b25b913](AztecProtocol/aztec-packages@b25b913))
* Update `noir-edwards` repo to point at `noir-lang` org
(noir-lang/noir#6323)
([a166203](AztecProtocol/aztec-packages@a166203))
* Updated NFT flows
([#9150](AztecProtocol/aztec-packages#9150))
([407f8b4](AztecProtocol/aztec-packages@407f8b4))
</details>

<details><summary>barretenberg: 0.60.0</summary>

##
[0.60.0](AztecProtocol/aztec-packages@barretenberg-v0.59.0...barretenberg-v0.60.0)
(2024-10-24)


### ⚠ BREAKING CHANGES

* replace usage of vector in keccakf1600 input with array
([#9350](AztecProtocol/aztec-packages#9350))
* remove hash opcodes from AVM
([#9209](AztecProtocol/aztec-packages#9209))
* remove delegate call and storage address
([#9330](AztecProtocol/aztec-packages#9330))

### Features

* **avm:** Full poseidon2
([#9141](AztecProtocol/aztec-packages#9141))
([eae7587](AztecProtocol/aztec-packages@eae7587))
* Eccvm translator zk sumcheck
([#9199](AztecProtocol/aztec-packages#9199))
([c7d4572](AztecProtocol/aztec-packages@c7d4572))
* Remove hash opcodes from AVM
([#9209](AztecProtocol/aztec-packages#9209))
([e6db535](AztecProtocol/aztec-packages@e6db535)),
closes
[#9208](AztecProtocol/aztec-packages#9208)
* Translator on Shplemini
([#9329](AztecProtocol/aztec-packages#9329))
([21fa3cf](AztecProtocol/aztec-packages@21fa3cf))


### Bug Fixes

* **avm:** Public dispatch in proving tests
([#9331](AztecProtocol/aztec-packages#9331))
([42e5221](AztecProtocol/aztec-packages@42e5221))
* Barretenberg readme scare warning
([#9313](AztecProtocol/aztec-packages#9313))
([f759d55](AztecProtocol/aztec-packages@f759d55))


### Miscellaneous

* **avm:** Some cleaning in avm prover
([#9311](AztecProtocol/aztec-packages#9311))
([523aa23](AztecProtocol/aztec-packages@523aa23))
* Copying world state binary to yarn project is on generate
([#9194](AztecProtocol/aztec-packages#9194))
([8d75dd4](AztecProtocol/aztec-packages@8d75dd4))
* Remove delegate call and storage address
([#9330](AztecProtocol/aztec-packages#9330))
([465f88e](AztecProtocol/aztec-packages@465f88e))
* Remove noir_js_backend_barretenberg
([#9338](AztecProtocol/aztec-packages#9338))
([cefe3d9](AztecProtocol/aztec-packages@cefe3d9))
* Replace usage of vector in keccakf1600 input with array
([#9350](AztecProtocol/aztec-packages#9350))
([cb58490](AztecProtocol/aztec-packages@cb58490))
</details>

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).
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.

2 participants