feat: Sync from aztec-packages #5971

AztecBot · 2024-09-09T13:38:02Z

Automated pull of Noir development from aztec-packages.
BEGIN_COMMIT_OVERRIDE
feat: Sync from noir (AztecProtocol/aztec-packages#8466)
feat: (bb) 128-bit challenges (AztecProtocol/aztec-packages#8406)
feat(avm)!: variants for SET opcode (AztecProtocol/aztec-packages#8441)
feat(avm/brillig)!: take addresses in calldatacopy (AztecProtocol/aztec-packages#8388)
feat: Sync from noir (AztecProtocol/aztec-packages#8435)
feat: Sync from noir (AztecProtocol/aztec-packages#8423)
END_COMMIT_OVERRIDE

github-actions · 2024-09-09T13:59:05Z

Changes to Brillig bytecode sizes

Generated at commit: 53230a585247450bcca9061ba381126822e7d03a, compared to commit: e84f7d2e81c1f59e9af015f38c2d477607a9c558

🧾 Summary (10% most significant diffs)

Program	Brillig opcodes (+/-)	%
comptime_slice_equality	+2 ❌	+33.33%
empty	+2 ❌	+33.33%
regression_5615	+2 ❌	+33.33%
unit_value	+2 ❌	+33.33%
array_to_slice_constant_length	+2 ❌	+28.57%
brillig_identity_function	+2 ❌	+28.57%
trait_as_return_type	+2 ❌	+25.00%
brillig_fns_as_values	+2 ❌	+25.00%
main_return	+2 ❌	+20.00%
as_witness	+2 ❌	+20.00%
1327_concrete_in_generic	+2 ❌	+18.18%
bool_not	+2 ❌	+18.18%
custom_entry	+2 ❌	+18.18%
missing_closure_env	+2 ❌	+18.18%
pred_eq	+2 ❌	+18.18%
regression_4088	+2 ❌	+18.18%
regression_4124	+2 ❌	+18.18%
assert	+2 ❌	+18.18%
assert_statement	+2 ❌	+18.18%
assert_statement_recursive	+2 ❌	+18.18%
is_unconstrained	+2 ❌	+18.18%
eddsa	-4,648 ✅	-20.74%
regression_5252	-4,264 ✅	-38.41%
merkle_insert	-544 ✅	-41.98%
poseidonsponge_x5_254	-3,730 ✅	-42.97%
6	-544 ✅	-44.96%
poseidon_bn254_hash_width_3	-5,656 ✅	-47.95%
poseidon_bn254_hash	-5,656 ✅	-47.95%

Full diff report 👇

Program	Brillig opcodes (+/-)	%
comptime_slice_equality	8 (+2)	+33.33%
empty	8 (+2)	+33.33%
regression_5615	8 (+2)	+33.33%
unit_value	8 (+2)	+33.33%
array_to_slice_constant_length	9 (+2)	+28.57%
brillig_identity_function	9 (+2)	+28.57%
trait_as_return_type	10 (+2)	+25.00%
brillig_fns_as_values	10 (+2)	+25.00%
main_return	12 (+2)	+20.00%
as_witness	12 (+2)	+20.00%
1327_concrete_in_generic	13 (+2)	+18.18%
bool_not	13 (+2)	+18.18%
custom_entry	13 (+2)	+18.18%
missing_closure_env	13 (+2)	+18.18%
pred_eq	13 (+2)	+18.18%
regression_4088	13 (+2)	+18.18%
regression_4124	13 (+2)	+18.18%
assert	13 (+2)	+18.18%
assert_statement	13 (+2)	+18.18%
assert_statement_recursive	13 (+2)	+18.18%
is_unconstrained	13 (+2)	+18.18%
closures_mut_ref	14 (+2)	+16.67%
simple_mut	14 (+2)	+16.67%
simple_program_addition	14 (+2)	+16.67%
fold_after_inlined_calls	14 (+2)	+16.67%
unsafe_range_constraint	14 (+2)	+16.67%
modules	15 (+2)	+15.38%
modules_more	15 (+2)	+15.38%
no_predicates_basic	15 (+2)	+15.38%
brillig_references	15 (+2)	+15.38%
simple_not	15 (+2)	+15.38%
traits_in_crates_1	15 (+2)	+15.38%
traits_in_crates_2	15 (+2)	+15.38%
field_attribute	15 (+2)	+15.38%
fold_basic	15 (+2)	+15.38%
inline_never_basic	15 (+2)	+15.38%
bit_not	16 (+2)	+14.29%
regression_3889	16 (+2)	+14.29%
cast_bool	16 (+2)	+14.29%
submodules	16 (+2)	+14.29%
diamond_deps_0	17 (+2)	+13.33%
trait_impl_base_type	17 (+2)	+13.33%
fold_basic_nested_call	17 (+2)	+13.33%
simple_array_param	18 (+2)	+12.50%
struct	18 (+2)	+12.50%
bool_or	19 (+2)	+11.76%
struct_fields_ordering	19 (+2)	+11.76%
simple_shift_left_right	19 (+2)	+11.76%
witness_compression	19 (+2)	+11.76%
xor	19 (+2)	+11.76%
simple_comparison	20 (+2)	+11.11%
assign_ex	20 (+2)	+11.11%
fold_distinct_return	21 (+2)	+10.53%
brillig_conditional	22 (+2)	+10.00%
brillig_acir_as_brillig	23 (+2)	+9.52%
brillig_calls	23 (+2)	+9.52%
brillig_not	23 (+2)	+9.52%
no_predicates_brillig	25 (+2)	+8.70%
pedersen_hash	25 (+2)	+8.70%
type_aliases	25 (+2)	+8.70%
double_verify_proof_recursive	26 (+2)	+8.33%
double_verify_proof	26 (+2)	+8.33%
arithmetic_binary_operations	26 (+2)	+8.33%
bit_shifts_comptime	28 (+2)	+7.69%
5_over	28 (+2)	+7.69%
regression_5435	28 (+2)	+7.69%
regression_2660	29 (+2)	+7.41%
conditional_regression_underflow	30 (+2)	+7.14%
struct_array_inputs	30 (+2)	+7.14%
integer_array_indexing	30 (+2)	+7.14%
conditional_regression_547	31 (+2)	+6.90%
nested_arrays_from_brillig	31 (+2)	+6.90%
main_bool_arg	33 (+2)	+6.45%
array_len	33 (+2)	+6.45%
u16_support	33 (+2)	+6.45%
simple_add_and_ret_arr	34 (+2)	+6.25%
simple_radix	34 (+2)	+6.25%
3_add	35 (+2)	+6.06%
brillig_unitialised_arrays	36 (+2)	+5.88%
2_div	36 (+2)	+5.88%
unary_operator_overloading	37 (+2)	+5.71%
regression_3607	39 (+2)	+5.41%
bit_and	40 (+2)	+5.26%
tuples	42 (+2)	+5.00%
to_bytes_integration	43 (+2)	+4.88%
simple_bitwise	45 (+2)	+4.65%
1_mul	49 (+2)	+4.26%
break_and_continue	51 (+2)	+4.08%
import	53 (+2)	+3.92%
array_eq	54 (+2)	+3.85%
conditional_regression_421	54 (+2)	+3.85%
array_neq	56 (+2)	+3.70%
brillig_calls_array	58 (+2)	+3.57%
regression_method_cannot_be_found	59 (+2)	+3.51%
brillig_loop_size_regression	60 (+2)	+3.45%
pedersen_commitment	61 (+2)	+3.39%
brillig_loop	63 (+2)	+3.28%
array_dynamic_main_output	66 (+2)	+3.13%
databus	69 (+2)	+2.99%
brillig_array_to_slice	72 (+2)	+2.86%
if_else_chain	73 (+2)	+2.82%
brillig_arrays	74 (+2)	+2.78%
databus_two_calldata_simple	79 (+2)	+2.60%
signed_cmp	83 (+2)	+2.47%
regression_mem_op_predicate	83 (+2)	+2.47%
conditional_2	88 (+2)	+2.33%
regression_4202	88 (+2)	+2.33%
brillig_blake2s	97 (+2)	+2.11%
brillig_calls_conditionals	97 (+2)	+2.11%
blake3	98 (+2)	+2.08%
brillig_blake3	98 (+2)	+2.08%
brillig_sha256	98 (+2)	+2.08%
7	98 (+2)	+2.08%
conditional_regression_661	99 (+2)	+2.06%
brillig_recursion	101 (+2)	+2.02%
regression_3394	101 (+2)	+2.02%
fold_fibonacci	101 (+2)	+2.02%
array_if_cond_simple	108 (+2)	+1.89%
fold_call_witness_condition	110 (+2)	+1.85%
signed_comparison	113 (+2)	+1.80%
bit_shifts_runtime	114 (+2)	+1.79%
acir_inside_brillig_recursion	118 (+2)	+1.72%
brillig_hash_to_field	118 (+2)	+1.72%
hash_to_field	118 (+2)	+1.72%
nested_array_dynamic_simple	119 (+2)	+1.71%
signed_div	126 (+2)	+1.61%
side_effects_constrain_array	127 (+2)	+1.60%
to_le_bytes	128 (+2)	+1.59%
brillig_assert	135 (+2)	+1.50%
to_bytes_consistent	138 (+2)	+1.47%
nested_dyn_array_regression_5782	144 (+2)	+1.41%
brillig_cow_assign	145 (+2)	+1.40%
simple_2d_array	148 (+2)	+1.37%
regression_3051	149 (+2)	+1.36%
cast_and_shift_global	158 (+2)	+1.28%
regression_capacity_tracker	166 (+2)	+1.22%
derive	168 (+2)	+1.20%
conditional_regression_short_circuit	169 (+2)	+1.20%
prelude	170 (+2)	+1.19%
global_consts	170 (+2)	+1.19%
to_bits	172 (+2)	+1.18%
simple_print	184 (+2)	+1.10%
to_be_bytes	184 (+2)	+1.10%
generics	186 (+2)	+1.09%
brillig_pedersen	188 (+2)	+1.08%
pedersen_check	188 (+2)	+1.08%
brillig_ecdsa_secp256k1	189 (+2)	+1.07%
ecdsa_secp256r1	189 (+2)	+1.07%
bench_ecdsa_secp256k1	189 (+2)	+1.07%
brillig_ecdsa_secp256r1	189 (+2)	+1.07%
databus_two_calldata	226 (+2)	+0.89%
struct_inputs	235 (+2)	+0.86%
signed_arithmetic	261 (+2)	+0.77%
array_dynamic	269 (+2)	+0.75%
ecdsa_secp256k1	275 (+2)	+0.73%
tuple_inputs	292 (+2)	+0.69%
references	296 (+2)	+0.68%
slice_coercion	303 (+2)	+0.66%
wildcard_type	319 (+2)	+0.63%
brillig_oracle	329 (+2)	+0.61%
brillig_cow	333 (+2)	+0.60%
slice_loop	336 (+2)	+0.60%
poseidon2	373 (+2)	+0.54%
array_dynamic_blackbox_input	374 (+2)	+0.54%
binary_operator_overloading	392 (+2)	+0.51%
aes128_encrypt	422 (+2)	+0.48%
array_sort	448 (+2)	+0.45%
brillig_nested_arrays	458 (+2)	+0.44%
ecdsa_secp256r1_3x	549 (+2)	+0.37%
brillig_slices	595 (+2)	+0.34%
7_function	608 (+2)	+0.33%
conditional_1	700 (+2)	+0.29%
regression	708 (+2)	+0.28%
higher_order_functions	759 (+2)	+0.26%
regression_struct_array_conditional	765 (+2)	+0.26%
fold_complex_outputs	915 (+2)	+0.22%
array_to_slice	974 (+2)	+0.21%
regression_4449	996 (+2)	+0.20%
array_dynamic_nested_blackbox_input	1,012 (+2)	+0.20%
brillig_cow_regression	1,163 (+2)	+0.17%
no_predicates_numeric_generic_poseidon	1,198 (+2)	+0.17%
fold_numeric_generic_poseidon	1,198 (+2)	+0.17%
strings	1,493 (+2)	+0.13%
nested_array_in_slice	1,588 (+2)	+0.13%
sha256_var_witness_const_regression	1,702 (+2)	+0.12%
modulus	1,789 (+2)	+0.11%
sha256	2,556 (+2)	+0.08%
sha256_var_size_regression	2,563 (+2)	+0.08%
slices	2,651 (+2)	+0.08%
slice_dynamic_index	2,766 (+2)	+0.07%
brillig_keccak	3,031 (+2)	+0.07%
keccak256	3,031 (+2)	+0.07%
u128	3,338 (+2)	+0.06%
bigint	3,455 (+2)	+0.06%
sha2_byte	4,005 (+2)	+0.05%
nested_array_dynamic	4,047 (+2)	+0.05%
brillig_block_parameter_liveness	5,263 (+2)	+0.04%
slice_regex	6,843 (+2)	+0.03%
sha256_regression	8,497 (+2)	+0.02%
debug_logs	9,693 (+2)	+0.02%
uhashmap	29,549 (+2)	+0.01%
hashmap	37,861 (+2)	+0.01%
regression_4709	135,330 (+2)	+0.00%
schnorr	969 (-4)	-0.41%
6_array	357 (-4)	-1.11%
simple_shield	254 (-4)	-1.55%
signed_division	144 (-4)	-2.70%
embedded_curve_ops	106 (-10)	-8.62%
wrapping_operations	39 (-4)	-9.30%
regression_5045	70 (-10)	-12.50%
4_sub	25 (-4)	-13.79%
eddsa	17,767 (-4,648)	-20.74%
regression_5252	6,837 (-4,264)	-38.41%
merkle_insert	752 (-544)	-41.98%
poseidonsponge_x5_254	4,951 (-3,730)	-42.97%
6	666 (-544)	-44.96%
poseidon_bn254_hash_width_3	6,140 (-5,656)	-47.95%
poseidon_bn254_hash	6,140 (-5,656)	-47.95%

github-actions · 2024-09-09T14:06:38Z

🚀 Deployed on https://66e1627fb21504cf6c70a421--noir-docs.netlify.app

TomAFrench

Turns out that the changes to brillig were non-breaking as MemoryAddress has the same size as uint64_t

Automated pull of Noir development from [aztec-packages](https://github.com/AztecProtocol/aztec-packages). BEGIN_COMMIT_OVERRIDE feat(avm/brillig)!: take addresses in calldatacopy (AztecProtocol/aztec-packages#8388) END_COMMIT_OVERRIDE --------- Co-authored-by: TomAFrench <tom@tomfren.ch>

subrepo: subdir: "noir-projects/aztec-nr" merged: "dc3dd6c2f" upstream: origin: "https://github.com/AztecProtocol/aztec-nr" branch: "master" commit: "dc3dd6c2f" git-subrepo: version: "0.4.6" origin: "???" commit: "???" [skip ci]

* master: feat: LSP completion function detail (#5993) feat: add `TypedExpr::get_type` (#5992) feat: better error message for misplaced doc comments (#5990) fix: Error when comptime types are used in runtime code (#5987) fix: suggest trait attributes in LSP (#5972) fix: Error when `quote` is used in runtime code (#5978) chore: document HashMap (#5984) fix: Restrict keccak256_injective test input to 8 bits (#5977) fix: Error when comptime functions are used in runtime code (#5976) chore: document BoundedVec (#5974) feat: add `Expr::as_let` (#5964) chore: remove 3 unused functions warnings in the stdlib (#5973) feat: let `nargo` and LSP work well in the stdlib (#5969)

github-actions · 2024-09-11T09:27:39Z

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

feat: LSP completion function detail (noir-lang/noir#5993) feat: add `TypedExpr::get_type` (noir-lang/noir#5992) feat: better error message for misplaced doc comments (noir-lang/noir#5990) fix: Error when comptime types are used in runtime code (noir-lang/noir#5987)

Automated pull of development from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec. BEGIN_COMMIT_OVERRIDE feat: Sync from aztec-packages (noir-lang/noir#5971) feat: LSP completion function detail (noir-lang/noir#5993) feat: add `TypedExpr::get_type` (noir-lang/noir#5992) feat: better error message for misplaced doc comments (noir-lang/noir#5990) fix: Error when comptime types are used in runtime code (noir-lang/noir#5987) END_COMMIT_OVERRIDE

🤖 I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.55.0</summary> ## [0.55.0](aztec-package-v0.54.0...aztec-package-v0.55.0) (2024-09-13) ### Bug Fixes * Load prover node config from env ([#8525](#8525)) ([7065962](7065962)) ### Miscellaneous * Remove unneeded propose and da oracle ([#8474](#8474)) ([274a6b7](274a6b7)) </details> <details><summary>barretenberg.js: 0.55.0</summary> ## [0.55.0](barretenberg.js-v0.54.0...barretenberg.js-v0.55.0) (2024-09-13) ### Features * New test programs for wasm benchmarking ([#8389](#8389)) ([0b46e96](0b46e96)) </details> <details><summary>aztec-packages: 0.55.0</summary> ## [0.55.0](aztec-packages-v0.54.0...aztec-packages-v0.55.0) (2024-09-13) ### ⚠ BREAKING CHANGES * Add Not instruction in brillig ([#8488](#8488)) * refactor NoteGetterOptions::select API ([#8504](#8504)) * **avm:** variants for CAST/NOT opcode ([#8497](#8497)) * **avm:** variants for REVERT opcode ([#8487](#8487)) ### Features * (bb) remove redundant constraints on field/group elements when using goblin plonk ([#8409](#8409)) ([12a093d](12a093d)) * Add `Module::structs` (noir-lang/noir#6017) ([cb20e07](cb20e07)) * Add `TypedExpr::get_type` (noir-lang/noir#5992) ([875cfe6](875cfe6)) * Add assertions for ACVM `FunctionInput` `bit_size` (noir-lang/noir#5864) ([20d7576](20d7576)) * Add Not instruction in brillig ([#8488](#8488)) ([ceda361](ceda361)) * Add timeouts for request / response stream connections ([#8434](#8434)) ([190c27f](190c27f)) * **avm:** Parallelize polynomial alloc and set ([#8520](#8520)) ([7e73531](7e73531)) * **avm:** Variants for CAST/NOT opcode ([#8497](#8497)) ([bc609fa](bc609fa)) * **avm:** Variants for REVERT opcode ([#8487](#8487)) ([a0c8915](a0c8915)) * **bb:** Iterative constexpr_for ([#8502](#8502)) ([02c3330](02c3330)) * Better error message for misplaced doc comments (noir-lang/noir#5990) ([875cfe6](875cfe6)) * Change the layout of arrays and vectors to be a single pointer ([#8448](#8448)) ([3ad624c](3ad624c)) * Checking finalized sizes + a test of two folding verifiers ([#8503](#8503)) ([d9e3f4d](d9e3f4d)) * Extract brillig slice ops to reusable procedures (noir-lang/noir#6002) ([20d7576](20d7576)) * Format trait impl functions (noir-lang/noir#6016) ([cb20e07](cb20e07)) * Impl Hash and Eq on more comptime types (noir-lang/noir#6022) ([cb20e07](cb20e07)) * Implement LSP code action "Implement missing members" (noir-lang/noir#6020) ([cb20e07](cb20e07)) * Let `has_named_attribute` work for built-in attributes (noir-lang/noir#6024) ([cb20e07](cb20e07)) * LSP completion function detail (noir-lang/noir#5993) ([875cfe6](875cfe6)) * Native world state ([#7516](#7516)) ([c1aa6f7](c1aa6f7)) * New test programs for wasm benchmarking ([#8389](#8389)) ([0b46e96](0b46e96)) * Output timestamps in prover-stats raw logs ([#8476](#8476)) ([aa67a14](aa67a14)) * Rate limit peers in request response p2p interactions ([#8498](#8498)) ([00146fa](00146fa)) * Refactor NoteGetterOptions::select API ([#8504](#8504)) ([e527992](e527992)) * Sync from aztec-packages (noir-lang/noir#5971) ([875cfe6](875cfe6)) * Sync from aztec-packages (noir-lang/noir#6001) ([20d7576](20d7576)) * Use Zac's quicksort algorithm in stdlib sorting (noir-lang/noir#5940) ([20d7576](20d7576)) * Validators ensure transactions live in their p2p pool before attesting ([#8410](#8410)) ([bce1eea](bce1eea)) * Verification key stuff ([#8431](#8431)) ([11dc8ff](11dc8ff)) ### Bug Fixes * Correctly print string tokens (noir-lang/noir#6021) ([cb20e07](cb20e07)) * Enable verifier when deploying the networks ([#8500](#8500)) ([f6d31f1](f6d31f1)) * Error when comptime types are used in runtime code (noir-lang/noir#5987) ([875cfe6](875cfe6)) * Error when mutating comptime variables in non-comptime code (noir-lang/noir#6003) ([20d7576](20d7576)) * Fix some mistakes in arithmetic generics docs (noir-lang/noir#5999) ([20d7576](20d7576)) * Fix using lazily elaborated comptime globals (noir-lang/noir#5995) ([20d7576](20d7576)) * Help link was outdated (noir-lang/noir#6004) ([20d7576](20d7576)) * Load prover node config from env ([#8525](#8525)) ([7065962](7065962)) * Remove claim_public from fee juice ([#8337](#8337)) ([dca74ae](dca74ae)) * Try to move constant terms to one side for arithmetic generics (noir-lang/noir#6008) ([cb20e07](cb20e07)) * Use module name as line after which we'll insert auto-import (noir-lang/noir#6025) ([cb20e07](cb20e07)) ### Miscellaneous * Add some `pub use` and remove unused imports ([#8521](#8521)) ([8bd0755](8bd0755)) * **bb:** Fix mac build ([#8505](#8505)) ([32fd347](32fd347)), closes [#8499](#8499) * **bb:** Fix mac build ([#8522](#8522)) ([986e703](986e703)) * **ci:** Fix bb publishing ([#8486](#8486)) ([c210c36](c210c36)) * Fix a load of warnings in aztec-nr ([#8501](#8501)) ([35dc1e1](35dc1e1)) * Protogalaxy verifier matches prover 1 ([#8414](#8414)) ([5a76ec6](5a76ec6)) * Remove RC tracking in mem2reg (noir-lang/noir#6019) ([cb20e07](cb20e07)) * Remove unneeded propose and da oracle ([#8474](#8474)) ([274a6b7](274a6b7)) * Replace relative paths to noir-protocol-circuits ([b179c6b](b179c6b)) * Replace relative paths to noir-protocol-circuits ([1c042be](1c042be)) * Replace relative paths to noir-protocol-circuits ([1c8409f](1c8409f)) * Run mac builds on master ([#8519](#8519)) ([c458a79](c458a79)) * Single install script for cargo-binstall (noir-lang/noir#5998) ([20d7576](20d7576)) * Use uint32_t instead of size_t for databus data ([#8479](#8479)) ([79995c8](79995c8)) </details> <details><summary>barretenberg: 0.55.0</summary> ## [0.55.0](barretenberg-v0.54.0...barretenberg-v0.55.0) (2024-09-13) ### ⚠ BREAKING CHANGES * Add Not instruction in brillig ([#8488](#8488)) * **avm:** variants for CAST/NOT opcode ([#8497](#8497)) * **avm:** variants for REVERT opcode ([#8487](#8487)) ### Features * (bb) remove redundant constraints on field/group elements when using goblin plonk ([#8409](#8409)) ([12a093d](12a093d)) * Add Not instruction in brillig ([#8488](#8488)) ([ceda361](ceda361)) * **avm:** Parallelize polynomial alloc and set ([#8520](#8520)) ([7e73531](7e73531)) * **avm:** Variants for CAST/NOT opcode ([#8497](#8497)) ([bc609fa](bc609fa)) * **avm:** Variants for REVERT opcode ([#8487](#8487)) ([a0c8915](a0c8915)) * **bb:** Iterative constexpr_for ([#8502](#8502)) ([02c3330](02c3330)) * Checking finalized sizes + a test of two folding verifiers ([#8503](#8503)) ([d9e3f4d](d9e3f4d)) * Native world state ([#7516](#7516)) ([c1aa6f7](c1aa6f7)) * New test programs for wasm benchmarking ([#8389](#8389)) ([0b46e96](0b46e96)) * Verification key stuff ([#8431](#8431)) ([11dc8ff](11dc8ff)) ### Miscellaneous * **bb:** Fix mac build ([#8505](#8505)) ([32fd347](32fd347)), closes [#8499](#8499) * **bb:** Fix mac build ([#8522](#8522)) ([986e703](986e703)) * Protogalaxy verifier matches prover 1 ([#8414](#8414)) ([5a76ec6](5a76ec6)) * Use uint32_t instead of size_t for databus data ([#8479](#8479)) ([79995c8](79995c8)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

🤖 I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.55.0</summary> ## [0.55.0](AztecProtocol/aztec-packages@aztec-package-v0.54.0...aztec-package-v0.55.0) (2024-09-13) ### Bug Fixes * Load prover node config from env ([#8525](AztecProtocol/aztec-packages#8525)) ([7065962](AztecProtocol/aztec-packages@7065962)) ### Miscellaneous * Remove unneeded propose and da oracle ([#8474](AztecProtocol/aztec-packages#8474)) ([274a6b7](AztecProtocol/aztec-packages@274a6b7)) </details> <details><summary>barretenberg.js: 0.55.0</summary> ## [0.55.0](AztecProtocol/aztec-packages@barretenberg.js-v0.54.0...barretenberg.js-v0.55.0) (2024-09-13) ### Features * New test programs for wasm benchmarking ([#8389](AztecProtocol/aztec-packages#8389)) ([0b46e96](AztecProtocol/aztec-packages@0b46e96)) </details> <details><summary>aztec-packages: 0.55.0</summary> ## [0.55.0](AztecProtocol/aztec-packages@aztec-packages-v0.54.0...aztec-packages-v0.55.0) (2024-09-13) ### ⚠ BREAKING CHANGES * Add Not instruction in brillig ([#8488](AztecProtocol/aztec-packages#8488)) * refactor NoteGetterOptions::select API ([#8504](AztecProtocol/aztec-packages#8504)) * **avm:** variants for CAST/NOT opcode ([#8497](AztecProtocol/aztec-packages#8497)) * **avm:** variants for REVERT opcode ([#8487](AztecProtocol/aztec-packages#8487)) ### Features * (bb) remove redundant constraints on field/group elements when using goblin plonk ([#8409](AztecProtocol/aztec-packages#8409)) ([12a093d](AztecProtocol/aztec-packages@12a093d)) * Add `Module::structs` (noir-lang/noir#6017) ([cb20e07](AztecProtocol/aztec-packages@cb20e07)) * Add `TypedExpr::get_type` (noir-lang/noir#5992) ([875cfe6](AztecProtocol/aztec-packages@875cfe6)) * Add assertions for ACVM `FunctionInput` `bit_size` (noir-lang/noir#5864) ([20d7576](AztecProtocol/aztec-packages@20d7576)) * Add Not instruction in brillig ([#8488](AztecProtocol/aztec-packages#8488)) ([ceda361](AztecProtocol/aztec-packages@ceda361)) * Add timeouts for request / response stream connections ([#8434](AztecProtocol/aztec-packages#8434)) ([190c27f](AztecProtocol/aztec-packages@190c27f)) * **avm:** Parallelize polynomial alloc and set ([#8520](AztecProtocol/aztec-packages#8520)) ([7e73531](AztecProtocol/aztec-packages@7e73531)) * **avm:** Variants for CAST/NOT opcode ([#8497](AztecProtocol/aztec-packages#8497)) ([bc609fa](AztecProtocol/aztec-packages@bc609fa)) * **avm:** Variants for REVERT opcode ([#8487](AztecProtocol/aztec-packages#8487)) ([a0c8915](AztecProtocol/aztec-packages@a0c8915)) * **bb:** Iterative constexpr_for ([#8502](AztecProtocol/aztec-packages#8502)) ([02c3330](AztecProtocol/aztec-packages@02c3330)) * Better error message for misplaced doc comments (noir-lang/noir#5990) ([875cfe6](AztecProtocol/aztec-packages@875cfe6)) * Change the layout of arrays and vectors to be a single pointer ([#8448](AztecProtocol/aztec-packages#8448)) ([3ad624c](AztecProtocol/aztec-packages@3ad624c)) * Checking finalized sizes + a test of two folding verifiers ([#8503](AztecProtocol/aztec-packages#8503)) ([d9e3f4d](AztecProtocol/aztec-packages@d9e3f4d)) * Extract brillig slice ops to reusable procedures (noir-lang/noir#6002) ([20d7576](AztecProtocol/aztec-packages@20d7576)) * Format trait impl functions (noir-lang/noir#6016) ([cb20e07](AztecProtocol/aztec-packages@cb20e07)) * Impl Hash and Eq on more comptime types (noir-lang/noir#6022) ([cb20e07](AztecProtocol/aztec-packages@cb20e07)) * Implement LSP code action "Implement missing members" (noir-lang/noir#6020) ([cb20e07](AztecProtocol/aztec-packages@cb20e07)) * Let `has_named_attribute` work for built-in attributes (noir-lang/noir#6024) ([cb20e07](AztecProtocol/aztec-packages@cb20e07)) * LSP completion function detail (noir-lang/noir#5993) ([875cfe6](AztecProtocol/aztec-packages@875cfe6)) * Native world state ([#7516](AztecProtocol/aztec-packages#7516)) ([c1aa6f7](AztecProtocol/aztec-packages@c1aa6f7)) * New test programs for wasm benchmarking ([#8389](AztecProtocol/aztec-packages#8389)) ([0b46e96](AztecProtocol/aztec-packages@0b46e96)) * Output timestamps in prover-stats raw logs ([#8476](AztecProtocol/aztec-packages#8476)) ([aa67a14](AztecProtocol/aztec-packages@aa67a14)) * Rate limit peers in request response p2p interactions ([#8498](AztecProtocol/aztec-packages#8498)) ([00146fa](AztecProtocol/aztec-packages@00146fa)) * Refactor NoteGetterOptions::select API ([#8504](AztecProtocol/aztec-packages#8504)) ([e527992](AztecProtocol/aztec-packages@e527992)) * Sync from aztec-packages (noir-lang/noir#5971) ([875cfe6](AztecProtocol/aztec-packages@875cfe6)) * Sync from aztec-packages (noir-lang/noir#6001) ([20d7576](AztecProtocol/aztec-packages@20d7576)) * Use Zac's quicksort algorithm in stdlib sorting (noir-lang/noir#5940) ([20d7576](AztecProtocol/aztec-packages@20d7576)) * Validators ensure transactions live in their p2p pool before attesting ([#8410](AztecProtocol/aztec-packages#8410)) ([bce1eea](AztecProtocol/aztec-packages@bce1eea)) * Verification key stuff ([#8431](AztecProtocol/aztec-packages#8431)) ([11dc8ff](AztecProtocol/aztec-packages@11dc8ff)) ### Bug Fixes * Correctly print string tokens (noir-lang/noir#6021) ([cb20e07](AztecProtocol/aztec-packages@cb20e07)) * Enable verifier when deploying the networks ([#8500](AztecProtocol/aztec-packages#8500)) ([f6d31f1](AztecProtocol/aztec-packages@f6d31f1)) * Error when comptime types are used in runtime code (noir-lang/noir#5987) ([875cfe6](AztecProtocol/aztec-packages@875cfe6)) * Error when mutating comptime variables in non-comptime code (noir-lang/noir#6003) ([20d7576](AztecProtocol/aztec-packages@20d7576)) * Fix some mistakes in arithmetic generics docs (noir-lang/noir#5999) ([20d7576](AztecProtocol/aztec-packages@20d7576)) * Fix using lazily elaborated comptime globals (noir-lang/noir#5995) ([20d7576](AztecProtocol/aztec-packages@20d7576)) * Help link was outdated (noir-lang/noir#6004) ([20d7576](AztecProtocol/aztec-packages@20d7576)) * Load prover node config from env ([#8525](AztecProtocol/aztec-packages#8525)) ([7065962](AztecProtocol/aztec-packages@7065962)) * Remove claim_public from fee juice ([#8337](AztecProtocol/aztec-packages#8337)) ([dca74ae](AztecProtocol/aztec-packages@dca74ae)) * Try to move constant terms to one side for arithmetic generics (noir-lang/noir#6008) ([cb20e07](AztecProtocol/aztec-packages@cb20e07)) * Use module name as line after which we'll insert auto-import (noir-lang/noir#6025) ([cb20e07](AztecProtocol/aztec-packages@cb20e07)) ### Miscellaneous * Add some `pub use` and remove unused imports ([#8521](AztecProtocol/aztec-packages#8521)) ([8bd0755](AztecProtocol/aztec-packages@8bd0755)) * **bb:** Fix mac build ([#8505](AztecProtocol/aztec-packages#8505)) ([32fd347](AztecProtocol/aztec-packages@32fd347)), closes [#8499](AztecProtocol/aztec-packages#8499) * **bb:** Fix mac build ([#8522](AztecProtocol/aztec-packages#8522)) ([986e703](AztecProtocol/aztec-packages@986e703)) * **ci:** Fix bb publishing ([#8486](AztecProtocol/aztec-packages#8486)) ([c210c36](AztecProtocol/aztec-packages@c210c36)) * Fix a load of warnings in aztec-nr ([#8501](AztecProtocol/aztec-packages#8501)) ([35dc1e1](AztecProtocol/aztec-packages@35dc1e1)) * Protogalaxy verifier matches prover 1 ([#8414](AztecProtocol/aztec-packages#8414)) ([5a76ec6](AztecProtocol/aztec-packages@5a76ec6)) * Remove RC tracking in mem2reg (noir-lang/noir#6019) ([cb20e07](AztecProtocol/aztec-packages@cb20e07)) * Remove unneeded propose and da oracle ([#8474](AztecProtocol/aztec-packages#8474)) ([274a6b7](AztecProtocol/aztec-packages@274a6b7)) * Replace relative paths to noir-protocol-circuits ([b179c6b](AztecProtocol/aztec-packages@b179c6b)) * Replace relative paths to noir-protocol-circuits ([1c042be](AztecProtocol/aztec-packages@1c042be)) * Replace relative paths to noir-protocol-circuits ([1c8409f](AztecProtocol/aztec-packages@1c8409f)) * Run mac builds on master ([#8519](AztecProtocol/aztec-packages#8519)) ([c458a79](AztecProtocol/aztec-packages@c458a79)) * Single install script for cargo-binstall (noir-lang/noir#5998) ([20d7576](AztecProtocol/aztec-packages@20d7576)) * Use uint32_t instead of size_t for databus data ([#8479](AztecProtocol/aztec-packages#8479)) ([79995c8](AztecProtocol/aztec-packages@79995c8)) </details> <details><summary>barretenberg: 0.55.0</summary> ## [0.55.0](AztecProtocol/aztec-packages@barretenberg-v0.54.0...barretenberg-v0.55.0) (2024-09-13) ### ⚠ BREAKING CHANGES * Add Not instruction in brillig ([#8488](AztecProtocol/aztec-packages#8488)) * **avm:** variants for CAST/NOT opcode ([#8497](AztecProtocol/aztec-packages#8497)) * **avm:** variants for REVERT opcode ([#8487](AztecProtocol/aztec-packages#8487)) ### Features * (bb) remove redundant constraints on field/group elements when using goblin plonk ([#8409](AztecProtocol/aztec-packages#8409)) ([12a093d](AztecProtocol/aztec-packages@12a093d)) * Add Not instruction in brillig ([#8488](AztecProtocol/aztec-packages#8488)) ([ceda361](AztecProtocol/aztec-packages@ceda361)) * **avm:** Parallelize polynomial alloc and set ([#8520](AztecProtocol/aztec-packages#8520)) ([7e73531](AztecProtocol/aztec-packages@7e73531)) * **avm:** Variants for CAST/NOT opcode ([#8497](AztecProtocol/aztec-packages#8497)) ([bc609fa](AztecProtocol/aztec-packages@bc609fa)) * **avm:** Variants for REVERT opcode ([#8487](AztecProtocol/aztec-packages#8487)) ([a0c8915](AztecProtocol/aztec-packages@a0c8915)) * **bb:** Iterative constexpr_for ([#8502](AztecProtocol/aztec-packages#8502)) ([02c3330](AztecProtocol/aztec-packages@02c3330)) * Checking finalized sizes + a test of two folding verifiers ([#8503](AztecProtocol/aztec-packages#8503)) ([d9e3f4d](AztecProtocol/aztec-packages@d9e3f4d)) * Native world state ([#7516](AztecProtocol/aztec-packages#7516)) ([c1aa6f7](AztecProtocol/aztec-packages@c1aa6f7)) * New test programs for wasm benchmarking ([#8389](AztecProtocol/aztec-packages#8389)) ([0b46e96](AztecProtocol/aztec-packages@0b46e96)) * Verification key stuff ([#8431](AztecProtocol/aztec-packages#8431)) ([11dc8ff](AztecProtocol/aztec-packages@11dc8ff)) ### Miscellaneous * **bb:** Fix mac build ([#8505](AztecProtocol/aztec-packages#8505)) ([32fd347](AztecProtocol/aztec-packages@32fd347)), closes [#8499](AztecProtocol/aztec-packages#8499) * **bb:** Fix mac build ([#8522](AztecProtocol/aztec-packages#8522)) ([986e703](AztecProtocol/aztec-packages@986e703)) * Protogalaxy verifier matches prover 1 ([#8414](AztecProtocol/aztec-packages#8414)) ([5a76ec6](AztecProtocol/aztec-packages@5a76ec6)) * Use uint32_t instead of size_t for databus data ([#8479](AztecProtocol/aztec-packages#8479)) ([79995c8](AztecProtocol/aztec-packages@79995c8)) </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 and others added 2 commits September 9, 2024 13:37

chore: apply sync fixes

a48fa94

Merge branch 'master' into aztec-packages

b1eb9b0

github-actions bot added the documentation Improvements or additions to documentation label Sep 9, 2024

.

50f12a1

TomAFrench approved these changes Sep 9, 2024

View reviewed changes

TomAFrench added this pull request to the merge queue Sep 9, 2024

github-merge-queue bot removed this pull request from the merge queue due to failed status checks Sep 9, 2024

AztecBot and others added 3 commits September 11, 2024 09:14

chore: apply sync fixes

54006ea

TomAFrench enabled auto-merge September 11, 2024 09:16

TomAFrench added this pull request to the merge queue Sep 11, 2024

Merged via the queue into master with commit 3c3ed1e Sep 11, 2024
46 checks passed

TomAFrench deleted the aztec-packages branch September 11, 2024 09:39

AztecBot mentioned this pull request Sep 11, 2024

feat: Sync from noir AztecProtocol/aztec-packages#8482

Merged

AztecBot mentioned this pull request Sep 11, 2024

chore(master): Release 0.55.0 AztecProtocol/aztec-packages#8478

Merged

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: Sync from aztec-packages #5971

feat: Sync from aztec-packages #5971

AztecBot commented Sep 9, 2024 •

edited

Loading

github-actions bot commented Sep 9, 2024 •

edited

Loading

github-actions bot commented Sep 9, 2024 •

edited

Loading

TomAFrench left a comment

github-actions bot commented Sep 11, 2024

feat: Sync from aztec-packages #5971

feat: Sync from aztec-packages #5971

Conversation

AztecBot commented Sep 9, 2024 • edited Loading

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

Changes to Brillig bytecode sizes

🧾 Summary (10% most significant diffs)

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

TomAFrench left a comment

Choose a reason for hiding this comment

github-actions bot commented Sep 11, 2024

AztecBot commented Sep 9, 2024 •

edited

Loading

github-actions bot commented Sep 9, 2024 •

edited

Loading

github-actions bot commented Sep 9, 2024 •

edited

Loading