chore(master): Release 0.50.0

[AztecBot]

🤖 I have created a release beep boop

aztec-package: 0.50.0

0.50.0 (2024-08-22)

Features

• Add a prover-node to the proving e2e tests (#7952) (ec5a5fb)
• Add max pending txs to bot (#8046) (7f5517e)
• Deterministic deployments for L1 (#8031) (abc6b19)
• Introduce validator client (#7854) (e3be8e6)
• JSON logging (#8095) (048fa12)

Bug Fixes

• Port option & extracting correct namespaced options (#8097) (e74c83e)
• Txe port and aztec start options (#8071) (23778c5)

Miscellaneous

• Configuration for bot on various networks (#8063) (453a096)
• Merge devnet fixes back to master (#8149) (6be2183)
• Merge Provernet back to master (#8070) (82f3dc7)

barretenberg.js: 0.50.0

0.50.0 (2024-08-22)

Miscellaneous

• Merge devnet fixes back to master (#8149) (6be2183)

aztec-packages: 0.50.0

0.50.0 (2024-08-22)

⚠ BREAKING CHANGES

• replace public key fetching API (#7996)

Features

• (LSP) suggest names that match any part of the current prefix (feat: (LSP) suggest names that match any part of the current prefix noir-lang/noir#5752) (0379462)
• Add Expr::as_any_integer and Expr::as_member_access (feat: add Expr::as_integer and Expr::as_member_access noir-lang/noir#5742) (0379462)
• Add Expr::as_array, Expr::as_repeated_element_array and same for slice (feat: add Expr::as_array, Expr::as_repeated_element_array and same for slice noir-lang/noir#5750) (0379462)
• Add Expr::as_binary_op (feat: add Expr::as_binary_op noir-lang/noir#5734) (0379462)
• Add Expr::as_bool (feat: add Expr::as_bool noir-lang/noir#5729) (0379462)
• Add Expr::as_unary (feat: add Expr::as_unary noir-lang/noir#5731) (0379462)
• Add Expr methods: as_tuple, as_parenthesized, as_index, as_if (feat: add Expr methods: as_tuple, as_parenthesized, as_index, as_if noir-lang/noir#5726) (0379462)
• Add TraitImpl::trait_generic_args and TraitImpl::methods (feat: add TraitImpl::trait_generic_args and TraitImpl::methods noir-lang/noir#5722) (0379462)
• Add unsafe blocks for calling unconstrained code from constrained functions (feat: add unsafe blocks for calling unconstrained code from constrained functions noir-lang/noir#4429) (0379462)
• Add a prover-node to the proving e2e tests (#7952) (ec5a5fb)
• Add max pending txs to bot (#8046) (7f5517e)
• Add reusable procedures to brillig generation (#7981) (99d1131)
• Automate verify_honk_proof input generation (#8092) (bf38d61)
• avm: Enable zeromorph in AVM verification (#8111) (b1f9fb6), closes #4944
• Build for arm (#7994) (0dffe1b)
• Completing MockNote (#8059) (05efe23), closes #7636
• Constant addresses as addresses (#8056) (1da5caf)
• Deterministic deployments for L1 (#8031) (abc6b19)
• docs: Cookbook integration (#8083) (19bd8a9)
• Enabling public and private bridging w/ cli (#8011) (f0f9c73)
• Fault-tolerant parsing of fn and impl (feat: fault-tolerant parsing of fn and impl noir-lang/noir#5753) (0379462)
• Flush sequencer (#8050) (8821e5f)
• Introduce blob circuit (#8101) (4bb3bac)
• Introduce validator client (#7854) (e3be8e6)
• JSON logging (#8095) (048fa12)
• LSP auto-import completion (feat: LSP auto-import completion noir-lang/noir#5741) (0379462)
• LSP autocomplete constructor fields (feat: LSP autocomplete constructor fields noir-lang/noir#5732) (0379462)
• LSP signature help (feat: LSP signature help noir-lang/noir#5725) (0379462)
• Max pending jobs in prover node (#8045) (c857604)
• Move out_hash inside tx_effect_hash (#7489) (ff0effe)
• Native Merkle Trees (#7037) (8a1032e)
• Oink recursive verifier (#8121) (580708a)
• optimization: Follow past array_sets when optimizing array_gets (feat(optimization): Follow past array_sets when optimizing array_gets noir-lang/noir#5772) (0379462)
• Passes copy_cycles by const reference to avoid copying (#8051) (495d363)
• perf: Mem2reg function state for value loads to optimize across blocks (feat(perf): mem2reg function state for value loads to optimize across blocks noir-lang/noir#5757) (0379462)
• PG recursive verifier constructors based on stdlib inputs (#8052) (4c568b0)
• Poseidon2 gates for Ultra arithmetisation (#7494) (d86577c)
• Prover node metrics (#8086) (ab018ff)
• Removed socat, fixed aztec-run (#8145) (ff94aa2)
• Removing redundant key fetching (#8043) (2bbcc7b)
• Replace public key fetching API (#7996) (73d6aa9)
• Small optimization in toradix (#8040) (0dc7a50)
• Some fixes and cleanup in PG recursive verifier (#8053) (5f2a9bd)
• Suggest trait methods in LSP completion (feat: suggest trait methods in LSP completion noir-lang/noir#5735) (0379462)
• Suggest tuple fields in LSP completion (feat: suggest tuple fields in LSP completion noir-lang/noir#5730) (0379462)
• Track world state metrics (#8109) (ca58d94)
• Typing specific pub keys (#8099) (638793a)
• Unify all acir recursion constraints based on RecursionConstraint and proof_type (#7993) (7cb39bc)
• User super:: in LSP autocompletion if possible (feat: user super:: in LSP autocompletion if possible noir-lang/noir#5751) (0379462)
• Various token note improvements (#8062) (8f9dfd9)
• Zk sumcheck (#7517) (0e9a530)

Bug Fixes

• (LSP) only add cached files relevant to workspace (fix: (LSP) only add cached files relevant to workspace noir-lang/noir#5775) (2d70215)
• Add DEBUG and LOG_LEVEL to valid env vars (#8094) (70e61f9)
• Add link to l1-artifacts (#7940) (dcfd120)
• Add missing trait impls for integer types to stdlib (fix: add missing trait impls for integer types to stdlib noir-lang/noir#5738) (0379462)
• Allow comptime code to use break without also being unconstrained (fix: Allow comptime code to use break without also being unconstrained noir-lang/noir#5744) (0379462)
• avm: Real bytes finalization (#8041) (047461a)
• ci: Correctly run bb tests with asserts (#7607) (7b73f69)
• Correctly constrain get header at (#7893) (2ebba0d)
• Deploy L1 rollup contract using salt if provided (#8074) (1e8eddf)
• Flaky e2e_prover_node test (#8116) (9d97bd4)
• frontend: Continue type check if we are missing an unsafe block (fix(frontend): Continue type check if we are missing an unsafe block noir-lang/noir#5720) (0379462)
• Let LSP autocompletion work in more contexts (fix: let LSP autocompletion work in more contexts noir-lang/noir#5719) (0379462)
• Port option & extracting correct namespaced options (#8097) (e74c83e)
• Set prover node max pending jobs in tests (#8055) (403c26f)
• Stop WorldStrateSynchronizer in prover node (#8126) (f724b07)
• Txe port and aztec start options (#8071) (23778c5)
• Unconstrained fn mismatch is now a warning (fix: unconstrained fn mismatch is now a warning noir-lang/noir#5764) (0379462)
• Wallet fixes for devnet, testing and misc (#8058) (15f3e8c)

Miscellaneous

• Add Brillig loop bytecode size regression and update noir-gates-diff report (chore(ci)!: Add Brillig loop bytecode size regression and update noir-gates-diff report noir-lang/noir#5747) (0379462)
• Apply some new lints across workspace (chore: apply some new lints across workspace noir-lang/noir#5736) (0379462)
• avm: Kernel trace and finalization (#8049) (d7edd24)
• avm: Separate alu finalization (#8069) (e8a9eb4)
• bb: IPA parallelization cleanup (#8088) (9227fa9)
• bb: Simplify parallel_for_if_effective (#8079) (5bff26b)
• bb: Small cleanup in protogalaxy prover (#8072) (4cb5c83)
• ci: Only show last 50 master cpp benches (#8075) (96f35bc)
• Clarify Field use (chore: clarify Field use noir-lang/noir#5740) (0379462)
• CLI command to set latest block as proven (#7987) (80eaf1d)
• Configuration for bot on various networks (#8063) (453a096)
• Count brillig opcodes in nargo info (chore: count brillig opcodes in nargo info noir-lang/noir#5189) (0379462)
• Deduplication in Protogalaxy (#8067) (a5cc3ba)
• docs: Expanding solidity verifier chain list (chore(docs): expanding solidity verifier chain list noir-lang/noir#5587) (0379462)
• Dont trail whitespace in vscode (#5661) (7595d91)
• Handle constant output for ec add opcode (#8108) (2ee79d2)
• Make spans non-optional on UnresolvedType (chore: make spans non-optional on UnresolvedType noir-lang/noir#5773) (2d70215)
• Merge devnet fixes back to master (#8149) (6be2183)
• Merge devnet to master (#8044) (f84950f)
• Merge Provernet back to master (#8070) (82f3dc7)
• Merging TokenWithRefunds with Token (#8042) (8b795eb)
• Modified devnet config (#8087) (854ab45)
• Nuking old registry contract (#8057) (3bd08a8), closes #7955
• Pedersen hash related cleanup in aztec.nr (#8009) (3c4ac65)
• Portal manager cli (#8047) (618e251)
• Proper portal setup for fees + test (#7944) (9fec67e)
• Public kernel (#8061) (617a69c)
• Refactor ACIR function IDs from raw integers to struct (chore: refactor ACIR function IDs from raw integers to struct noir-lang/noir#5748) (0379462)
• Replace relative paths to noir-protocol-circuits (5ddf0e6)
• Replace relative paths to noir-protocol-circuits (ca77c17)
• Replace relative paths to noir-protocol-circuits (fe73c93)
• Replace relative paths to noir-protocol-circuits (576bc2f)
• Replace relative paths to noir-protocol-circuits (0d05d6b)
• Simplify sequencer and l1 communication (#7989) (cee4eba)
• Split LSP completion.rs into several files (chore: split LSP completion.rs into several files noir-lang/noir#5723) (0379462)
• Split up stdlib/recursion (#8054) (ec03e40)
• sync-noir: Fix modify/delete conflicts automatically (#8090) (a09627c)
• Use decider verifier in ultra verifier (#8115) (6c5ab2b)

Documentation

• Fix typo overview.md (#7908) (3749211)
• Update installation info for bb and noir (#8119) (a744321)

barretenberg: 0.50.0

0.50.0 (2024-08-22)

Features

• Add a prover-node to the proving e2e tests (#7952) (ec5a5fb)
• Automate verify_honk_proof input generation (#8092) (bf38d61)
• avm: Enable zeromorph in AVM verification (#8111) (b1f9fb6), closes #4944
• Native Merkle Trees (#7037) (8a1032e)
• Oink recursive verifier (#8121) (580708a)
• Passes copy_cycles by const reference to avoid copying (#8051) (495d363)
• PG recursive verifier constructors based on stdlib inputs (#8052) (4c568b0)
• Poseidon2 gates for Ultra arithmetisation (#7494) (d86577c)
• Some fixes and cleanup in PG recursive verifier (#8053) (5f2a9bd)
• Unify all acir recursion constraints based on RecursionConstraint and proof_type (#7993) (7cb39bc)
• Zk sumcheck (#7517) (0e9a530)

Bug Fixes

• avm: Real bytes finalization (#8041) (047461a)
• ci: Correctly run bb tests with asserts (#7607) (7b73f69)

Miscellaneous

• avm: Kernel trace and finalization (#8049) (d7edd24)
• avm: Separate alu finalization (#8069) (e8a9eb4)
• bb: IPA parallelization cleanup (#8088) (9227fa9)
• bb: Simplify parallel_for_if_effective (#8079) (5bff26b)
• bb: Small cleanup in protogalaxy prover (#8072) (4cb5c83)
• Deduplication in Protogalaxy (#8067) (a5cc3ba)
• Handle constant output for ec add opcode (#8108) (2ee79d2)
• Merge devnet fixes back to master (#8149) (6be2183)
• Split up stdlib/recursion (#8054) (ec03e40)
• Use decider verifier in ultra verifier (#8115) (6c5ab2b)

Documentation

• Update installation info for bb and noir (#8119) (a744321)

---

This PR was generated with Release Please. See documentation.

[AztecBot]

Benchmark results

Metrics with a significant change:

• proof_construction_time_sha256_30_ms (16): 1,747 (+24%)
• avm_simulation_time_ms (Token:mint_public): 44.8 (-39%)
• avm_simulation_time_ms (Token:assert_minter_and_mint): 65.5 (+48%)
• avm_simulation_time_ms (FPC:pay_refund): 54.9 (-34%)

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,762	1,568	720 (+1%)	734 (-4%)	774
proof_construction_time_sha256_30_ms	11,588 (-1%)	3,117 (-1%)	⚠️ 1,747 (+24%)	1,568 (+10%)	1,540 (+5%)
proof_construction_time_sha256_100_ms	44,267 (-1%)	11,900 (-2%)	5,456 (-4%)	5,633	5,926 (+1%)
proof_construction_time_poseidon_hash_ms	79.0	34.0	34.0	57.0 (-2%)	88.0
proof_construction_time_poseidon_hash_30_ms	1,533	425	203	235 (+5%)	266 (-4%)
proof_construction_time_poseidon_hash_100_ms	5,659	1,519	674	750 (+2%)	742 (-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,324	7,844	14,852
l1_rollup_calldata_gas	49,696	92,464	177,608
l1_rollup_execution_gas	1,373,724	2,107,388	3,892,588
l2_block_processing_time_in_ms	252 (-1%)	445 (-2%)	800
l2_block_building_time_in_ms	8,977 (+1%)	17,550 (+1%)	34,843
l2_block_rollup_simulation_time_in_ms	8,977 (+1%)	17,550 (+1%)	34,843
l2_block_public_tx_process_time_in_ms	7,572 (+1%)	16,021 (+1%)	33,303

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	2,940 (-2%)	3,795 (-1%)
node_database_size_in_bytes	12,664,912	16,719,952
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	88.3	397	21,755	44,860	N/A
private-kernel-inner	166 (-1%)	706	72,566	45,007	N/A
private-kernel-reset-tiny	458	865 (-1%)	65,675	44,846	N/A
private-kernel-tail	196 (+1%)	156 (-2%)	50,686	52,257	N/A
base-parity	5.64	N/A	160	96.0	N/A
root-parity	35.4 (-2%)	N/A	73,948	96.0	N/A
base-rollup	2,754	N/A	189,136	664	N/A
root-rollup	40.5 (-1%)	N/A	58,173	716	N/A
public-kernel-setup	84.8 (-2%)	N/A	105,085	71,222	N/A
public-kernel-app-logic	95.5	N/A	104,911	71,222	N/A
public-kernel-tail	556 (+1%)	N/A	410,534	16,414	N/A
private-kernel-reset-small	462 (+1%)	N/A	66,341	45,629	N/A
private-kernel-tail-to-public	1,379	647 (-1%)	460,796	1,825	N/A
public-kernel-teardown	83.6	N/A	105,349	71,222	N/A
merge-rollup	20.6 (+2%)	N/A	38,174	664	N/A
undefined	N/A	N/A	N/A	N/A	78,213 (-1%)

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	343
ContractInstanceDeployer:deploy	1,408	11,731	18.4
MultiCallEntrypoint:entrypoint	1,920	11,731	407
FeeJuice:deploy	1,376	11,731	394
SchnorrAccount:constructor	1,312	11,731	75.3
SchnorrAccount:entrypoint	2,304	11,731	413
Token:privately_mint_private_note	1,280	11,731	103 (-2%)
FPC:fee_entrypoint_public	1,344	11,731	29.2
Token:transfer	1,312	11,731	231 (-1%)
Benchmarking:create_note	1,344	11,731	86.6 (-1%)
SchnorrAccount:verify_private_authwit	1,280	11,731	27.6
Token:unshield	1,376	11,731	529 (+1%)
FPC:fee_entrypoint_private	1,376	11,731	704

AVM Simulation

Time to simulate various public functions in the AVM.

Function	time_ms	bytecode_size_in_bytes
FeeJuice:_increase_public_balance	55.2 (-12%)	7,739
FeeJuice:set_portal	12.3 (+3%)	2,354
Token:constructor	79.4 (-1%)	26,051
FPC:constructor	52.3 (-7%)	18,001
FeeJuice:mint_public	39.7 (-2%)	5,877
Token:mint_public	⚠️ 44.8 (-39%)	10,917
Token:assert_minter_and_mint	⚠️ 65.5 (+48%)	7,512
AuthRegistry:set_authorized	37.1 (-20%)	4,391
FPC:prepare_fee	227 (-8%)	7,043
Token:transfer_public	23.7 (+24%)	39,426
FPC:pay_refund	⚠️ 54.9 (-34%)	10,234
Benchmarking:increment_balance	935 (+1%)	6,563
Token:_increase_public_balance	40.1 (-1%)	8,433
FPC:pay_refund_with_shielded_rebate	63.1 (-1%)	10,783

Public DB Access

Time to access various public DBs.

Function	time_ms
get-nullifier-index	0.155 (-1%)

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.22 (-2%)	4.00 (+1%)	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.115 (-3%)	0.114 (+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.6 (+1%)	17.8	31.2 (+3%)	58.7 (-2%)	114
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.112 (+1%)	0.103	0.102 (+3%)	0.102 (-1%)	0.102 (+1%)
batch_insert_into_indexed_tree_20_depth_ms	N/A	N/A	14.6 (+1%)	25.7	44.4 (+4%)	82.4 (-2%)	163 (+3%)
batch_insert_into_indexed_tree_20_depth_hash_count	N/A	N/A	109	207	355	691	1,363
batch_insert_into_indexed_tree_20_depth_hash_ms	N/A	N/A	0.112 (+1%)	0.104	0.107 (+4%)	0.103 (-2%)	0.104 (+4%)
batch_insert_into_indexed_tree_40_depth_ms	N/A	N/A	16.5	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,779	668,997

Transaction size based on fee payment method

| Metric | |
| - | |

[AztecBot]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'C++ Benchmark'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.05.

Benchmark suite	Current: e24ac15	Previous: 4615e6a	Ratio
nativeconstruct_proof_ultrahonk_power_of_2/20	5201.806273000003 ms/iter	4834.973486999999 ms/iter	1.08

This comment was automatically generated by workflow using github-action-benchmark.

CC: @ludamad @codygunton

[AztecBot]

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

[AztecBot]

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

[AztecBot]

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

[AztecBot]

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