feat: Sync from aztec-packages #5790

AztecBot · 2024-08-22T10:42:39Z

Automated pull of Noir development from aztec-packages.
BEGIN_COMMIT_OVERRIDE
feat: Added indirect const instruction (AztecProtocol/aztec-packages#8065)
feat: optimize to_radix (AztecProtocol/aztec-packages#8073)
feat: automate verify_honk_proof input generation (AztecProtocol/aztec-packages#8092)
feat: Sync from noir (AztecProtocol/aztec-packages#8093)
feat: Poseidon2 gates for Ultra arithmetisation (AztecProtocol/aztec-packages#7494)
feat: Sync from noir (AztecProtocol/aztec-packages#8008)
feat: Add reusable procedures to brillig generation (AztecProtocol/aztec-packages#7981)
feat: Small optimization in toradix (AztecProtocol/aztec-packages#8040)
feat: unify all acir recursion constraints based on RecursionConstraint and proof_type (AztecProtocol/aztec-packages#7993)
feat: Sync from noir (AztecProtocol/aztec-packages#7958)
END_COMMIT_OVERRIDE

github-actions · 2024-08-22T11:29:13Z

Changes to Brillig bytecode sizes

Generated at commit: 8a68d6e30a2bc49aff1b3a6616a462c00c4eb606, compared to commit: bceee55cc3833978d120e194820cfae9132c8006

🧾 Summary (10% most significant diffs)

Program	Brillig opcodes (+/-)	%
regression_5615	+1 ❌	+20.00%
empty	+1 ❌	+20.00%
unit_value	+1 ❌	+20.00%
comptime_slice_equality	+1 ❌	+20.00%
simple_radix	-13 ✅	-19.12%
brillig_keccak	-794 ✅	-19.23%
keccak256	-794 ✅	-19.23%
sha256	-659 ✅	-19.26%
regression_method_cannot_be_found	-11 ✅	-19.30%
bigint	-853 ✅	-19.34%
conditional_1	-197 ✅	-19.92%
no_predicates_numeric_generic_poseidon	-409 ✅	-20.95%
fold_numeric_generic_poseidon	-409 ✅	-20.95%
uhashmap	-8,231 ✅	-21.16%
poseidon2	-150 ✅	-21.74%
array_len	-12 ✅	-22.64%
hashmap	-15,894 ✅	-22.75%
sha2_byte	-1,335 ✅	-23.08%
slice_dynamic_index	-1,024 ✅	-25.38%
to_bytes_integration	-26 ✅	-28.89%
regression_struct_array_conditional	-363 ✅	-31.62%
fold_complex_outputs	-483 ✅	-32.09%

Full diff report 👇

Program	Brillig opcodes (+/-)	%
regression_5615	6 (+1)	+20.00%
empty	6 (+1)	+20.00%
unit_value	6 (+1)	+20.00%
comptime_slice_equality	6 (+1)	+20.00%
array_to_slice_constant_length	7 (+1)	+16.67%
brillig_identity_function	7 (+1)	+16.67%
trait_as_return_type	8 (+1)	+14.29%
brillig_fns_as_values	8 (+1)	+14.29%
main_return	10 (+1)	+11.11%
as_witness	10 (+1)	+11.11%
1327_concrete_in_generic	11 (+1)	+10.00%
missing_closure_env	11 (+1)	+10.00%
is_unconstrained	11 (+1)	+10.00%
pred_eq	11 (+1)	+10.00%
regression_4088	11 (+1)	+10.00%
regression_4124	11 (+1)	+10.00%
custom_entry	11 (+1)	+10.00%
assert	11 (+1)	+10.00%
bool_not	12 (+1)	+9.09%
closures_mut_ref	12 (+1)	+9.09%
simple_mut	12 (+1)	+9.09%
simple_program_addition	12 (+1)	+9.09%
fold_after_inlined_calls	12 (+1)	+9.09%
unsafe_range_constraint	12 (+1)	+9.09%
double_verify_proof	24 (+2)	+9.09%
double_verify_proof_recursive	24 (+2)	+9.09%
modules	13 (+1)	+8.33%
modules_more	13 (+1)	+8.33%
no_predicates_basic	13 (+1)	+8.33%
simple_not	13 (+1)	+8.33%
traits_in_crates_1	13 (+1)	+8.33%
traits_in_crates_2	13 (+1)	+8.33%
inline_never_basic	13 (+1)	+8.33%
fold_basic	13 (+1)	+8.33%
brillig_references	13 (+1)	+8.33%
bit_not	14 (+1)	+7.69%
cast_bool	14 (+1)	+7.69%
regression_3889	14 (+1)	+7.69%
field_attribute	14 (+1)	+7.69%
submodules	15 (+1)	+7.14%
trait_impl_base_type	15 (+1)	+7.14%
fold_basic_nested_call	15 (+1)	+7.14%
diamond_deps_0	15 (+1)	+7.14%
struct	16 (+1)	+6.67%
simple_shift_left_right	17 (+1)	+6.25%
struct_fields_ordering	17 (+1)	+6.25%
witness_compression	17 (+1)	+6.25%
xor	17 (+1)	+6.25%
assign_ex	18 (+1)	+5.88%
bool_or	19 (+1)	+5.56%
simple_comparison	19 (+1)	+5.56%
fold_distinct_return	19 (+1)	+5.56%
simple_array_param	20 (+1)	+5.26%
brillig_acir_as_brillig	21 (+1)	+5.00%
brillig_calls	21 (+1)	+5.00%
brillig_conditional	21 (+1)	+5.00%
brillig_not	22 (+1)	+4.76%
no_predicates_brillig	23 (+1)	+4.55%
arithmetic_binary_operations	24 (+1)	+4.35%
embedded_curve_ops	144 (+6)	+4.35%
bit_shifts_comptime	26 (+1)	+4.00%
regression_5435	27 (+1)	+3.85%
5_over	27 (+1)	+3.85%
regression_2660	27 (+1)	+3.85%
type_aliases	27 (+1)	+3.85%
struct_array_inputs	28 (+1)	+3.70%
conditional_regression_underflow	28 (+1)	+3.70%
4_sub	29 (+1)	+3.57%
conditional_regression_547	30 (+1)	+3.45%
u16_support	32 (+1)	+3.23%
2_div	34 (+1)	+3.03%
3_add	34 (+1)	+3.03%
unary_operator_overloading	35 (+1)	+2.94%
bit_and	38 (+1)	+2.70%
regression_3607	39 (+1)	+2.63%
integer_array_indexing	40 (+1)	+2.56%
main_bool_arg	40 (+1)	+2.56%
poseidon_bn254_hash_width_3	27,763 (+692)	+2.56%
poseidon_bn254_hash	27,763 (+692)	+2.56%
simple_bitwise	43 (+1)	+2.38%
wrapping_operations	43 (+1)	+2.38%
tuples	44 (+1)	+2.33%
nested_arrays_from_brillig	45 (+1)	+2.27%
poseidonsponge_x5_254	33,888 (+738)	+2.23%
1_mul	47 (+1)	+2.17%
break_and_continue	50 (+1)	+2.04%
array_eq	54 (+1)	+1.89%
array_neq	54 (+1)	+1.89%
brillig_loop	64 (+1)	+1.59%
brillig_calls_array	68 (+1)	+1.49%
brillig_loop_size_regression	73 (+1)	+1.39%
regression_5252	36,495 (+474)	+1.32%
conditional_regression_421	83 (+1)	+1.22%
signed_cmp	86 (+1)	+1.18%
brillig_blake2s	97 (+1)	+1.04%
bit_shifts_runtime	115 (+1)	+0.88%
signed_comparison	116 (+1)	+0.87%
if_else_chain	118 (+1)	+0.85%
signed_div	124 (+1)	+0.81%
brillig_calls_conditionals	131 (+1)	+0.77%
signed_division	148 (+1)	+0.68%
brillig_ecdsa_secp256r1	188 (+1)	+0.53%
bench_ecdsa_secp256k1	188 (+1)	+0.53%
brillig_ecdsa_secp256k1	188 (+1)	+0.53%
ecdsa_secp256r1	188 (+1)	+0.53%
signed_arithmetic	263 (+1)	+0.38%
eddsa	67,714 (+207)	+0.31%
binary_operator_overloading	453 (+1)	+0.22%
ecdsa_secp256r1_3x	550 (+1)	+0.18%
brillig_block_parameter_liveness	5,282 (+1)	+0.02%
6_array	410 (-2)	-0.49%
regression_4709	135,088 (-800)	-0.59%
references	354 (-3)	-0.84%
databus_two_calldata_simple	101 (-1)	-0.98%
6	1,229 (-14)	-1.13%
databus	83 (-1)	-1.19%
pedersen_commitment	78 (-1)	-1.27%
import	71 (-1)	-1.39%
global_consts	178 (-3)	-1.66%
debug_logs	9,656 (-183)	-1.86%
regression_mem_op_predicate	85 (-2)	-2.30%
array_if_cond_simple	120 (-3)	-2.44%
to_bits	186 (-5)	-2.62%
cast_and_shift_global	161 (-5)	-3.01%
simple_add_and_ret_arr	32 (-1)	-3.03%
pedersen_check	256 (-8)	-3.03%
brillig_pedersen	256 (-8)	-3.03%
merkle_insert	1,321 (-48)	-3.51%
tuple_inputs	301 (-11)	-3.53%
fold_call_witness_condition	107 (-4)	-3.60%
generics	208 (-9)	-4.15%
regression_5045	87 (-4)	-4.40%
modulus	1,784 (-94)	-5.01%
struct_inputs	245 (-14)	-5.41%
regression_4202	86 (-5)	-5.49%
simple_2d_array	164 (-10)	-5.75%
conditional_regression_short_circuit	175 (-11)	-5.91%
array_dynamic_blackbox_input	386 (-27)	-6.54%
brillig_cow_assign	151 (-11)	-6.79%
strings	1,513 (-112)	-6.89%
brillig_hash_to_field	213 (-16)	-6.99%
hash_to_field	213 (-16)	-6.99%
aes128_encrypt	440 (-34)	-7.17%
simple_shield	340 (-27)	-7.36%
wildcard_type	319 (-26)	-7.54%
higher_order_functions	894 (-75)	-7.74%
slice_loop	350 (-30)	-7.89%
nested_dyn_array_regression_5782	150 (-13)	-7.98%
side_effects_constrain_array	138 (-12)	-8.00%
to_be_bytes	198 (-18)	-8.33%
conditional_2	95 (-9)	-8.65%
conditional_regression_661	113 (-11)	-8.87%
brillig_slices	650 (-66)	-9.22%
array_dynamic_nested_blackbox_input	1,010 (-104)	-9.34%
databus_two_calldata	286 (-30)	-9.49%
slice_coercion	273 (-29)	-9.60%
to_bytes_consistent	144 (-16)	-10.00%
slice_regex	7,308 (-866)	-10.59%
brillig_nested_arrays	450 (-56)	-11.07%
derive	155 (-20)	-11.43%
brillig_oracle	327 (-43)	-11.62%
nested_array_dynamic_simple	129 (-17)	-11.64%
simple_print	162 (-22)	-11.96%
u128	5,527 (-796)	-12.59%
assert_statement_recursive	144 (-22)	-13.25%
assert_statement	144 (-22)	-13.25%
array_dynamic	281 (-43)	-13.27%
brillig_assert	116 (-18)	-13.43%
prelude	148 (-23)	-13.45%
schnorr	1,061 (-179)	-14.44%
regression_3051	126 (-22)	-14.86%
sha256_regression	9,061 (-1,596)	-14.98%
brillig_cow	360 (-66)	-15.49%
7_function	670 (-125)	-15.72%
fold_fibonacci	100 (-19)	-15.97%
brillig_recursion	100 (-19)	-15.97%
acir_inside_brillig_recursion	110 (-21)	-16.03%
regression	737 (-141)	-16.06%
brillig_cow_regression	1,344 (-266)	-16.52%
nested_array_in_slice	1,680 (-338)	-16.75%
regression_4449	1,043 (-211)	-16.83%
regression_3394	82 (-17)	-17.17%
regression_capacity_tracker	169 (-36)	-17.56%
array_to_slice	1,045 (-223)	-17.59%
slices	2,875 (-614)	-17.60%
to_le_bytes	139 (-30)	-17.75%
sha256_var_size_regression	2,742 (-599)	-17.93%
brillig_array_to_slice	73 (-17)	-18.89%
array_sort	483 (-113)	-18.96%
nested_array_dynamic	4,210 (-992)	-19.07%
simple_radix	55 (-13)	-19.12%
brillig_keccak	3,335 (-794)	-19.23%
keccak256	3,335 (-794)	-19.23%
sha256	2,762 (-659)	-19.26%
regression_method_cannot_be_found	46 (-11)	-19.30%
bigint	3,557 (-853)	-19.34%
conditional_1	792 (-197)	-19.92%
no_predicates_numeric_generic_poseidon	1,543 (-409)	-20.95%
fold_numeric_generic_poseidon	1,543 (-409)	-20.95%
uhashmap	30,677 (-8,231)	-21.16%
poseidon2	540 (-150)	-21.74%
array_len	41 (-12)	-22.64%
hashmap	53,984 (-15,894)	-22.75%
sha2_byte	4,449 (-1,335)	-23.08%
slice_dynamic_index	3,011 (-1,024)	-25.38%
to_bytes_integration	64 (-26)	-28.89%
regression_struct_array_conditional	785 (-363)	-31.62%
fold_complex_outputs	1,022 (-483)	-32.09%

TomAFrench · 2024-08-22T11:36:08Z

This is blocked by a new bb release.

* master: (21 commits) chore: crypto blackbox tests (#5614) feat: Improve "type annotations needed" errors (#5830) chore: enum dummy ID for `FuncId` in monomorphizer and docstring fixes (#5421) chore: delete wip fuzzing files that got accidentally added (#5829) chore: test ACVM `BigInt` (#5559) fix(docs): Fix file paths for metaprogramming docs (#5826) fix: bit shifting type checking (#5824) feat: add Expr::as_method_call (#5822) chore: Fix docs typo (#5821) feat: add `UnresolvedType::is_field` and `Expr::as_assign` (#5804) chore: Add docs for each comptime method (#5802) chore: Add comptime docs (#5800) fix: Handle multiple entry points for Brillig call stack resolution after metadata deduplication (#5788) fix(acir_gen): Nested dynamic array initialization (#5810) fix: honor function visibility in LSP completion (#5809) feat: LSP completion now works better in the middle of idents (#5795) feat: Explicit Associated Types & Constants (#5739) feat: add `Expr::as_cast` and `UnresolvedType::is_field` (#5801) feat: add `Expr` methods: as_comptime, as_unsafe, is_break, is_continue (#5799) fix: do not use predicate for index in array operation, when the index is safe (#5779) ...

socket-security · 2024-08-27T14:43:54Z

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

Package	New capabilities	Transitives	Size	Publisher
npm/clsx@1.2.1	None	`0`	5.67 kB	lukeed
npm/process@0.11.10	None	`0`	15.3 kB	cwmma

🚮 Removed packages: npm/@types/mocha@10.0.7), npm/@types/prettier@3.0.0)

View full report↗︎

* master: (21 commits) feat: add `Expr::resolve` and `TypedExpr::as_function_definition` (#5859) feat: LSP signature help for assert and assert_eq (#5862) fix(sha256): Add extra checks against message size when constructing msg blocks (#5861) feat: show backtrace on comptime assertion failures (#5842) feat: add `Expr::as_assert` (#5857) chore: underconstrained check in parallel (#5848) feat(meta): Comptime keccak (#5854) feat(optimization): Avoid merging identical (by ID) arrays (#5853) feat: add `FunctionDef::body` (#5825) fix(sha256): Fix upper bound when building msg block and delay final block compression under certain cases (#5838) feat: remove unnecessary copying of vector size during reversal (#5852) chore: Add missing cases to arithmetic generics (#5841) feat: warn on unused imports (#5847) chore: add documentation to `to_be_bytes`, etc. (#5843) feat: simplify constant calls to `poseidon2_permutation`, `schnorr_verify` and `embedded_curve_add` (#5140) chore: don't require empty `Prover.toml` for programs with zero arguments but a return value (#5845) fix!: Check unused generics are bound (#5840) chore(perf): Simplify poseidon2 algorithm (#5811) chore: redo typo PR by nnsW3 (#5834) fix(sha256): Perform compression per block and utilize ROM instead of RAM when setting up the message block (#5760) ...

github-actions · 2024-08-30T11:02:03Z

Changes to circuit sizes

Generated at commit: 8a68d6e30a2bc49aff1b3a6616a462c00c4eb606, compared to commit: bceee55cc3833978d120e194820cfae9132c8006

🧾 Summary (10% most significant diffs)

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
bench_poseidon2_hash_30	0 ➖	0.00%	-19,110 ✅	-88.94%
bench_poseidon2_hash_100	0 ➖	0.00%	-63,700 ✅	-88.96%

Full diff report 👇

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
eddsa	70,294 (0)	0.00%	70,406 (-1,274)	-1.78%
hashmap	97,735 (0)	0.00%	156,878 (-24,206)	-13.37%
regression_5252	76,998 (0)	0.00%	83,862 (-13,377)	-13.76%
bench_poseidon2_hash	4 (0)	0.00%	86 (-637)	-88.11%
poseidon2	5 (0)	0.00%	162 (-1,274)	-88.72%
no_predicates_numeric_generic_poseidon	53 (0)	0.00%	1,201 (-9,555)	-88.83%
bench_poseidon2_hash_30	62 (0)	0.00%	2,377 (-19,110)	-88.94%
bench_poseidon2_hash_100	202 (0)	0.00%	7,907 (-63,700)	-88.96%

TomAFrench · 2024-08-30T11:30:10Z

@asterite did you make any change to the lsp in aztec-packages or are all these change just merge conflicts?

asterite · 2024-08-30T13:04:29Z

@TomAFrench I didn't make changes here... but for some reason some of the LSP files always give a conflict when merging, I don't know why (it happened in the past too).

TomAFrench · 2024-08-30T14:03:35Z

Cool, I'll just revert all these in that case.

asterite · 2024-08-30T14:11:52Z

Sounds good. What I usually do is to checkout the version in noir and copy-paste the file and commit that... I don't know if that's what you did.

asterite · 2024-08-30T14:12:13Z

Well, "usually", I think I just did it once 😅

* master: feat: Sync from aztec-packages (#5790) feat: add `Expr::resolve` and `TypedExpr::as_function_definition` (#5859) feat: LSP signature help for assert and assert_eq (#5862) fix(sha256): Add extra checks against message size when constructing msg blocks (#5861) feat: show backtrace on comptime assertion failures (#5842) feat: add `Expr::as_assert` (#5857) chore: underconstrained check in parallel (#5848)

feat: add `FunctionDef::has_named_attribute` (noir-lang/noir#5870) chore: introduce the Visitor pattern (noir-lang/noir#5868) fix(nargo): Resolve Brillig assertion payloads (noir-lang/noir#5872) feat(perf): Simplify poseidon2 cache zero-pad (noir-lang/noir#5869) feat: Sync from aztec-packages (noir-lang/noir#5790) feat: add `Expr::resolve` and `TypedExpr::as_function_definition` (noir-lang/noir#5859) feat: LSP signature help for assert and assert_eq (noir-lang/noir#5862) fix(sha256): Add extra checks against message size when constructing msg blocks (noir-lang/noir#5861) feat: show backtrace on comptime assertion failures (noir-lang/noir#5842) feat: add `Expr::as_assert` (noir-lang/noir#5857) chore: underconstrained check in parallel (noir-lang/noir#5848) feat(meta): Comptime keccak (noir-lang/noir#5854) feat(optimization): Avoid merging identical (by ID) arrays (noir-lang/noir#5853) feat: add `FunctionDef::body` (noir-lang/noir#5825) fix(sha256): Fix upper bound when building msg block and delay final block compression under certain cases (noir-lang/noir#5838) feat: remove unnecessary copying of vector size during reversal (noir-lang/noir#5852) chore: Add missing cases to arithmetic generics (noir-lang/noir#5841) feat: warn on unused imports (noir-lang/noir#5847) chore: add documentation to `to_be_bytes`, etc. (noir-lang/noir#5843) feat: simplify constant calls to `poseidon2_permutation`, `schnorr_verify` and `embedded_curve_add` (noir-lang/noir#5140) chore: don't require empty `Prover.toml` for programs with zero arguments but a return value (noir-lang/noir#5845) fix!: Check unused generics are bound (noir-lang/noir#5840) chore(perf): Simplify poseidon2 algorithm (noir-lang/noir#5811) chore: redo typo PR by nnsW3 (noir-lang/noir#5834) fix(sha256): Perform compression per block and utilize ROM instead of RAM when setting up the message block (noir-lang/noir#5760) chore(perf): Update to stdlib keccak for reduced Brillig code size (noir-lang/noir#5827)

Automated pull of development from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec. BEGIN_COMMIT_OVERRIDE feat: add `Type::as_string` (noir-lang/noir#5871) feat: add `FunctionDef::has_named_attribute` (noir-lang/noir#5870) chore: introduce the Visitor pattern (noir-lang/noir#5868) fix(nargo): Resolve Brillig assertion payloads (noir-lang/noir#5872) feat(perf): Simplify poseidon2 cache zero-pad (noir-lang/noir#5869) feat: Sync from aztec-packages (noir-lang/noir#5790) feat: add `Expr::resolve` and `TypedExpr::as_function_definition` (noir-lang/noir#5859) feat: LSP signature help for assert and assert_eq (noir-lang/noir#5862) fix(sha256): Add extra checks against message size when constructing msg blocks (noir-lang/noir#5861) feat: show backtrace on comptime assertion failures (noir-lang/noir#5842) feat: add `Expr::as_assert` (noir-lang/noir#5857) chore: underconstrained check in parallel (noir-lang/noir#5848) feat(meta): Comptime keccak (noir-lang/noir#5854) feat(optimization): Avoid merging identical (by ID) arrays (noir-lang/noir#5853) feat: add `FunctionDef::body` (noir-lang/noir#5825) fix(sha256): Fix upper bound when building msg block and delay final block compression under certain cases (noir-lang/noir#5838) feat: remove unnecessary copying of vector size during reversal (noir-lang/noir#5852) chore: Add missing cases to arithmetic generics (noir-lang/noir#5841) feat: warn on unused imports (noir-lang/noir#5847) chore: add documentation to `to_be_bytes`, etc. (noir-lang/noir#5843) feat: simplify constant calls to `poseidon2_permutation`, `schnorr_verify` and `embedded_curve_add` (noir-lang/noir#5140) chore: don't require empty `Prover.toml` for programs with zero arguments but a return value (noir-lang/noir#5845) fix!: Check unused generics are bound (noir-lang/noir#5840) chore(perf): Simplify poseidon2 algorithm (noir-lang/noir#5811) chore: redo typo PR by nnsW3 (noir-lang/noir#5834) fix(sha256): Perform compression per block and utilize ROM instead of RAM when setting up the message block (noir-lang/noir#5760) chore(perf): Update to stdlib keccak for reduced Brillig code size (noir-lang/noir#5827) END_COMMIT_OVERRIDE --------- Co-authored-by: Tom French <tom@tomfren.ch> Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com> Co-authored-by: Maxim Vezenov <mvezenov@gmail.com>

🤖 I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.52.0</summary> ## [0.52.0](aztec-package-v0.51.1...aztec-package-v0.52.0) (2024-09-01) ### Miscellaneous * **aztec-package:** Synchronize aztec-packages versions </details> <details><summary>barretenberg.js: 0.52.0</summary> ## [0.52.0](barretenberg.js-v0.51.1...barretenberg.js-v0.52.0) (2024-09-01) ### Miscellaneous * **barretenberg.js:** Synchronize aztec-packages versions </details> <details><summary>aztec-packages: 0.52.0</summary> ## [0.52.0](aztec-packages-v0.51.1...aztec-packages-v0.52.0) (2024-09-01) ### ⚠ BREAKING CHANGES * Check unused generics are bound (noir-lang/noir#5840) ### Features * Add `Expr::as_assert` (noir-lang/noir#5857) ([cf5b667](cf5b667)) * Add `Expr::resolve` and `TypedExpr::as_function_definition` (noir-lang/noir#5859) ([cf5b667](cf5b667)) * Add `FunctionDef::body` (noir-lang/noir#5825) ([cf5b667](cf5b667)) * Add `FunctionDef::has_named_attribute` (noir-lang/noir#5870) ([cf5b667](cf5b667)) * Add `Type::as_string` (noir-lang/noir#5871) ([cf5b667](cf5b667)) * Clarify state in Protogalaxy 3 ([#8181](#8181)) ([4a9bb9d](4a9bb9d)) * LSP signature help for assert and assert_eq (noir-lang/noir#5862) ([cf5b667](cf5b667)) * **meta:** Comptime keccak (noir-lang/noir#5854) ([cf5b667](cf5b667)) * **optimization:** Avoid merging identical (by ID) arrays (noir-lang/noir#5853) ([cf5b667](cf5b667)) * **perf:** Simplify poseidon2 cache zero-pad (noir-lang/noir#5869) ([cf5b667](cf5b667)) * Populate epoch 0 from initial validator set ([#8286](#8286)) ([cbdec54](cbdec54)) * Remove unnecessary copying of vector size during reversal (noir-lang/noir#5852) ([cf5b667](cf5b667)) * Removing `is_dev_net` flag ([#8275](#8275)) ([fc1f307](fc1f307)) * Show backtrace on comptime assertion failures (noir-lang/noir#5842) ([cf5b667](cf5b667)) * Simplify constant calls to `poseidon2_permutation`, `schnorr_verify` and `embedded_curve_add` (noir-lang/noir#5140) ([cf5b667](cf5b667)) * Sync from aztec-packages (noir-lang/noir#5790) ([cf5b667](cf5b667)) * Warn on unused imports (noir-lang/noir#5847) ([cf5b667](cf5b667)) ### Bug Fixes * Check unused generics are bound (noir-lang/noir#5840) ([cf5b667](cf5b667)) * Enforce parity of sequencer tx validation and node tx validation ([#7951](#7951)) ([c7eaf92](c7eaf92)) * Make simulations validate resulting tx by default ([#8157](#8157)) ([f5e388d](f5e388d)) * **nargo:** Resolve Brillig assertion payloads (noir-lang/noir#5872) ([cf5b667](cf5b667)) * Prevent honk proof from getting stale inputs on syncs ([#8293](#8293)) ([2598108](2598108)) * Remove fee juice mint public ([#8260](#8260)) ([2395af3](2395af3)) * **sha256:** Add extra checks against message size when constructing msg blocks (noir-lang/noir#5861) ([cf5b667](cf5b667)) * **sha256:** Fix upper bound when building msg block and delay final block compression under certain cases (noir-lang/noir#5838) ([cf5b667](cf5b667)) * **sha256:** Perform compression per block and utilize ROM instead of RAM when setting up the message block (noir-lang/noir#5760) ([cf5b667](cf5b667)) ### Miscellaneous * Add documentation to `to_be_bytes`, etc. (noir-lang/noir#5843) ([cf5b667](cf5b667)) * Add missing cases to arithmetic generics (noir-lang/noir#5841) ([cf5b667](cf5b667)) * Add test to reproduce [#8306](#8306) ([41d418c](41d418c)) * Alert slack on Sepolia test ([#8263](#8263)) ([6194b94](6194b94)) * **bb:** Make compile on stock mac clang ([#8278](#8278)) ([7af80ff](7af80ff)) * **bb:** More graceful pippenger on non-powers-of-2 ([#8279](#8279)) ([104ea85](104ea85)) * Bump noir-bignum to 0.3.2 ([#8276](#8276)) ([4c6fe1a](4c6fe1a)) * **ci:** Try to debug 'command brotli not found' ([#8305](#8305)) ([9ee8dd6](9ee8dd6)) * Don't require empty `Prover.toml` for programs with zero arguments but a return value (noir-lang/noir#5845) ([cf5b667](cf5b667)) * Fix a bunch of generics issues in aztec-nr ([#8295](#8295)) ([6e84970](6e84970)) * Fix more issues with generics ([#8302](#8302)) ([4e2ce80](4e2ce80)) * Fix warnings in `avm-transpiler` ([#8307](#8307)) ([359fe05](359fe05)) * Introduce the Visitor pattern (noir-lang/noir#5868) ([cf5b667](cf5b667)) * **perf:** Simplify poseidon2 algorithm (noir-lang/noir#5811) ([cf5b667](cf5b667)) * **perf:** Update to stdlib keccak for reduced Brillig code size (noir-lang/noir#5827) ([cf5b667](cf5b667)) * Redo typo PR by nnsW3 (noir-lang/noir#5834) ([cf5b667](cf5b667)) * Renaming around Protogalaxy Prover ([#8272](#8272)) ([be2169d](be2169d)) * Replace relative paths to noir-protocol-circuits ([56e3fbf](56e3fbf)) * Replace relative paths to noir-protocol-circuits ([1b245c4](1b245c4)) * Replace relative paths to noir-protocol-circuits ([9c3bc43](9c3bc43)) * **revert:** Earthfile accidental change ([#8309](#8309)) ([2d3e0b6](2d3e0b6)) * Underconstrained check in parallel (noir-lang/noir#5848) ([cf5b667](cf5b667)) ### Documentation * **bb:** Transcript spec ([#8301](#8301)) ([18abf37](18abf37)) </details> <details><summary>barretenberg: 0.52.0</summary> ## [0.52.0](barretenberg-v0.51.1...barretenberg-v0.52.0) (2024-09-01) ### Features * Clarify state in Protogalaxy 3 ([#8181](#8181)) ([4a9bb9d](4a9bb9d)) ### Bug Fixes * Prevent honk proof from getting stale inputs on syncs ([#8293](#8293)) ([2598108](2598108)) ### Miscellaneous * **bb:** Make compile on stock mac clang ([#8278](#8278)) ([7af80ff](7af80ff)) * **bb:** More graceful pippenger on non-powers-of-2 ([#8279](#8279)) ([104ea85](104ea85)) * Renaming around Protogalaxy Prover ([#8272](#8272)) ([be2169d](be2169d)) * **revert:** Earthfile accidental change ([#8309](#8309)) ([2d3e0b6](2d3e0b6)) ### Documentation * **bb:** Transcript spec ([#8301](#8301)) ([18abf37](18abf37)) </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.52.0</summary> ## [0.52.0](AztecProtocol/aztec-packages@aztec-package-v0.51.1...aztec-package-v0.52.0) (2024-09-01) ### Miscellaneous * **aztec-package:** Synchronize aztec-packages versions </details> <details><summary>barretenberg.js: 0.52.0</summary> ## [0.52.0](AztecProtocol/aztec-packages@barretenberg.js-v0.51.1...barretenberg.js-v0.52.0) (2024-09-01) ### Miscellaneous * **barretenberg.js:** Synchronize aztec-packages versions </details> <details><summary>aztec-packages: 0.52.0</summary> ## [0.52.0](AztecProtocol/aztec-packages@aztec-packages-v0.51.1...aztec-packages-v0.52.0) (2024-09-01) ### ⚠ BREAKING CHANGES * Check unused generics are bound (noir-lang/noir#5840) ### Features * Add `Expr::as_assert` (noir-lang/noir#5857) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Add `Expr::resolve` and `TypedExpr::as_function_definition` (noir-lang/noir#5859) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Add `FunctionDef::body` (noir-lang/noir#5825) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Add `FunctionDef::has_named_attribute` (noir-lang/noir#5870) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Add `Type::as_string` (noir-lang/noir#5871) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Clarify state in Protogalaxy 3 ([#8181](AztecProtocol/aztec-packages#8181)) ([4a9bb9d](AztecProtocol/aztec-packages@4a9bb9d)) * LSP signature help for assert and assert_eq (noir-lang/noir#5862) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * **meta:** Comptime keccak (noir-lang/noir#5854) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * **optimization:** Avoid merging identical (by ID) arrays (noir-lang/noir#5853) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * **perf:** Simplify poseidon2 cache zero-pad (noir-lang/noir#5869) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Populate epoch 0 from initial validator set ([#8286](AztecProtocol/aztec-packages#8286)) ([cbdec54](AztecProtocol/aztec-packages@cbdec54)) * Remove unnecessary copying of vector size during reversal (noir-lang/noir#5852) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Removing `is_dev_net` flag ([#8275](AztecProtocol/aztec-packages#8275)) ([fc1f307](AztecProtocol/aztec-packages@fc1f307)) * Show backtrace on comptime assertion failures (noir-lang/noir#5842) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Simplify constant calls to `poseidon2_permutation`, `schnorr_verify` and `embedded_curve_add` (noir-lang/noir#5140) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Sync from aztec-packages (noir-lang/noir#5790) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Warn on unused imports (noir-lang/noir#5847) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) ### Bug Fixes * Check unused generics are bound (noir-lang/noir#5840) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Enforce parity of sequencer tx validation and node tx validation ([#7951](AztecProtocol/aztec-packages#7951)) ([c7eaf92](AztecProtocol/aztec-packages@c7eaf92)) * Make simulations validate resulting tx by default ([#8157](AztecProtocol/aztec-packages#8157)) ([f5e388d](AztecProtocol/aztec-packages@f5e388d)) * **nargo:** Resolve Brillig assertion payloads (noir-lang/noir#5872) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Prevent honk proof from getting stale inputs on syncs ([#8293](AztecProtocol/aztec-packages#8293)) ([2598108](AztecProtocol/aztec-packages@2598108)) * Remove fee juice mint public ([#8260](AztecProtocol/aztec-packages#8260)) ([2395af3](AztecProtocol/aztec-packages@2395af3)) * **sha256:** Add extra checks against message size when constructing msg blocks (noir-lang/noir#5861) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * **sha256:** Fix upper bound when building msg block and delay final block compression under certain cases (noir-lang/noir#5838) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * **sha256:** Perform compression per block and utilize ROM instead of RAM when setting up the message block (noir-lang/noir#5760) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) ### Miscellaneous * Add documentation to `to_be_bytes`, etc. (noir-lang/noir#5843) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Add missing cases to arithmetic generics (noir-lang/noir#5841) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Add test to reproduce [#8306](AztecProtocol/aztec-packages#8306) ([41d418c](AztecProtocol/aztec-packages@41d418c)) * Alert slack on Sepolia test ([#8263](AztecProtocol/aztec-packages#8263)) ([6194b94](AztecProtocol/aztec-packages@6194b94)) * **bb:** Make compile on stock mac clang ([#8278](AztecProtocol/aztec-packages#8278)) ([7af80ff](AztecProtocol/aztec-packages@7af80ff)) * **bb:** More graceful pippenger on non-powers-of-2 ([#8279](AztecProtocol/aztec-packages#8279)) ([104ea85](AztecProtocol/aztec-packages@104ea85)) * Bump noir-bignum to 0.3.2 ([#8276](AztecProtocol/aztec-packages#8276)) ([4c6fe1a](AztecProtocol/aztec-packages@4c6fe1a)) * **ci:** Try to debug 'command brotli not found' ([#8305](AztecProtocol/aztec-packages#8305)) ([9ee8dd6](AztecProtocol/aztec-packages@9ee8dd6)) * Don't require empty `Prover.toml` for programs with zero arguments but a return value (noir-lang/noir#5845) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Fix a bunch of generics issues in aztec-nr ([#8295](AztecProtocol/aztec-packages#8295)) ([6e84970](AztecProtocol/aztec-packages@6e84970)) * Fix more issues with generics ([#8302](AztecProtocol/aztec-packages#8302)) ([4e2ce80](AztecProtocol/aztec-packages@4e2ce80)) * Fix warnings in `avm-transpiler` ([#8307](AztecProtocol/aztec-packages#8307)) ([359fe05](AztecProtocol/aztec-packages@359fe05)) * Introduce the Visitor pattern (noir-lang/noir#5868) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * **perf:** Simplify poseidon2 algorithm (noir-lang/noir#5811) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * **perf:** Update to stdlib keccak for reduced Brillig code size (noir-lang/noir#5827) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Redo typo PR by nnsW3 (noir-lang/noir#5834) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) * Renaming around Protogalaxy Prover ([#8272](AztecProtocol/aztec-packages#8272)) ([be2169d](AztecProtocol/aztec-packages@be2169d)) * Replace relative paths to noir-protocol-circuits ([56e3fbf](AztecProtocol/aztec-packages@56e3fbf)) * Replace relative paths to noir-protocol-circuits ([1b245c4](AztecProtocol/aztec-packages@1b245c4)) * Replace relative paths to noir-protocol-circuits ([9c3bc43](AztecProtocol/aztec-packages@9c3bc43)) * **revert:** Earthfile accidental change ([#8309](AztecProtocol/aztec-packages#8309)) ([2d3e0b6](AztecProtocol/aztec-packages@2d3e0b6)) * Underconstrained check in parallel (noir-lang/noir#5848) ([cf5b667](AztecProtocol/aztec-packages@cf5b667)) ### Documentation * **bb:** Transcript spec ([#8301](AztecProtocol/aztec-packages#8301)) ([18abf37](AztecProtocol/aztec-packages@18abf37)) </details> <details><summary>barretenberg: 0.52.0</summary> ## [0.52.0](AztecProtocol/aztec-packages@barretenberg-v0.51.1...barretenberg-v0.52.0) (2024-09-01) ### Features * Clarify state in Protogalaxy 3 ([#8181](AztecProtocol/aztec-packages#8181)) ([4a9bb9d](AztecProtocol/aztec-packages@4a9bb9d)) ### Bug Fixes * Prevent honk proof from getting stale inputs on syncs ([#8293](AztecProtocol/aztec-packages#8293)) ([2598108](AztecProtocol/aztec-packages@2598108)) ### Miscellaneous * **bb:** Make compile on stock mac clang ([#8278](AztecProtocol/aztec-packages#8278)) ([7af80ff](AztecProtocol/aztec-packages@7af80ff)) * **bb:** More graceful pippenger on non-powers-of-2 ([#8279](AztecProtocol/aztec-packages#8279)) ([104ea85](AztecProtocol/aztec-packages@104ea85)) * Renaming around Protogalaxy Prover ([#8272](AztecProtocol/aztec-packages#8272)) ([be2169d](AztecProtocol/aztec-packages@be2169d)) * **revert:** Earthfile accidental change ([#8309](AztecProtocol/aztec-packages#8309)) ([2d3e0b6](AztecProtocol/aztec-packages@2d3e0b6)) ### Documentation * **bb:** Transcript spec ([#8301](AztecProtocol/aztec-packages#8301)) ([18abf37](AztecProtocol/aztec-packages@18abf37)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

Automated pull of development from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec. BEGIN_COMMIT_OVERRIDE feat: add `Type::as_string` (noir-lang/noir#5871) feat: add `FunctionDef::has_named_attribute` (noir-lang/noir#5870) chore: introduce the Visitor pattern (noir-lang/noir#5868) fix(nargo): Resolve Brillig assertion payloads (noir-lang/noir#5872) feat(perf): Simplify poseidon2 cache zero-pad (noir-lang/noir#5869) feat: Sync from aztec-packages (noir-lang/noir#5790) feat: add `Expr::resolve` and `TypedExpr::as_function_definition` (noir-lang/noir#5859) feat: LSP signature help for assert and assert_eq (noir-lang/noir#5862) fix(sha256): Add extra checks against message size when constructing msg blocks (noir-lang/noir#5861) feat: show backtrace on comptime assertion failures (noir-lang/noir#5842) feat: add `Expr::as_assert` (noir-lang/noir#5857) chore: underconstrained check in parallel (noir-lang/noir#5848) feat(meta): Comptime keccak (noir-lang/noir#5854) feat(optimization): Avoid merging identical (by ID) arrays (noir-lang/noir#5853) feat: add `FunctionDef::body` (noir-lang/noir#5825) fix(sha256): Fix upper bound when building msg block and delay final block compression under certain cases (noir-lang/noir#5838) feat: remove unnecessary copying of vector size during reversal (noir-lang/noir#5852) chore: Add missing cases to arithmetic generics (noir-lang/noir#5841) feat: warn on unused imports (noir-lang/noir#5847) chore: add documentation to `to_be_bytes`, etc. (noir-lang/noir#5843) feat: simplify constant calls to `poseidon2_permutation`, `schnorr_verify` and `embedded_curve_add` (noir-lang/noir#5140) chore: don't require empty `Prover.toml` for programs with zero arguments but a return value (noir-lang/noir#5845) fix!: Check unused generics are bound (noir-lang/noir#5840) chore(perf): Simplify poseidon2 algorithm (noir-lang/noir#5811) chore: redo typo PR by nnsW3 (noir-lang/noir#5834) fix(sha256): Perform compression per block and utilize ROM instead of RAM when setting up the message block (noir-lang/noir#5760) chore(perf): Update to stdlib keccak for reduced Brillig code size (noir-lang/noir#5827) END_COMMIT_OVERRIDE --------- Co-authored-by: Tom French <tom@tomfren.ch> Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com> Co-authored-by: Maxim Vezenov <mvezenov@gmail.com>

AztecBot and others added 2 commits August 22, 2024 10:42

chore: apply sync fixes

013631d

Merge branch 'master' into aztec-packages

26cdb88

TomAFrench mentioned this pull request Aug 22, 2024

Reserve a number of registers for constant values when compiling brillig programs #5791

Closed

AztecBot and others added 6 commits August 27, 2024 11:31

chore: apply sync fixes

b5b65b5

fix: Minor fixes (AztecProtocol/aztec-packages#8201)

6d1d19d

chore: fix merge issues

0c3ef1d

.

9e350de

chore: bump bb

86c6469

chore: fix tests

442f50f

vezenovm mentioned this pull request Aug 28, 2024

feat!: return arrays instead of slices from to_be_radix functions #5851

Merged

5 tasks

TomAFrench added 3 commits August 30, 2024 11:52

chore: bump bb

65c5896

.

b87bb09

TomAFrench approved these changes Aug 30, 2024

View reviewed changes

TomAFrench enabled auto-merge August 30, 2024 11:01

.

8f031c6

TomAFrench added this pull request to the merge queue Aug 30, 2024

Merged via the queue into master with commit 5c4f19f Aug 30, 2024
47 checks passed

TomAFrench deleted the aztec-packages branch August 30, 2024 14:40

AztecBot mentioned this pull request Aug 31, 2024

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

Merged

AztecBot mentioned this pull request Sep 1, 2024

chore(master): Release 0.52.0 AztecProtocol/aztec-packages#8289

Merged

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: Sync from aztec-packages #5790

feat: Sync from aztec-packages #5790

AztecBot commented Aug 22, 2024 •

edited

Loading

github-actions bot commented Aug 22, 2024 •

edited

Loading

TomAFrench commented Aug 22, 2024

socket-security bot commented Aug 27, 2024 •

edited

Loading

github-actions bot commented Aug 30, 2024 •

edited

Loading

TomAFrench commented Aug 30, 2024

asterite commented Aug 30, 2024

TomAFrench commented Aug 30, 2024

asterite commented Aug 30, 2024

asterite commented Aug 30, 2024

feat: Sync from aztec-packages #5790

feat: Sync from aztec-packages #5790

Conversation

AztecBot commented Aug 22, 2024 • edited Loading

github-actions bot commented Aug 22, 2024 • edited Loading

Changes to Brillig bytecode sizes

🧾 Summary (10% most significant diffs)

TomAFrench commented Aug 22, 2024

socket-security bot commented Aug 27, 2024 • edited Loading

github-actions bot commented Aug 30, 2024 • edited Loading

Changes to circuit sizes

🧾 Summary (10% most significant diffs)

TomAFrench commented Aug 30, 2024

asterite commented Aug 30, 2024

TomAFrench commented Aug 30, 2024

asterite commented Aug 30, 2024

asterite commented Aug 30, 2024

AztecBot commented Aug 22, 2024 •

edited

Loading

github-actions bot commented Aug 22, 2024 •

edited

Loading

socket-security bot commented Aug 27, 2024 •

edited

Loading

github-actions bot commented Aug 30, 2024 •

edited

Loading