chore(master): Release 0.52.0

[AztecBot]

🤖 I have created a release beep boop

aztec-package: 0.52.0

0.52.0 (2024-09-01)

Miscellaneous

• aztec-package: Synchronize aztec-packages versions

barretenberg.js: 0.52.0

0.52.0 (2024-09-01)

Miscellaneous

• barretenberg.js: Synchronize aztec-packages versions

aztec-packages: 0.52.0

0.52.0 (2024-09-01)

⚠ BREAKING CHANGES

• Check unused generics are bound (fix!: Check unused generics are bound noir-lang/noir#5840)

Features

• Add Expr::as_assert (feat: add Expr::as_assert noir-lang/noir#5857) (cf5b667)
• Add Expr::resolve and TypedExpr::as_function_definition (feat: add Expr::resolve and TypedExpr::as_function_definition noir-lang/noir#5859) (cf5b667)
• Add FunctionDef::body (feat: add FunctionDef::body noir-lang/noir#5825) (cf5b667)
• Add FunctionDef::has_named_attribute (feat: add FunctionDef::has_named_attribute noir-lang/noir#5870) (cf5b667)
• Add Type::as_string (feat: add Type::as_string noir-lang/noir#5871) (cf5b667)
• Clarify state in Protogalaxy 3 (#8181) (4a9bb9d)
• LSP signature help for assert and assert_eq (feat: LSP signature help for assert and assert_eq noir-lang/noir#5862) (cf5b667)
• meta: Comptime keccak (feat(meta): Comptime keccak noir-lang/noir#5854) (cf5b667)
• optimization: Avoid merging identical (by ID) arrays (feat(optimization): Avoid merging identical (by ID) arrays noir-lang/noir#5853) (cf5b667)
• perf: Simplify poseidon2 cache zero-pad (feat(perf): Simplify poseidon2 cache zero-pad noir-lang/noir#5869) (cf5b667)
• Populate epoch 0 from initial validator set (#8286) (cbdec54)
• Remove unnecessary copying of vector size during reversal (feat: remove unnecessary copying of vector size during reversal noir-lang/noir#5852) (cf5b667)
• Removing is_dev_net flag (#8275) (fc1f307)
• Show backtrace on comptime assertion failures (feat: show backtrace on comptime assertion failures noir-lang/noir#5842) (cf5b667)
• Simplify constant calls to poseidon2_permutation, schnorr_verify and embedded_curve_add (feat: simplify constant calls to poseidon2_permutation, schnorr_verify and embedded_curve_add noir-lang/noir#5140) (cf5b667)
• Sync from aztec-packages (feat: Sync from aztec-packages noir-lang/noir#5790) (cf5b667)
• Warn on unused imports (feat: warn on unused imports noir-lang/noir#5847) (cf5b667)

Bug Fixes

• Check unused generics are bound (fix!: Check unused generics are bound noir-lang/noir#5840) (cf5b667)
• Enforce parity of sequencer tx validation and node tx validation (#7951) (c7eaf92)
• Make simulations validate resulting tx by default (#8157) (f5e388d)
• nargo: Resolve Brillig assertion payloads (fix(nargo): Resolve Brillig assertion payloads noir-lang/noir#5872) (cf5b667)
• Prevent honk proof from getting stale inputs on syncs (#8293) (2598108)
• Remove fee juice mint public (#8260) (2395af3)
• sha256: Add extra checks against message size when constructing msg blocks (fix(sha256): Add extra checks against message size when constructing msg blocks noir-lang/noir#5861) (cf5b667)
• sha256: Fix upper bound when building msg block and delay final block compression under certain cases (fix(sha256): Fix upper bound when building msg block and delay final block compression under certain cases  noir-lang/noir#5838) (cf5b667)
• sha256: Perform compression per block and utilize ROM instead of RAM when setting up the message block (fix(sha256): Perform compression per block and utilize ROM instead of RAM when setting up the message block noir-lang/noir#5760) (cf5b667)

Miscellaneous

• Add documentation to to_be_bytes, etc. (chore: add documentation to to_be_bytes, etc. noir-lang/noir#5843) (cf5b667)
• Add missing cases to arithmetic generics (chore: Add missing cases to arithmetic generics noir-lang/noir#5841) (cf5b667)
• Add test to reproduce #8306 (41d418c)
• Alert slack on Sepolia test (#8263) (6194b94)
• bb: Make compile on stock mac clang (#8278) (7af80ff)
• bb: More graceful pippenger on non-powers-of-2 (#8279) (104ea85)
• Bump noir-bignum to 0.3.2 (#8276) (4c6fe1a)
• ci: Try to debug 'command brotli not found' (#8305) (9ee8dd6)
• Don't require empty Prover.toml for programs with zero arguments but a return value (chore: don't require empty Prover.toml for programs with zero arguments but a return value noir-lang/noir#5845) (cf5b667)
• Fix a bunch of generics issues in aztec-nr (#8295) (6e84970)
• Fix more issues with generics (#8302) (4e2ce80)
• Fix warnings in avm-transpiler (#8307) (359fe05)
• Introduce the Visitor pattern (chore: introduce the Visitor pattern noir-lang/noir#5868) (cf5b667)
• perf: Simplify poseidon2 algorithm (chore(perf): Simplify poseidon2 algorithm  noir-lang/noir#5811) (cf5b667)
• perf: Update to stdlib keccak for reduced Brillig code size (chore(perf): Update to stdlib keccak for reduced Brillig code size noir-lang/noir#5827) (cf5b667)
• Redo typo PR by nnsW3 (chore: redo typo PR by nnsW3 noir-lang/noir#5834) (cf5b667)
• Renaming around Protogalaxy Prover (#8272) (be2169d)
• Replace relative paths to noir-protocol-circuits (56e3fbf)
• Replace relative paths to noir-protocol-circuits (1b245c4)
• Replace relative paths to noir-protocol-circuits (9c3bc43)
• revert: Earthfile accidental change (#8309) (2d3e0b6)
• Underconstrained check in parallel (chore: underconstrained check in parallel noir-lang/noir#5848) (cf5b667)

Documentation

• bb: Transcript spec (#8301) (18abf37)

barretenberg: 0.52.0

0.52.0 (2024-09-01)

Features

• Clarify state in Protogalaxy 3 (#8181) (4a9bb9d)

Bug Fixes

• Prevent honk proof from getting stale inputs on syncs (#8293) (2598108)

Miscellaneous

• bb: Make compile on stock mac clang (#8278) (7af80ff)
• bb: More graceful pippenger on non-powers-of-2 (#8279) (104ea85)
• Renaming around Protogalaxy Prover (#8272) (be2169d)
• revert: Earthfile accidental change (#8309) (2d3e0b6)

Documentation

• bb: Transcript spec (#8301) (18abf37)

---

This PR was generated with Release Please. See documentation.

[AztecBot]

Benchmark results

No metrics with a significant change found.

Detailed results

All benchmarks are run on txs on the Benchmarking contract on the repository. Each tx consists of a batch call to create_note and increment_balance, which guarantees that each tx has a private call, a nested private call, a public call, and a nested public call, as well as an emitted private note, an unencrypted log, and public storage read and write.

This benchmark source data is available in JSON format on S3 here.

Proof generation

Each column represents the number of threads used in proof generation.

Metric	1 threads	4 threads	16 threads	32 threads	64 threads
proof_construction_time_sha256_ms	5,754	1,563	714	762	771
proof_construction_time_sha256_30_ms	11,474	3,093	1,389	1,434	1,473 (+1%)
proof_construction_time_sha256_100_ms	44,107	11,826 (-1%)	5,478 (-1%)	5,616 (+1%)	5,505 (-3%)
proof_construction_time_poseidon_hash_ms	78.0	34.0	34.0	57.0	88.0 (-1%)
proof_construction_time_poseidon_hash_30_ms	1,531	421	203	226 (-2%)	269 (+1%)
proof_construction_time_poseidon_hash_100_ms	5,636	1,513	678	730 (-1%)	745 (-1%)

L2 block published to L1

Each column represents the number of txs on an L2 block published to L1.

Metric	4 txs	8 txs	16 txs
l1_rollup_calldata_size_in_bytes	4,356	7,876	14,884
l1_rollup_calldata_gas	50,256	92,918	177,988
l1_rollup_execution_gas	843,075	1,576,633	3,361,759
l2_block_processing_time_in_ms	258 (-1%)	446	829
l2_block_building_time_in_ms	11,381	22,519 (+1%)	44,543 (+1%)
l2_block_rollup_simulation_time_in_ms	11,381	22,518 (+1%)	44,543 (+1%)
l2_block_public_tx_process_time_in_ms	9,719	20,826 (+1%)	42,818 (+1%)

L2 chain processing

Each column represents the number of blocks on the L2 chain where each block has 8 txs.

Metric	3 blocks	5 blocks
node_history_sync_time_in_ms	3,003 (+2%)	3,887
node_database_size_in_bytes	12,623,952	16,781,392 (+1%)
pxe_database_size_in_bytes	16,254	26,813

Circuits stats

Stats on running time and I/O sizes collected for every kernel circuit run across all benchmarks.

Circuit	simulation_time_in_ms	witness_generation_time_in_ms	input_size_in_bytes	output_size_in_bytes	proving_time_in_ms
private-kernel-init	95.5 (+1%)	381 (-1%)	21,446	44,898	N/A
private-kernel-inner	174 (+1%)	681	72,411	45,020	N/A
private-kernel-reset-tiny	311 (+2%)	691 (-1%)	65,114	44,886	N/A
private-kernel-tail	170 (+1%)	135 (-1%)	50,608	52,921	N/A
base-parity	5.57	N/A	160	96.0	N/A
root-parity	35.4 (+1%)	N/A	73,948	96.0	N/A
base-rollup	3,190 (+2%)	N/A	189,207	664	N/A
block-root-rollup	41.1 (-1%)	N/A	58,205	2,448	N/A
public-kernel-setup	84.9 (+2%)	N/A	105,085	71,222	N/A
public-kernel-app-logic	97.6	N/A	104,899	71,222	N/A
public-kernel-tail	853	N/A	390,582	16,414	N/A
private-kernel-reset-small	305	N/A	66,341	45,629	N/A
private-kernel-tail-to-public	1,372 (-2%)	591 (-1%)	455,400	1,825	N/A
public-kernel-teardown	83.7	N/A	105,349	71,222	N/A
merge-rollup	20.2 (-1%)	N/A	38,174	664	N/A
undefined	N/A	N/A	N/A	N/A	81,648

Stats on running time collected for app circuits

Function	input_size_in_bytes	output_size_in_bytes	witness_generation_time_in_ms
ContractClassRegisterer:register	1,344	11,731	344 (+1%)
ContractInstanceDeployer:deploy	1,408	11,731	18.5 (+2%)
MultiCallEntrypoint:entrypoint	1,920	11,731	407 (+1%)
FeeJuice:deploy	1,376	11,731	392
SchnorrAccount:constructor	1,312	11,731	73.3
SchnorrAccount:entrypoint	2,336	11,731	385
FeeJuice:claim	1,344	11,731	35.0 (-7%)
Token:privately_mint_private_note	1,280	11,731	99.7 (+3%)
FPC:fee_entrypoint_public	1,344	11,731	27.5 (+11%)
Token:transfer	1,312	11,731	219
Benchmarking:create_note	1,344	11,731	85.9 (-1%)
SchnorrAccount:verify_private_authwit	1,280	11,731	26.3 (-11%)
Token:unshield	1,376	11,731	528 (+1%)
FPC:fee_entrypoint_private	1,376	11,731	702 (+1%)

AVM Simulation

Time to simulate various public functions in the AVM.

Function	time_ms	bytecode_size_in_bytes
FeeJuice:_increase_public_balance	51.3	8,174
FeeJuice:set_portal	12.0 (+2%)	4,055
Token:constructor	77.3 (-2%)	23,253
FPC:constructor	51.7 (+1%)	13,111
FeeJuice:check_balance	38.0 (-3%)	5,978
Token:mint_public	482 (+1%)	12,704
Token:assert_minter_and_mint	50.1 (+4%)	8,467
AuthRegistry:set_authorized	38.7 (+2%)	4,194
FPC:prepare_fee	207 (-8%)	6,747
Token:transfer_public	23.4 (+6%)	32,272
FPC:pay_refund	49.7 (+2%)	9,398
Benchmarking:increment_balance	1,221	7,263
Token:_increase_public_balance	41.8 (-1%)	8,686
FPC:pay_refund_with_shielded_rebate	59.4 (-1%)	9,881

Public DB Access

Time to access various public DBs.

Function	time_ms
get-nullifier-index	0.150

Tree insertion stats

The duration to insert a fixed batch of leaves into each tree type.

Metric	1 leaves	16 leaves	64 leaves	128 leaves	256 leaves	512 leaves	1024 leaves
batch_insert_into_append_only_tree_16_depth_ms	2.18 (+2%)	3.84	N/A	N/A	N/A	N/A	N/A
batch_insert_into_append_only_tree_16_depth_hash_count	16.8	31.7	N/A	N/A	N/A	N/A	N/A
batch_insert_into_append_only_tree_16_depth_hash_ms	0.113 (+2%)	0.108 (-1%)	N/A	N/A	N/A	N/A	N/A
batch_insert_into_append_only_tree_32_depth_ms	N/A	N/A	11.3	18.5 (+5%)	31.4 (+2%)	59.6	115 (+2%)
batch_insert_into_append_only_tree_32_depth_hash_count	N/A	N/A	95.9	159	287	543	1,055
batch_insert_into_append_only_tree_32_depth_hash_ms	N/A	N/A	0.108	0.108 (+5%)	0.102 (+1%)	0.102	0.103 (+1%)
batch_insert_into_indexed_tree_20_depth_ms	N/A	N/A	14.5 (+2%)	25.7	44.1 (+1%)	81.9 (-1%)	163 (+1%)
batch_insert_into_indexed_tree_20_depth_hash_count	N/A	N/A	107 (-1%)	207	355	691	1,363
batch_insert_into_indexed_tree_20_depth_hash_ms	N/A	N/A	0.112 (+2%)	0.103 (-1%)	0.107 (+1%)	0.101 (-1%)	0.103 (+1%)
batch_insert_into_indexed_tree_40_depth_ms	N/A	N/A	16.6 (+1%)	N/A	N/A	N/A	N/A
batch_insert_into_indexed_tree_40_depth_hash_count	N/A	N/A	132	N/A	N/A	N/A	N/A
batch_insert_into_indexed_tree_40_depth_hash_ms	N/A	N/A	0.106	N/A	N/A	N/A	N/A

Miscellaneous

Transaction sizes based on how many contract classes are registered in the tx.

Metric	0 registered classes	1 registered classes
tx_size_in_bytes	64,838	668,997

Transaction size based on fee payment method

| Metric | |
| - | |

[github-actions]

Changes to circuit sizes

Generated at commit: 32ccd174f25c745c204151ff138c57ce10f4d35e, compared to commit: 2d3e0b672c11eddf0e4e50f00a42a662bdd67c0c

🧾 Summary (100% most significant diffs)

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
rollup_base	-38 ✅	-0.01%	-41 ✅	-0.00%
public_kernel_setup	-1,776 ✅	-0.83%	-2,394 ✅	-0.13%
public_kernel_teardown	-4,756 ✅	-2.19%	-5,839 ✅	-0.31%
public_kernel_app_logic	-4,362 ✅	-2.02%	-5,901 ✅	-0.31%

---

Full diff report 👇

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
rollup_base	347,688 (-38)	-0.01%	3,607,503 (-41)	-0.00%
public_kernel_setup	212,017 (-1,776)	-0.83%	1,879,749 (-2,394)	-0.13%
public_kernel_teardown	212,176 (-4,756)	-2.19%	1,877,315 (-5,839)	-0.31%
public_kernel_app_logic	211,545 (-4,362)	-2.02%	1,876,531 (-5,901)	-0.31%

[AztecBot]

🤖 Release is at https://github.com/AztecProtocol/aztec-packages/releases/tag/aztec-packages-v0.52.0 🌻

[AztecBot]

🤖 Release is at https://github.com/AztecProtocol/aztec-packages/releases/tag/aztec-package-v0.52.0 🌻

[AztecBot]

🤖 Release is at https://github.com/AztecProtocol/aztec-packages/releases/tag/barretenberg.js-v0.52.0 🌻

[AztecBot]

🤖 Release is at https://github.com/AztecProtocol/aztec-packages/releases/tag/barretenberg-v0.52.0 🌻