feat: public kernel handles enqueued calls #8523

LeilaWang · 2024-09-12T19:17:14Z

Making public kernel handle enqueued calls:

Create temporary public kernel PublicKernelInner to aggregate nested calls in an enqueued call.
- A temporary EnqueuedCallSimulator is used on the sequencer side to combine these calls.
Introduce new struct VMCircuitPublicInputs, as the output of the vm after processing an enqueued call.
Merge 3 public kernels (setup, app_logic, teardown) into one kernel PublicKernelMerge.
- It recursively verifies the previous PublicKernelMerge (or PrivateKernelTailToPublic) and the enqueued call at the top of the call stack.
- Gate count is down from 1.96m (teardown) to 1.53m by using the rom pattern.
- Simplify the code in public processor to have one EnqueuedCallsProcessor instead of 3 phase managers.

github-actions · 2024-09-14T16:46:17Z

Changes to circuit sizes

Generated at commit: 28a89960f96195fa609cf59f93c04dde70d04111, compared to commit: 753cdf8b047365b6280c0306fdc6f59f824f740b

🧾 Summary (100% most significant diffs)

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
private_kernel_reset	-726 ✅	-0.78%	-941 ✅	-0.20%
private_kernel_reset_full_inner	-726 ✅	-0.85%	-941 ✅	-0.21%
private_kernel_reset_big	-726 ✅	-1.16%	-941 ✅	-0.36%
private_kernel_reset_medium	-726 ✅	-1.54%	-941 ✅	-0.60%
private_kernel_reset_small	-726 ✅	-1.84%	-941 ✅	-0.92%
public_kernel_tail	-603 ✅	-0.23%	-26,723 ✅	-0.98%
private_kernel_reset_tiny	-726 ✅	-2.04%	-941 ✅	-1.23%
private_kernel_tail	-167 ✅	-3.40%	-268 ✅	-2.26%
private_kernel_init_simulated	0 ➖	0.00%	-198 ✅	-9.10%
private_kernel_inner_simulated	0 ➖	0.00%	-198 ✅	-9.10%
private_kernel_reset_simulated	0 ➖	0.00%	-198 ✅	-9.10%
private_kernel_reset_simulated_big	0 ➖	0.00%	-198 ✅	-9.10%
private_kernel_reset_simulated_full_inner	0 ➖	0.00%	-198 ✅	-9.10%
private_kernel_reset_simulated_medium	0 ➖	0.00%	-198 ✅	-9.10%
private_kernel_reset_simulated_small	0 ➖	0.00%	-198 ✅	-9.10%
private_kernel_reset_simulated_tiny	0 ➖	0.00%	-198 ✅	-9.10%
private_kernel_init	-2,918 ✅	-10.49%	-3,456 ✅	-9.70%
private_kernel_inner	-5,045 ✅	-10.31%	-6,415 ✅	-10.16%
private_kernel_tail_to_public	-7,679 ✅	-20.47%	-10,315 ✅	-18.68%
private_kernel_tail_to_public_simulated	0 ➖	0.00%	-823 ✅	-20.80%

Full diff report 👇

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
private_kernel_reset	91,870 (-726)	-0.78%	471,894 (-941)	-0.20%
private_kernel_reset_full_inner	84,964 (-726)	-0.85%	442,206 (-941)	-0.21%
private_kernel_reset_big	61,627 (-726)	-1.16%	260,788 (-941)	-0.36%
private_kernel_reset_medium	46,318 (-726)	-1.54%	154,735 (-941)	-0.60%
private_kernel_reset_small	38,661 (-726)	-1.84%	101,810 (-941)	-0.92%
public_kernel_tail	259,172 (-603)	-0.23%	2,699,140 (-26,723)	-0.98%
private_kernel_reset_tiny	34,834 (-726)	-2.04%	75,437 (-941)	-1.23%
private_kernel_tail	4,743 (-167)	-3.40%	11,571 (-268)	-2.26%
private_kernel_init_simulated	1 (0)	0.00%	1,977 (-198)	-9.10%
private_kernel_inner_simulated	1 (0)	0.00%	1,977 (-198)	-9.10%
private_kernel_reset_simulated	1 (0)	0.00%	1,977 (-198)	-9.10%
private_kernel_reset_simulated_big	1 (0)	0.00%	1,977 (-198)	-9.10%
private_kernel_reset_simulated_full_inner	1 (0)	0.00%	1,977 (-198)	-9.10%
private_kernel_reset_simulated_medium	1 (0)	0.00%	1,977 (-198)	-9.10%
private_kernel_reset_simulated_small	1 (0)	0.00%	1,977 (-198)	-9.10%
private_kernel_reset_simulated_tiny	1 (0)	0.00%	1,977 (-198)	-9.10%
private_kernel_init	24,901 (-2,918)	-10.49%	32,162 (-3,456)	-9.70%
private_kernel_inner	43,886 (-5,045)	-10.31%	56,719 (-6,415)	-10.16%
private_kernel_tail_to_public	29,827 (-7,679)	-20.47%	44,913 (-10,315)	-18.68%
private_kernel_tail_to_public_simulated	1 (0)	0.00%	3,134 (-823)	-20.80%

AztecBot · 2024-09-17T02:23:53Z

Benchmark results

Metrics with a significant change:

proof_construction_time_sha256_100_ms (16): 6,619 (+23%)
app_circuit_witness_generation_time_in_ms (SchnorrAccount:entrypoint): 320 (-21%)
protocol_circuit_simulation_time_in_ms (private-kernel-tail-to-public): 572 (-17%)
protocol_circuit_input_size_in_bytes (private-kernel-tail-to-public): 364,918 (-18%)
avm_simulation_time_ms (FeeJuice:set_portal): 4.76 (-32%)
avm_simulation_time_ms (Token:_increase_public_balance): 7.05 (+43%)
protocol_circuit_witness_generation_time_in_ms (private-kernel-tail-to-public): 495 (-20%)

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,732	1,543	701	762 (+1%)	760 (-1%)
proof_construction_time_sha256_30_ms	22,758	6,059	2,741	2,785	2,801
proof_construction_time_sha256_100_ms	44,079	11,951 (+2%)	⚠️ 6,619 (+23%)	5,377	5,354
proof_construction_time_poseidon_hash_ms	78.0	34.0 (-19%)	34.0	59.0 (+2%)	88.0 (-1%)
proof_construction_time_poseidon_hash_30_ms	1,524	417	201	225 (+3%)	269
proof_construction_time_poseidon_hash_100_ms	5,643	1,516	671	727 (-1%)	752 (+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,612	8,260	15,556
l1_rollup_calldata_gas	52,840	97,730	187,096
l1_rollup_execution_gas	822,430	1,559,342	3,351,859
l2_block_processing_time_in_ms	269 (+3%)	454 (+3%)	829 (+2%)
l2_block_building_time_in_ms	4,547 (-1%)	8,970	17,857
l2_block_rollup_simulation_time_in_ms	4,546 (-1%)	8,970	17,857
l2_block_public_tx_process_time_in_ms	4,523 (-1%)	8,942	17,825

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,902 (+6%)	3,833 (+6%)
node_database_size_in_bytes	12,402,928	16,351,472 (-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	67.7 (-12%)	361 (-9%)	19,952 (-6%)	43,308 (-4%)	N/A
private-kernel-inner	125 (-9%)	649 (-8%)	69,261 (-4%)	43,426 (-4%)	N/A
private-kernel-reset-tiny	311 (-1%)	694 (-2%)	62,826 (-3%)	43,296 (-4%)	N/A
private-kernel-tail	127 (-15%)	124 (-7%)	48,900 (-3%)	56,857 (-4%)	N/A
public-kernel-inner	36.0	N/A	87,514	52,672	N/A
public-kernel-merge	68.4	N/A	143,662	70,692	N/A
public-kernel-tail	485 (-2%)	N/A	478,120 (-2%)	16,414	N/A
private-kernel-reset-small	283 (-2%)	N/A	64,728 (-2%)	44,012 (-4%)	N/A
private-kernel-tail-to-public	⚠️ 572 (-17%)	⚠️ 495 (-20%)	⚠️ 364,918 (-18%)	1,825	N/A
undefined	N/A	N/A	N/A	N/A	98,632 (+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	10,898 (-7%)	343 (-1%)
ContractInstanceDeployer:deploy	1,408	10,898 (-7%)	34.2 (-3%)
MultiCallEntrypoint:entrypoint	1,920	10,898 (-7%)	392 (-11%)
FeeJuice:deploy	1,376	10,898 (-7%)	417
SchnorrAccount:constructor	1,312	10,898 (-7%)	101 (+1%)
SchnorrAccount:entrypoint	2,336	10,898 (-7%)	⚠️ 320 (-21%)
FeeJuice:claim	1,344	10,898 (-7%)	51.4 (-2%)
Token:privately_mint_private_note	1,280	10,898 (-7%)	119 (+2%)
FPC:fee_entrypoint_public	1,344	10,898 (-7%)	57.1 (+2%)
Token:transfer	1,312	10,898 (-7%)	162 (-1%)
Benchmarking:create_note	1,344	10,898 (-7%)	98.5 (-1%)
SchnorrAccount:verify_private_authwit	1,280	10,898 (-7%)	23.8 (-11%)
Token:unshield	1,376	10,898 (-7%)	554 (-2%)
FPC:fee_entrypoint_private	1,376	10,898 (-7%)	739 (-4%)

AVM Simulation

Time to simulate various public functions in the AVM.

Function	time_ms	bytecode_size_in_bytes
FeeJuice:_increase_public_balance	6.49 (-2%)	1,052
FeeJuice:set_portal	⚠️ 4.76 (-32%)	1,070
Token:constructor	192 (+1%)	7,327
FPC:constructor	13.2 (-2%)	4,757
FeeJuice:check_balance	3.25 (+2%)	936
Token:mint_public	11.0 (+25%)	1,942
Token:assert_minter_and_mint	5.60 (+14%)	1,260
AuthRegistry:set_authorized	3.01 (-1%)	464
FPC:prepare_fee	54.7 (-3%)	1,077
Token:transfer_public	10.2 (+3%)	5,467
FPC:pay_refund	31.9 (-7%)	1,494
Benchmarking:increment_balance	11.3 (+15%)	1,432
Token:_increase_public_balance	⚠️ 7.05 (+43%)	1,097
FPC:pay_refund_with_shielded_rebate	39.8 (-4%)	1,383

Public DB Access

Time to access various public DBs.

Function	time_ms
get-nullifier-index	0.554 (-22%)

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.14 (-1%)	3.97 (+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.112 (-1%)	0.112 (+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.2	21.3 (+14%)	30.8 (-2%)	59.9 (+2%)	115
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.125 (+15%)	0.101 (-1%)	0.103 (+2%)	0.103
batch_insert_into_indexed_tree_20_depth_ms	N/A	N/A	14.4	26.6 (+3%)	44.0 (-1%)	83.9 (+2%)	168 (+4%)
batch_insert_into_indexed_tree_20_depth_hash_count	N/A	N/A	108	207	355	691	1,363
batch_insert_into_indexed_tree_20_depth_hash_ms	N/A	N/A	0.110	0.107 (+3%)	0.107	0.104 (+3%)	0.105 (+4%)
batch_insert_into_indexed_tree_40_depth_ms	N/A	N/A	16.7 (+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.108 (+1%)	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	69,273 (-4%)	670,261

Transaction size based on fee payment method

| Metric | |
| - | |

dbanks12

Excellent work! This is quite an impressive project here. Thank you for doing all of this! 🙏

...r-protocol-circuits/crates/public-kernel-lib/src/components/public_kernel_output_composer.nr

...ocol-circuits/crates/types/src/abis/kernel_circuit_public_inputs/vm_circuit_public_inputs.nr

dbanks12 · 2024-09-24T00:34:50Z

...ocol-circuits/crates/types/src/abis/kernel_circuit_public_inputs/vm_circuit_public_inputs.nr

+struct VMCircuitPublicInputs {
+    constants: CombinedConstantData,
+    call_request: PublicCallRequest,
+
+    // TODO(#7124): To be deprecated.
+    public_call_stack: [PublicInnerCallRequest; MAX_PUBLIC_CALL_STACK_LENGTH_PER_TX],
+
+    previous_validation_request_array_lengths: PublicValidationRequestArrayLengths, // Lengths of the validation requests before the enqueued call.
+    validation_requests: PublicValidationRequests, // Validation requests emitted throughout the enqueued call.
+    previous_accumulated_data_array_lengths: PublicAccumulatedDataArrayLengths, // Lengths of the accumulated data before the enqueued call.
+    accumulated_data: PublicAccumulatedData, // Data emitted throughout the enqueued call.
+    start_side_effect_counter: u32,
+    end_side_effect_counter: u32,
+    start_gas_left: Gas,
+    transaction_fee: Field,
+    reverted: bool,


Note that what the AVM computes directly is the "gas left" after executing the enqueued call. It initializes its gas_left to start_gas_left and then decrements it per instruction.

If we need to instead output gas_used, that's not the end of the world, but it's something to add to the AVM (check that the final gas_left matches the public input column's start_gas_left - gas_used).

I wouldn't want to block all the goodness of this PR on something so minor. But if it's easy to have end_gas_left instead of gas_used in the VM public inputs, that would make our life slightly easier!

Got it! Having end_gas_left also seems more straightforward. Will change it in another pr. Will also remove the gas_used in PublicAccumulatedData to avoid any confusion.

...ocol-circuits/crates/types/src/abis/kernel_circuit_public_inputs/vm_circuit_public_inputs.nr

noir-projects/noir-protocol-circuits/crates/types/src/abis/public_call_request.nr

noir-projects/noir-protocol-circuits/crates/types/src/utils/arrays/assert_array_appended.nr

noir-projects/noir-protocol-circuits/crates/types/src/abis/public_inner_call_request.nr

...noir-protocol-circuits/crates/public-kernel-lib/src/components/vm_circuit_output_composer.nr

noir-projects/noir-protocol-circuits/crates/public-kernel-lib/src/public_kernel_inner.nr

:robot: I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.56.0</summary> ## [0.56.0](https://github.com/AztecProtocol/aztec-packages/compare/aztec-package-v0.55.1...aztec-package-v0.56.0) (2024-09-25) ### ⚠ BREAKING CHANGES * remove key registry ([#8613](https://github.com/AztecProtocol/aztec-packages/issues/8613)) ### Features * Remove key registry ([#8613](https://github.com/AztecProtocol/aztec-packages/issues/8613)) ([a668506](https://github.com/AztecProtocol/aztec-packages/commit/a6685067a0a5d17cbbc4cbfed4e78e364864ff51)) * Update rollup storage to hold pending/proven tips ([#8583](https://github.com/AztecProtocol/aztec-packages/issues/8583)) ([38e3051](https://github.com/AztecProtocol/aztec-packages/commit/38e3051d60f9f8a80e33fab4e0f7f3ec3cde2ee2)) </details> <details><summary>barretenberg.js: 0.56.0</summary> ## [0.56.0](https://github.com/AztecProtocol/aztec-packages/compare/barretenberg.js-v0.55.1...barretenberg.js-v0.56.0) (2024-09-25) ### Features * Use new IVC scheme ([#8480](https://github.com/AztecProtocol/aztec-packages/issues/8480)) ([1c7b06d](https://github.com/AztecProtocol/aztec-packages/commit/1c7b06d6621d9873f84147b2b7f1f22bf21bbacb)) ### Bug Fixes * Skip G1 SRS download if numPoints is zero ([#8717](https://github.com/AztecProtocol/aztec-packages/issues/8717)) ([753cdf8](https://github.com/AztecProtocol/aztec-packages/commit/753cdf8b047365b6280c0306fdc6f59f824f740b)) ### Miscellaneous * Migrate higher-level APIs for barretenberg to bb.js ([#8677](https://github.com/AztecProtocol/aztec-packages/issues/8677)) ([0237a20](https://github.com/AztecProtocol/aztec-packages/commit/0237a20c989f2b37a64ee18b41c1da361363a81f)) </details> <details><summary>aztec-packages: 0.56.0</summary> ## [0.56.0](https://github.com/AztecProtocol/aztec-packages/compare/aztec-packages-v0.55.1...aztec-packages-v0.56.0) (2024-09-25) ### ⚠ BREAKING CHANGES * make compute_nullifier_without_context unconstrained ([#8742](https://github.com/AztecProtocol/aztec-packages/issues/8742)) * remove PublicContextInputs ([#8770](https://github.com/AztecProtocol/aztec-packages/issues/8770)) * make TestEnvironment be unconstrained ([#8747](https://github.com/AztecProtocol/aztec-packages/issues/8747)) * change ec_add to unsafe implementation (but much better perf) ([#8374](https://github.com/AztecProtocol/aztec-packages/issues/8374)) * `aztec_macros` are dead, long live `aztec::macros` ([#8438](https://github.com/AztecProtocol/aztec-packages/issues/8438)) * **avm:** GETENVVAR + ISSTATICCALL ([#8692](https://github.com/AztecProtocol/aztec-packages/issues/8692)) * remove sha256 opcode ([#4571](https://github.com/AztecProtocol/aztec-packages/issues/4571)) * removing implicit numeric generics (https://github.com/noir-lang/noir/pull/5837) * Infer globals to be u32 when used in a type (https://github.com/noir-lang/noir/pull/6083) * add support for u1 in the avm, ToRadix's radix arg is a memory addr ([#8570](https://github.com/AztecProtocol/aztec-packages/issues/8570)) * remove key registry ([#8613](https://github.com/AztecProtocol/aztec-packages/issues/8613)) * **avm:** dont compress public bytecode ([#8623](https://github.com/AztecProtocol/aztec-packages/issues/8623)) * **avm:** remove tag in NOT ([#8606](https://github.com/AztecProtocol/aztec-packages/issues/8606)) ### Features * (LSP) if in runtime code, always suggest functions that return Quoted as macro calls (https://github.com/noir-lang/noir/pull/6098) ([7fb2a45](https://github.com/AztecProtocol/aztec-packages/commit/7fb2a454531db8cef757b5ec2028d97e823bef5f)) * (LSP) remove unused imports (https://github.com/noir-lang/noir/pull/6129) ([4522c4f](https://github.com/AztecProtocol/aztec-packages/commit/4522c4f428b288825013d7c38c5a4cbc5b8c8f58)) * (LSP) show global value on hover (https://github.com/noir-lang/noir/pull/6097) ([7fb2a45](https://github.com/AztecProtocol/aztec-packages/commit/7fb2a454531db8cef757b5ec2028d97e823bef5f)) * (LSP) suggest $vars inside `quote { ... }` (https://github.com/noir-lang/noir/pull/6114) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * `aztec_macros` are dead, long live `aztec::macros` ([#8438](https://github.com/AztecProtocol/aztec-packages/issues/8438)) ([7cbabd6](https://github.com/AztecProtocol/aztec-packages/commit/7cbabd6840ee8127c12a51a2342ef634f1d58954)) * Add `Expr::as_constructor` (https://github.com/noir-lang/noir/pull/5980) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * Add `Expr::as_for` and `Expr::as_for_range` (https://github.com/noir-lang/noir/pull/6039) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * Add `Expr::as_lambda` (https://github.com/noir-lang/noir/pull/6048) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * Add Aztec Bot to helm testnet package ([#8702](https://github.com/AztecProtocol/aztec-packages/issues/8702)) ([982a04e](https://github.com/AztecProtocol/aztec-packages/commit/982a04e8021ec88b178ea05fdebb7193998cde38)) * Add epochs to existing orchestrator ([#8675](https://github.com/AztecProtocol/aztec-packages/issues/8675)) ([0337fe9](https://github.com/AztecProtocol/aztec-packages/commit/0337fe9c2a7ac9f19fe8f695c7c072102dae9ec2)) * Add epochs to existing orchestrator v2 ([#8732](https://github.com/AztecProtocol/aztec-packages/issues/8732)) ([cec4d3f](https://github.com/AztecProtocol/aztec-packages/commit/cec4d3fedd5483cece5e53c0c1682d7a0b26f5fd)) * Add initial integration of databus ([#8710](https://github.com/AztecProtocol/aztec-packages/issues/8710)) ([779e104](https://github.com/AztecProtocol/aztec-packages/commit/779e10499cfe668506ba8a199342cf86fae258a7)) * Add peer scoring to req resp rate limits ([#8633](https://github.com/AztecProtocol/aztec-packages/issues/8633)) ([b015a79](https://github.com/AztecProtocol/aztec-packages/commit/b015a79560133d4bf842834066eb88bffba7cb7f)) * Add separate report for public function bytecode sizes ([#8750](https://github.com/AztecProtocol/aztec-packages/issues/8750)) ([d3c102f](https://github.com/AztecProtocol/aztec-packages/commit/d3c102f3c055e29c2beeb5ed81ac7b76b7135d25)) * Add support for u1 in the avm, ToRadix's radix arg is a memory addr ([#8570](https://github.com/AztecProtocol/aztec-packages/issues/8570)) ([1785737](https://github.com/AztecProtocol/aztec-packages/commit/178573738731e2e74e4119a035f913da39675d85)) * Add validation to request / response interactions + adjust scoring appropiately ([#8641](https://github.com/AztecProtocol/aztec-packages/issues/8641)) ([8dfdebc](https://github.com/AztecProtocol/aztec-packages/commit/8dfdebc7055ca89861a3727ea2d419fde98d6cf7)) * Aggregate honk and avm recursion constraints together ([#8696](https://github.com/AztecProtocol/aztec-packages/issues/8696)) ([3fa9e83](https://github.com/AztecProtocol/aztec-packages/commit/3fa9e83c0fac460f586572fe2866823fe7f740d2)) * Allow visibility modifiers in struct definitions (https://github.com/noir-lang/noir/pull/6054) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * **avm:** Avm recursive TS/Noir integration ([#8531](https://github.com/AztecProtocol/aztec-packages/issues/8531)) ([dd09f05](https://github.com/AztecProtocol/aztec-packages/commit/dd09f057e97ac1bba7b3fbf29b50737ebe5ca76f)), closes [#7791](https://github.com/AztecProtocol/aztec-packages/issues/7791) * **avm:** Avm recursive TS/Noir integration ([#8611](https://github.com/AztecProtocol/aztec-packages/issues/8611)) ([e417231](https://github.com/AztecProtocol/aztec-packages/commit/e4172318af81ac2ac8535c89d3e5afc72d33ba29)) * **avm:** Bounded mle implementation ([#8668](https://github.com/AztecProtocol/aztec-packages/issues/8668)) ([aa85f2a](https://github.com/AztecProtocol/aztec-packages/commit/aa85f2a781223f067291b5702f2e47baced865fd)), closes [#8651](https://github.com/AztecProtocol/aztec-packages/issues/8651) * **avm:** GETENVVAR + ISSTATICCALL ([#8692](https://github.com/AztecProtocol/aztec-packages/issues/8692)) ([02cff0b](https://github.com/AztecProtocol/aztec-packages/commit/02cff0b525d9d6b1c854219f06713a8b94a8e9f5)) * **avm:** Opcode STATICCALL - stubbed ([#8601](https://github.com/AztecProtocol/aztec-packages/issues/8601)) ([facff7f](https://github.com/AztecProtocol/aztec-packages/commit/facff7fd0b6ea57e91f7d3e3863435655d8b48ea)), closes [#8596](https://github.com/AztecProtocol/aztec-packages/issues/8596) * **avm:** Remove tag in NOT ([#8606](https://github.com/AztecProtocol/aztec-packages/issues/8606)) ([d5695fc](https://github.com/AztecProtocol/aztec-packages/commit/d5695fcde93cbfda3e45bfa03988a9e72f2dcb59)) * **avm:** Return oracle ([#8629](https://github.com/AztecProtocol/aztec-packages/issues/8629)) ([b6bc7c3](https://github.com/AztecProtocol/aztec-packages/commit/b6bc7c3f5064255480e3d4443471c2c50007d0ca)) * **avm:** Set avm circuit subgroup size ([#8537](https://github.com/AztecProtocol/aztec-packages/issues/8537)) ([3b78058](https://github.com/AztecProtocol/aztec-packages/commit/3b78058288edbbe18a2eb8c81de5576c8a9478ab)) * Benchmark compute_row_evaluations and update analysis script ([#8673](https://github.com/AztecProtocol/aztec-packages/issues/8673)) ([c738c47](https://github.com/AztecProtocol/aztec-packages/commit/c738c47bd13875ba1649d808e7abd2908fa29e07)) * Check unconstrained trait impl method matches (https://github.com/noir-lang/noir/pull/6057) ([3e0067a](https://github.com/AztecProtocol/aztec-packages/commit/3e0067a11935d4f2ead9579458d3c00c2f27f1ef)) * Compute args hash with comptime length ([#8736](https://github.com/AztecProtocol/aztec-packages/issues/8736)) ([dae82d8](https://github.com/AztecProtocol/aztec-packages/commit/dae82d84f95242ad7da1bf8e0c7e5063a35b1fef)) * Constant sized PG proofs and const sized PG rec verifier ([#8605](https://github.com/AztecProtocol/aztec-packages/issues/8605)) ([09e2f44](https://github.com/AztecProtocol/aztec-packages/commit/09e2f447b003ed4c77b12069893785851a2c6258)) * Do not double error on import with error (https://github.com/noir-lang/noir/pull/6131) ([0d9f547](https://github.com/AztecProtocol/aztec-packages/commit/0d9f547d4e470a1e5383c1fff4c0c6125169de19)) * **docs:** Getting started, portals page, some other nits ([#8515](https://github.com/AztecProtocol/aztec-packages/issues/8515)) ([9632e0d](https://github.com/AztecProtocol/aztec-packages/commit/9632e0dcf3c5b8966be0e1d02fa7ea9a5677af97)) * **docs:** Some small custom note stuff ([#8518](https://github.com/AztecProtocol/aztec-packages/issues/8518)) ([a098d41](https://github.com/AztecProtocol/aztec-packages/commit/a098d41ef0ba91beaf8b22a353bccd8e78bae5f5)) * EpochProofQuote implementation in TS ([#8689](https://github.com/AztecProtocol/aztec-packages/issues/8689)) ([1aad110](https://github.com/AztecProtocol/aztec-packages/commit/1aad110ba582599a69216dc0491f19b0df6dafea)) * Faster LSP by caching file managers (https://github.com/noir-lang/noir/pull/6047) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * Implement `to_be_radix` in the comptime interpreter (https://github.com/noir-lang/noir/pull/6043) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * Implement solver for mov_registers_to_registers (https://github.com/noir-lang/noir/pull/6089) ([03b9e71](https://github.com/AztecProtocol/aztec-packages/commit/03b9e71e5ebb3d46827671b2197697b5d294d04e)) * Implement type paths (https://github.com/noir-lang/noir/pull/6093) ([b330e87](https://github.com/AztecProtocol/aztec-packages/commit/b330e874dc11235eb9730aca7c936299378c9ce8)) * Let LSP suggest macro calls too (https://github.com/noir-lang/noir/pull/6090) ([b330e87](https://github.com/AztecProtocol/aztec-packages/commit/b330e874dc11235eb9730aca7c936299378c9ce8)) * Light block builder ([#8662](https://github.com/AztecProtocol/aztec-packages/issues/8662)) ([1e922a5](https://github.com/AztecProtocol/aztec-packages/commit/1e922a5a13bf3105e1317eda6d5536aa44a84b54)) * LSP autocompletion for `TypePath` (https://github.com/noir-lang/noir/pull/6117) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Make compute_nullifier_without_context unconstrained ([#8742](https://github.com/AztecProtocol/aztec-packages/issues/8742)) ([e30a743](https://github.com/AztecProtocol/aztec-packages/commit/e30a743d01ab190a1f7a677d2ae667f15c83d97f)) * Make TestEnvironment be unconstrained ([#8747](https://github.com/AztecProtocol/aztec-packages/issues/8747)) ([b9a1f59](https://github.com/AztecProtocol/aztec-packages/commit/b9a1f59a5343c8fa7caa957a5ebc3eb533a21c9c)) * Make UltraKeccak work with Shplemini at bb-level ([#8646](https://github.com/AztecProtocol/aztec-packages/issues/8646)) ([82b60eb](https://github.com/AztecProtocol/aztec-packages/commit/82b60ebbdb18400363248b80986c993df1b7e4af)) * **metaprogramming:** Add `#[use_callers_scope]` (https://github.com/noir-lang/noir/pull/6050) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * More robust recursion input generator ([#8634](https://github.com/AztecProtocol/aztec-packages/issues/8634)) ([020d4fd](https://github.com/AztecProtocol/aztec-packages/commit/020d4fd0cf4137e21f55b1c41e9e381a27191d84)) * Only download non-pruned blocks ([#8578](https://github.com/AztecProtocol/aztec-packages/issues/8578)) ([ae26474](https://github.com/AztecProtocol/aztec-packages/commit/ae26474709e28116a38fd2c2773de39dfb6816ad)) * Optimize constraints in sha256 (https://github.com/noir-lang/noir/pull/6145) ([0d9f547](https://github.com/AztecProtocol/aztec-packages/commit/0d9f547d4e470a1e5383c1fff4c0c6125169de19)) * Partial notes log encoding ([#8538](https://github.com/AztecProtocol/aztec-packages/issues/8538)) ([5f5ec20](https://github.com/AztecProtocol/aztec-packages/commit/5f5ec2099782a64160c7b06ce2021d28c264e7e9)) * **perf:** Allow array set last uses optimization in return block of Brillig functions (https://github.com/noir-lang/noir/pull/6119) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * **perf:** Remove unused loads in mem2reg and last stores per function (https://github.com/noir-lang/noir/pull/5925) ([3e0067a](https://github.com/AztecProtocol/aztec-packages/commit/3e0067a11935d4f2ead9579458d3c00c2f27f1ef)) * Pretty print Quoted token stream (https://github.com/noir-lang/noir/pull/6111) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Prune if needed ([#8617](https://github.com/AztecProtocol/aztec-packages/issues/8617)) ([49b17d0](https://github.com/AztecProtocol/aztec-packages/commit/49b17d0924fc3b11d0b2202cfc01d3dd4c18617a)), closes [#8608](https://github.com/AztecProtocol/aztec-packages/issues/8608) * Public kernel handles enqueued calls ([#8523](https://github.com/AztecProtocol/aztec-packages/issues/8523)) ([6303b4a](https://github.com/AztecProtocol/aztec-packages/commit/6303b4afbc39715e92d5ca7ae5100c60f6398686)) * Reduce max memory in translator by freeing accumulator and eccvm ([#8253](https://github.com/AztecProtocol/aztec-packages/issues/8253)) ([7247ddb](https://github.com/AztecProtocol/aztec-packages/commit/7247ddba274e691a7c5220848caf1fa9d6aa911e)) * Remove aztec macros (https://github.com/noir-lang/noir/pull/6087) ([0d9f547](https://github.com/AztecProtocol/aztec-packages/commit/0d9f547d4e470a1e5383c1fff4c0c6125169de19)) * Remove key registry ([#8613](https://github.com/AztecProtocol/aztec-packages/issues/8613)) ([a668506](https://github.com/AztecProtocol/aztec-packages/commit/a6685067a0a5d17cbbc4cbfed4e78e364864ff51)) * Remove sha256 opcode ([#4571](https://github.com/AztecProtocol/aztec-packages/issues/4571)) ([4b4a0bf](https://github.com/AztecProtocol/aztec-packages/commit/4b4a0bf17050893f913b3db10bc70a584b7aaa5e)) * Remove unnecessary branching in keccak impl (https://github.com/noir-lang/noir/pull/6133) ([0d9f547](https://github.com/AztecProtocol/aztec-packages/commit/0d9f547d4e470a1e5383c1fff4c0c6125169de19)) * Represent assertions more similarly to function calls (https://github.com/noir-lang/noir/pull/6103) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Show test output when running via LSP (https://github.com/noir-lang/noir/pull/6049) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * Swap endianness in-place in keccak implementation (https://github.com/noir-lang/noir/pull/6128) ([4522c4f](https://github.com/AztecProtocol/aztec-packages/commit/4522c4f428b288825013d7c38c5a4cbc5b8c8f58)) * Update rollup storage to hold pending/proven tips ([#8583](https://github.com/AztecProtocol/aztec-packages/issues/8583)) ([38e3051](https://github.com/AztecProtocol/aztec-packages/commit/38e3051d60f9f8a80e33fab4e0f7f3ec3cde2ee2)) * Use new IVC scheme ([#8480](https://github.com/AztecProtocol/aztec-packages/issues/8480)) ([1c7b06d](https://github.com/AztecProtocol/aztec-packages/commit/1c7b06d6621d9873f84147b2b7f1f22bf21bbacb)) * **vc:** Remove viem signers from validator client ([#8517](https://github.com/AztecProtocol/aztec-packages/issues/8517)) ([8244fa2](https://github.com/AztecProtocol/aztec-packages/commit/8244fa2d496975bb8bcc032690e0eab1b8c9548f)) * Visibility for traits (https://github.com/noir-lang/noir/pull/6056) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) ### Bug Fixes * Address a bunch of issues with generics ([#8625](https://github.com/AztecProtocol/aztec-packages/issues/8625)) ([94718f1](https://github.com/AztecProtocol/aztec-packages/commit/94718f1fbc26b165107872b2e32ba5412ba3b7fd)) * Allow macros to change types on each iteration of a comptime loop (https://github.com/noir-lang/noir/pull/6105) ([03b9e71](https://github.com/AztecProtocol/aztec-packages/commit/03b9e71e5ebb3d46827671b2197697b5d294d04e)) * Allow providing default implementations of unconstrained trait methods (https://github.com/noir-lang/noir/pull/6138) ([0d9f547](https://github.com/AztecProtocol/aztec-packages/commit/0d9f547d4e470a1e5383c1fff4c0c6125169de19)) * Always parse all tokens from quoted token streams (https://github.com/noir-lang/noir/pull/6064) ([3e0067a](https://github.com/AztecProtocol/aztec-packages/commit/3e0067a11935d4f2ead9579458d3c00c2f27f1ef)) * **avm:** Fix tests under proving ([#8640](https://github.com/AztecProtocol/aztec-packages/issues/8640)) ([8bfc769](https://github.com/AztecProtocol/aztec-packages/commit/8bfc769d7cbd6f88bfa7926c051a329ee0fd3468)) * Be more lenient with semicolons on interned expressions (https://github.com/noir-lang/noir/pull/6062) ([3e0067a](https://github.com/AztecProtocol/aztec-packages/commit/3e0067a11935d4f2ead9579458d3c00c2f27f1ef)) * Boomerang variable in sha256 hash function ([#8581](https://github.com/AztecProtocol/aztec-packages/issues/8581)) ([f2a1330](https://github.com/AztecProtocol/aztec-packages/commit/f2a13309f544bbd83b593e6a6207d49d9ef48b74)) * **ci:** Rerun.yml should not trigger if a commit has been pushed ([#8735](https://github.com/AztecProtocol/aztec-packages/issues/8735)) ([39fbf92](https://github.com/AztecProtocol/aztec-packages/commit/39fbf92a068be5f746b7cc379910c6af85f5e064)) * Consider constants as used values to keep their rc ops (https://github.com/noir-lang/noir/pull/6122) ([4522c4f](https://github.com/AztecProtocol/aztec-packages/commit/4522c4f428b288825013d7c38c5a4cbc5b8c8f58)) * Correct stack trace order in comptime assertion failures (https://github.com/noir-lang/noir/pull/6066) ([3e0067a](https://github.com/AztecProtocol/aztec-packages/commit/3e0067a11935d4f2ead9579458d3c00c2f27f1ef)) * Decode databus return values (https://github.com/noir-lang/noir/pull/6095) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Delete database file from disk on db.delete ([#8693](https://github.com/AztecProtocol/aztec-packages/issues/8693)) ([07d43ea](https://github.com/AztecProtocol/aztec-packages/commit/07d43ea77b57aba5d6edba56fe873b7dafd17e50)) * Delete temp lmdb stores + close db connection ([#8778](https://github.com/AztecProtocol/aztec-packages/issues/8778)) ([9321cbc](https://github.com/AztecProtocol/aztec-packages/commit/9321cbcf022994e5f8d41798d8c765490ab96824)) * Disambiguate field or int static trait method call (https://github.com/noir-lang/noir/pull/6112) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Do not prune if we are behind the assumed proven block ([#8744](https://github.com/AztecProtocol/aztec-packages/issues/8744)) ([e85bee5](https://github.com/AztecProtocol/aztec-packages/commit/e85bee5fb32057c8315593027417853cb4dfdcd5)) * **docs:** Simplify home page ([#8630](https://github.com/AztecProtocol/aztec-packages/issues/8630)) ([87e0a17](https://github.com/AztecProtocol/aztec-packages/commit/87e0a17db6c89a3a6e23fca3369c3bc5fe84ad3d)) * Don't crash on untyped global used as array length (https://github.com/noir-lang/noir/pull/6076) ([3e0067a](https://github.com/AztecProtocol/aztec-packages/commit/3e0067a11935d4f2ead9579458d3c00c2f27f1ef)) * Don't prune while proposing or proving. ([#8739](https://github.com/AztecProtocol/aztec-packages/issues/8739)) ([5854879](https://github.com/AztecProtocol/aztec-packages/commit/5854879f46f0f777dd986f1ba6adf6aa24abc683)) * Error on `&mut x` when `x` is not mutable (https://github.com/noir-lang/noir/pull/6037) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * Fix canonicalization bug (https://github.com/noir-lang/noir/pull/6033) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * Fix comptime type formatting (https://github.com/noir-lang/noir/pull/6079) ([3e0067a](https://github.com/AztecProtocol/aztec-packages/commit/3e0067a11935d4f2ead9579458d3c00c2f27f1ef)) * Fixes mapTuple typing ([#8615](https://github.com/AztecProtocol/aztec-packages/issues/8615)) ([25d5805](https://github.com/AztecProtocol/aztec-packages/commit/25d5805db1a2ccd0f06f14ab9a11a3fa455e5b69)) * Handle multi-byte utf8 characters in formatter (https://github.com/noir-lang/noir/pull/6118) ([0d9f547](https://github.com/AztecProtocol/aztec-packages/commit/0d9f547d4e470a1e5383c1fff4c0c6125169de19)) * Handle parenthesized expressions in array length (https://github.com/noir-lang/noir/pull/6132) ([4522c4f](https://github.com/AztecProtocol/aztec-packages/commit/4522c4f428b288825013d7c38c5a4cbc5b8c8f58)) * Infer globals to be u32 when used in a type (https://github.com/noir-lang/noir/pull/6083) ([3e0067a](https://github.com/AztecProtocol/aztec-packages/commit/3e0067a11935d4f2ead9579458d3c00c2f27f1ef)) * Initialise databus using return values (https://github.com/noir-lang/noir/pull/6074) ([b330e87](https://github.com/AztecProtocol/aztec-packages/commit/b330e874dc11235eb9730aca7c936299378c9ce8)) * Let LSP suggest fields and methods in LValue chains (https://github.com/noir-lang/noir/pull/6051) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * Let token pretty printer handle `+=` and similar token sequences (https://github.com/noir-lang/noir/pull/6135) ([0d9f547](https://github.com/AztecProtocol/aztec-packages/commit/0d9f547d4e470a1e5383c1fff4c0c6125169de19)) * **mem2reg:** Remove possibility of underflow (https://github.com/noir-lang/noir/pull/6107) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * New commit_sparse bug and new tests ([#8649](https://github.com/AztecProtocol/aztec-packages/issues/8649)) ([5818018](https://github.com/AztecProtocol/aztec-packages/commit/581801863529cd2b437cb51b041ada17a96949e0)) * Parse a statement as an expression (https://github.com/noir-lang/noir/pull/6040) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * Preserve generic kind on trait methods (https://github.com/noir-lang/noir/pull/6099) ([7fb2a45](https://github.com/AztecProtocol/aztec-packages/commit/7fb2a454531db8cef757b5ec2028d97e823bef5f)) * Prevent check_can_mutate crashing on undefined variable (https://github.com/noir-lang/noir/pull/6044) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * Quick TXE after public executor changes ([#8661](https://github.com/AztecProtocol/aztec-packages/issues/8661)) ([48a715b](https://github.com/AztecProtocol/aztec-packages/commit/48a715b6a11a07af7f9adce7a1049cf5e81a933d)) * **revert:** "chore!: change ec_add to unsafe implementation (but much better perf)" ([#8722](https://github.com/AztecProtocol/aztec-packages/issues/8722)) ([9a1b5b5](https://github.com/AztecProtocol/aztec-packages/commit/9a1b5b5fdd3194f4e7833aacbca4f48aadafbd74)) * **revert:** "feat: Add epochs to existing orchestrator" ([#8727](https://github.com/AztecProtocol/aztec-packages/issues/8727)) ([ff8e1ed](https://github.com/AztecProtocol/aztec-packages/commit/ff8e1edc5eae5d5a18d36cb960eb3d98afa1cfa6)) * Skip G1 SRS download if numPoints is zero ([#8717](https://github.com/AztecProtocol/aztec-packages/issues/8717)) ([753cdf8](https://github.com/AztecProtocol/aztec-packages/commit/753cdf8b047365b6280c0306fdc6f59f824f740b)) * **ssa:** RC correctness issue (https://github.com/noir-lang/noir/pull/6134) ([0d9f547](https://github.com/AztecProtocol/aztec-packages/commit/0d9f547d4e470a1e5383c1fff4c0c6125169de19)) * Unencryptedlogs witgen ([#8669](https://github.com/AztecProtocol/aztec-packages/issues/8669)) ([aee4c2d](https://github.com/AztecProtocol/aztec-packages/commit/aee4c2dde7576fad1c47e407ee0dca43dac2b1b4)) * Unify macro result type with actual type (https://github.com/noir-lang/noir/pull/6086) ([b330e87](https://github.com/AztecProtocol/aztec-packages/commit/b330e874dc11235eb9730aca7c936299378c9ce8)) * Update databus in flattening (https://github.com/noir-lang/noir/pull/6063) ([3e0067a](https://github.com/AztecProtocol/aztec-packages/commit/3e0067a11935d4f2ead9579458d3c00c2f27f1ef)) * **world_state:** Fix race conditions in WorldState and IndexedTree ([#8612](https://github.com/AztecProtocol/aztec-packages/issues/8612)) ([6797525](https://github.com/AztecProtocol/aztec-packages/commit/679752542edf1667d58e8839aca05d2b9fcc7da6)) ### Miscellaneous * Add more cases for assert_equal conversion ([#8446](https://github.com/AztecProtocol/aztec-packages/issues/8446)) ([e3ea298](https://github.com/AztecProtocol/aztec-packages/commit/e3ea298fd1f7326199e6e35b3523aadb2b12a925)) * Archiver cleanup ([#8599](https://github.com/AztecProtocol/aztec-packages/issues/8599)) ([184cc88](https://github.com/AztecProtocol/aztec-packages/commit/184cc882b3f1b90d74f149e46100474263a3665d)) * **avm:** Dont compress public bytecode ([#8623](https://github.com/AztecProtocol/aztec-packages/issues/8623)) ([353da3f](https://github.com/AztecProtocol/aztec-packages/commit/353da3f65e34783058d3ec7187dbe876f737b044)) * **avm:** Simplify bb-prover and other AVM tests ([#8627](https://github.com/AztecProtocol/aztec-packages/issues/8627)) ([0d75363](https://github.com/AztecProtocol/aztec-packages/commit/0d7536395f2406a22a76f15d01114730c84edc18)) * **avm:** Smaller skippable test ([#8664](https://github.com/AztecProtocol/aztec-packages/issues/8664)) ([2418977](https://github.com/AztecProtocol/aztec-packages/commit/241897733fe0a5e2ccdf322449debd367f458086)) * **bb readme:** Document how to Honk Noir programs ([#7638](https://github.com/AztecProtocol/aztec-packages/issues/7638)) ([cd46ddd](https://github.com/AztecProtocol/aztec-packages/commit/cd46ddd96539f2db466d1116dabdb838d2a807e7)) * Bye bye Zeromorph in Solidity ([#8678](https://github.com/AztecProtocol/aztec-packages/issues/8678)) ([74182c4](https://github.com/AztecProtocol/aztec-packages/commit/74182c40e152e988ee8590f39c51d00150ef01ca)) * Change ec_add to unsafe implementation (but much better perf) ([#8374](https://github.com/AztecProtocol/aztec-packages/issues/8374)) ([aabd2d8](https://github.com/AztecProtocol/aztec-packages/commit/aabd2d85d4f3f35d67d53421b47214aa8904c505)) * **ci:** Bump noir compile tests ([#8705](https://github.com/AztecProtocol/aztec-packages/issues/8705)) ([4121ef3](https://github.com/AztecProtocol/aztec-packages/commit/4121ef32d28ea8bf08b10f1bf1508daeef77e1a9)) * **ci:** Make boxes only run on master ([#8604](https://github.com/AztecProtocol/aztec-packages/issues/8604)) ([07e6a7e](https://github.com/AztecProtocol/aztec-packages/commit/07e6a7e36626f51f987fff1962903c86df34eb5b)) * **ci:** More lenient recovery ([#8462](https://github.com/AztecProtocol/aztec-packages/issues/8462)) ([5d9a2fe](https://github.com/AztecProtocol/aztec-packages/commit/5d9a2fee16b1229987f66070239196235dc10a83)) * **ci:** Reinstate a bunch of tests in e2e list ([#8737](https://github.com/AztecProtocol/aztec-packages/issues/8737)) ([226f311](https://github.com/AztecProtocol/aztec-packages/commit/226f31103b5e92017732bc1477733cd634dc1e9c)) * **ci:** Remove deleted e2e ([#8600](https://github.com/AztecProtocol/aztec-packages/issues/8600)) ([03127b2](https://github.com/AztecProtocol/aztec-packages/commit/03127b29c9bcad21ff35c14aecf9b2402faa20a5)) * **ci:** Remove e2e-prover-full from default set ([#8697](https://github.com/AztecProtocol/aztec-packages/issues/8697)) ([8dcc3bd](https://github.com/AztecProtocol/aztec-packages/commit/8dcc3bd3a678239b14a01da4d99f7c2e44030875)) * **ci:** Run noir-projects on txe changes ([#8660](https://github.com/AztecProtocol/aztec-packages/issues/8660)) ([22f6084](https://github.com/AztecProtocol/aztec-packages/commit/22f6084d6a5ff5693b72d2e08ac758472bb73e29)) * **ci:** Scriptify local earthfile ([#8709](https://github.com/AztecProtocol/aztec-packages/issues/8709)) ([aacd238](https://github.com/AztecProtocol/aztec-packages/commit/aacd2389d82ce8dfbd0604ecb095c95a400a1150)) * **ci:** Slightly safer default e2e jobs ([#8729](https://github.com/AztecProtocol/aztec-packages/issues/8729)) ([80acfd9](https://github.com/AztecProtocol/aztec-packages/commit/80acfd943ac3cd42b548043824f530018ac07a2d)) * Consolidate aztec node configurations (helm refactor) ([#8731](https://github.com/AztecProtocol/aztec-packages/issues/8731)) ([9d248a2](https://github.com/AztecProtocol/aztec-packages/commit/9d248a24091cfbf1c4d09b49227136883e6118f0)) * Create a Gemini prover ([#8622](https://github.com/AztecProtocol/aztec-packages/issues/8622)) ([94339fb](https://github.com/AztecProtocol/aztec-packages/commit/94339fbfc7c0c822dc1497c113d48f74a89f1bad)) * Delete .gitattributes in aztec-nr ([#8670](https://github.com/AztecProtocol/aztec-packages/issues/8670)) ([bc6d7ee](https://github.com/AztecProtocol/aztec-packages/commit/bc6d7ee9d6bc6f89100e52efd6cb6cc71664d12a)) * Delete duplicated test (https://github.com/noir-lang/noir/pull/6113) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Delete eth-log-hander ([#8598](https://github.com/AztecProtocol/aztec-packages/issues/8598)) ([4064e90](https://github.com/AztecProtocol/aztec-packages/commit/4064e90c7455d1f06590635678f0588706bce328)) * Delete poseidon2 from `bn254_blackbox_solver` ([#8741](https://github.com/AztecProtocol/aztec-packages/issues/8741)) ([02fea6a](https://github.com/AztecProtocol/aztec-packages/commit/02fea6abe8637b9fb8f9535d1709b367d5e1da5c)) * **docs:** Fix migration notes ([#8713](https://github.com/AztecProtocol/aztec-packages/issues/8713)) ([d5fd155](https://github.com/AztecProtocol/aztec-packages/commit/d5fd155ed14e2c9f7e889f519e7be791561a0e71)) * **docs:** Protocol-specs typos ([#8706](https://github.com/AztecProtocol/aztec-packages/issues/8706)) ([48de163](https://github.com/AztecProtocol/aztec-packages/commit/48de163a55bf792acca51a0df745fee44c7decf1)) * **docs:** Removing old versions (https://github.com/noir-lang/noir/pull/6075) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Document array methods (https://github.com/noir-lang/noir/pull/6034) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * Ec addition for non-zero points (https://github.com/noir-lang/noir/pull/5858) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Fix broken formatting on master (https://github.com/noir-lang/noir/pull/6096) ([7fb2a45](https://github.com/AztecProtocol/aztec-packages/commit/7fb2a454531db8cef757b5ec2028d97e823bef5f)) * Fix docs (https://github.com/noir-lang/noir/pull/6035) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * Fixing MacOS build - static_cast from field issue ([#8642](https://github.com/AztecProtocol/aztec-packages/issues/8642)) ([14ff3cf](https://github.com/AztecProtocol/aztec-packages/commit/14ff3cfb4291c288113695a3f2245340587fc8e9)) * Gas premiums for AVM side effects, DA gas in AVM ([#8632](https://github.com/AztecProtocol/aztec-packages/issues/8632)) ([d5f16cc](https://github.com/AztecProtocol/aztec-packages/commit/d5f16cc41bc077f24947fc92af2767630e928ed8)) * Make structs pub ([#8760](https://github.com/AztecProtocol/aztec-packages/issues/8760)) ([7bb2a38](https://github.com/AztecProtocol/aztec-packages/commit/7bb2a382e83bf422f90b3b144ae5c1d4e7adf227)) * Migrate higher-level APIs for barretenberg to bb.js ([#8677](https://github.com/AztecProtocol/aztec-packages/issues/8677)) ([0237a20](https://github.com/AztecProtocol/aztec-packages/commit/0237a20c989f2b37a64ee18b41c1da361363a81f)) * Misc cleanup ([#8748](https://github.com/AztecProtocol/aztec-packages/issues/8748)) ([e92da1f](https://github.com/AztecProtocol/aztec-packages/commit/e92da1f89974f8a51d491a0facc857fe774bf2fb)) * Protogalaxy recursive verifier matches native verifier ([#8568](https://github.com/AztecProtocol/aztec-packages/issues/8568)) ([a4f61b3](https://github.com/AztecProtocol/aztec-packages/commit/a4f61b39c39bf01a1071b52bbf042408f29d5564)) * Re-add blob library to CI ([#8734](https://github.com/AztecProtocol/aztec-packages/issues/8734)) ([4615fcc](https://github.com/AztecProtocol/aztec-packages/commit/4615fcc1c8b66d4ea71e0cd9c840656b152d05eb)) * Reduce redundant event fetching ([#8628](https://github.com/AztecProtocol/aztec-packages/issues/8628)) ([6903291](https://github.com/AztecProtocol/aztec-packages/commit/690329113876129fcdde52daf9f59f3dcad6949d)) * Reinstate skipped tests ([#8743](https://github.com/AztecProtocol/aztec-packages/issues/8743)) ([18e2697](https://github.com/AztecProtocol/aztec-packages/commit/18e2697d8791b4533e042ec04526e32922b608bc)) * Remove bubble_up_constrains (https://github.com/noir-lang/noir/pull/6127) ([4522c4f](https://github.com/AztecProtocol/aztec-packages/commit/4522c4f428b288825013d7c38c5a4cbc5b8c8f58)) * Remove creation of extra toml file in recursion inputs flow ([#8700](https://github.com/AztecProtocol/aztec-packages/issues/8700)) ([014bacc](https://github.com/AztecProtocol/aztec-packages/commit/014bacc0b2f1d56f416a3ab939b8aa5ad90656dd)) * Remove empty file ([#8724](https://github.com/AztecProtocol/aztec-packages/issues/8724)) ([d5b91b8](https://github.com/AztecProtocol/aztec-packages/commit/d5b91b8992c4c087991e824c9b3618476f83f13c)) * Remove key rotation from the key store ([#8645](https://github.com/AztecProtocol/aztec-packages/issues/8645)) ([d8bcb9f](https://github.com/AztecProtocol/aztec-packages/commit/d8bcb9f16537d5ec9c8f7a7f48efa3e6e767fa28)) * Remove multiple public dbs ([#8585](https://github.com/AztecProtocol/aztec-packages/issues/8585)) ([75b7b60](https://github.com/AztecProtocol/aztec-packages/commit/75b7b60456ded2c18f493aaa12306b49cc64ec21)) * Remove PublicContextInputs ([#8770](https://github.com/AztecProtocol/aztec-packages/issues/8770)) ([1507762](https://github.com/AztecProtocol/aztec-packages/commit/150776269b557703552826f90915c85adb639137)) * Remove special sync behaviour of `verify_honk_proof` ([#8676](https://github.com/AztecProtocol/aztec-packages/issues/8676)) ([a9e412b](https://github.com/AztecProtocol/aztec-packages/commit/a9e412bd49a8f0071906102eef07dd3248303443)) * Remove unnecessary `Prover.toml`s (https://github.com/noir-lang/noir/pull/6140) ([0d9f547](https://github.com/AztecProtocol/aztec-packages/commit/0d9f547d4e470a1e5383c1fff4c0c6125169de19)) * Remove unused imports ([#8766](https://github.com/AztecProtocol/aztec-packages/issues/8766)) ([420dd64](https://github.com/AztecProtocol/aztec-packages/commit/420dd642a4860e08b33b61e6bdd28efdc453ee6f)) * Remove unused TypeVariableKind::Constant (https://github.com/noir-lang/noir/pull/6053) ([3e0067a](https://github.com/AztecProtocol/aztec-packages/commit/3e0067a11935d4f2ead9579458d3c00c2f27f1ef)) * Removing implicit numeric generics (https://github.com/noir-lang/noir/pull/5837) ([3e0067a](https://github.com/AztecProtocol/aztec-packages/commit/3e0067a11935d4f2ead9579458d3c00c2f27f1ef)) * Rename CustomAtrribute to CustomAttribute (https://github.com/noir-lang/noir/pull/6038) ([7ea4709](https://github.com/AztecProtocol/aztec-packages/commit/7ea4709743aaaf2768d35d92cad3fbd4a8404fb0)) * Replace relative paths to noir-protocol-circuits ([00b1e61](https://github.com/AztecProtocol/aztec-packages/commit/00b1e61e4bda15aa456675f09129cd502438f823)) * Replace relative paths to noir-protocol-circuits ([d031f8f](https://github.com/AztecProtocol/aztec-packages/commit/d031f8fec1197b7abda8cfed07ed0797bee891d7)) * Replace relative paths to noir-protocol-circuits ([0f5dd09](https://github.com/AztecProtocol/aztec-packages/commit/0f5dd09b80cb5c6b5e7332520a0451863bc0e28a)) * Replace relative paths to noir-protocol-circuits ([755f484](https://github.com/AztecProtocol/aztec-packages/commit/755f48433df9f940ef472fc923be39576d3a8cfe)) * Replace relative paths to noir-protocol-circuits ([3d4e79a](https://github.com/AztecProtocol/aztec-packages/commit/3d4e79a3cad83b09f55d9ab503ab6b789892a66e)) * Replace relative paths to noir-protocol-circuits ([1bd828f](https://github.com/AztecProtocol/aztec-packages/commit/1bd828f57fea834d8a04e9261c92b2378c5c0fd5)) * Schnorr signature verification in Noir (https://github.com/noir-lang/noir/pull/5437) ([03b9e71](https://github.com/AztecProtocol/aztec-packages/commit/03b9e71e5ebb3d46827671b2197697b5d294d04e)) * Skip p2p integration ([#8779](https://github.com/AztecProtocol/aztec-packages/issues/8779)) ([48de45d](https://github.com/AztecProtocol/aztec-packages/commit/48de45de03b840e8c663f65af2ea866353eabb9b)) * Skip some tests in CI ([#8738](https://github.com/AztecProtocol/aztec-packages/issues/8738)) ([251db7b](https://github.com/AztecProtocol/aztec-packages/commit/251db7be2d7541852de314a13a85205b4b3a0418)) * Split `noirc_frontend/src/tests.rs` into submodules (https://github.com/noir-lang/noir/pull/6139) ([0d9f547](https://github.com/AztecProtocol/aztec-packages/commit/0d9f547d4e470a1e5383c1fff4c0c6125169de19)) * Use config object to make phase manager less noisy ([#8586](https://github.com/AztecProtocol/aztec-packages/issues/8586)) ([5a5f2b2](https://github.com/AztecProtocol/aztec-packages/commit/5a5f2b25c00aadd3fa014a81f21b5d01e83e360d)) * Use panic instead of assert ([#8703](https://github.com/AztecProtocol/aztec-packages/issues/8703)) ([c96d923](https://github.com/AztecProtocol/aztec-packages/commit/c96d923cd94503fc4c408fde3366c55778e37e82)) * Use random ports in p2p_client tests ([#8624](https://github.com/AztecProtocol/aztec-packages/issues/8624)) ([650a241](https://github.com/AztecProtocol/aztec-packages/commit/650a241faee7d2c9be5d0ea071b26b275fb09b39)) </details> <details><summary>barretenberg: 0.56.0</summary> ## [0.56.0](https://github.com/AztecProtocol/aztec-packages/compare/barretenberg-v0.55.1...barretenberg-v0.56.0) (2024-09-25) ### ⚠ BREAKING CHANGES * change ec_add to unsafe implementation (but much better perf) ([#8374](https://github.com/AztecProtocol/aztec-packages/issues/8374)) * **avm:** GETENVVAR + ISSTATICCALL ([#8692](https://github.com/AztecProtocol/aztec-packages/issues/8692)) * remove sha256 opcode ([#4571](https://github.com/AztecProtocol/aztec-packages/issues/4571)) * add support for u1 in the avm, ToRadix's radix arg is a memory addr ([#8570](https://github.com/AztecProtocol/aztec-packages/issues/8570)) * **avm:** remove tag in NOT ([#8606](https://github.com/AztecProtocol/aztec-packages/issues/8606)) ### Features * (LSP) suggest $vars inside `quote { ... }` (https://github.com/noir-lang/noir/pull/6114) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Add initial integration of databus ([#8710](https://github.com/AztecProtocol/aztec-packages/issues/8710)) ([779e104](https://github.com/AztecProtocol/aztec-packages/commit/779e10499cfe668506ba8a199342cf86fae258a7)) * Add support for u1 in the avm, ToRadix's radix arg is a memory addr ([#8570](https://github.com/AztecProtocol/aztec-packages/issues/8570)) ([1785737](https://github.com/AztecProtocol/aztec-packages/commit/178573738731e2e74e4119a035f913da39675d85)) * Aggregate honk and avm recursion constraints together ([#8696](https://github.com/AztecProtocol/aztec-packages/issues/8696)) ([3fa9e83](https://github.com/AztecProtocol/aztec-packages/commit/3fa9e83c0fac460f586572fe2866823fe7f740d2)) * **avm:** Avm recursive TS/Noir integration ([#8531](https://github.com/AztecProtocol/aztec-packages/issues/8531)) ([dd09f05](https://github.com/AztecProtocol/aztec-packages/commit/dd09f057e97ac1bba7b3fbf29b50737ebe5ca76f)), closes [#7791](https://github.com/AztecProtocol/aztec-packages/issues/7791) * **avm:** Avm recursive TS/Noir integration ([#8611](https://github.com/AztecProtocol/aztec-packages/issues/8611)) ([e417231](https://github.com/AztecProtocol/aztec-packages/commit/e4172318af81ac2ac8535c89d3e5afc72d33ba29)) * **avm:** Bounded mle implementation ([#8668](https://github.com/AztecProtocol/aztec-packages/issues/8668)) ([aa85f2a](https://github.com/AztecProtocol/aztec-packages/commit/aa85f2a781223f067291b5702f2e47baced865fd)), closes [#8651](https://github.com/AztecProtocol/aztec-packages/issues/8651) * **avm:** GETENVVAR + ISSTATICCALL ([#8692](https://github.com/AztecProtocol/aztec-packages/issues/8692)) ([02cff0b](https://github.com/AztecProtocol/aztec-packages/commit/02cff0b525d9d6b1c854219f06713a8b94a8e9f5)) * **avm:** Opcode STATICCALL - stubbed ([#8601](https://github.com/AztecProtocol/aztec-packages/issues/8601)) ([facff7f](https://github.com/AztecProtocol/aztec-packages/commit/facff7fd0b6ea57e91f7d3e3863435655d8b48ea)), closes [#8596](https://github.com/AztecProtocol/aztec-packages/issues/8596) * **avm:** Remove tag in NOT ([#8606](https://github.com/AztecProtocol/aztec-packages/issues/8606)) ([d5695fc](https://github.com/AztecProtocol/aztec-packages/commit/d5695fcde93cbfda3e45bfa03988a9e72f2dcb59)) * **avm:** Set avm circuit subgroup size ([#8537](https://github.com/AztecProtocol/aztec-packages/issues/8537)) ([3b78058](https://github.com/AztecProtocol/aztec-packages/commit/3b78058288edbbe18a2eb8c81de5576c8a9478ab)) * Benchmark compute_row_evaluations and update analysis script ([#8673](https://github.com/AztecProtocol/aztec-packages/issues/8673)) ([c738c47](https://github.com/AztecProtocol/aztec-packages/commit/c738c47bd13875ba1649d808e7abd2908fa29e07)) * Constant sized PG proofs and const sized PG rec verifier ([#8605](https://github.com/AztecProtocol/aztec-packages/issues/8605)) ([09e2f44](https://github.com/AztecProtocol/aztec-packages/commit/09e2f447b003ed4c77b12069893785851a2c6258)) * LSP autocompletion for `TypePath` (https://github.com/noir-lang/noir/pull/6117) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Make UltraKeccak work with Shplemini at bb-level ([#8646](https://github.com/AztecProtocol/aztec-packages/issues/8646)) ([82b60eb](https://github.com/AztecProtocol/aztec-packages/commit/82b60ebbdb18400363248b80986c993df1b7e4af)) * More robust recursion input generator ([#8634](https://github.com/AztecProtocol/aztec-packages/issues/8634)) ([020d4fd](https://github.com/AztecProtocol/aztec-packages/commit/020d4fd0cf4137e21f55b1c41e9e381a27191d84)) * **perf:** Allow array set last uses optimization in return block of Brillig functions (https://github.com/noir-lang/noir/pull/6119) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Pretty print Quoted token stream (https://github.com/noir-lang/noir/pull/6111) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Public kernel handles enqueued calls ([#8523](https://github.com/AztecProtocol/aztec-packages/issues/8523)) ([6303b4a](https://github.com/AztecProtocol/aztec-packages/commit/6303b4afbc39715e92d5ca7ae5100c60f6398686)) * Reduce max memory in translator by freeing accumulator and eccvm ([#8253](https://github.com/AztecProtocol/aztec-packages/issues/8253)) ([7247ddb](https://github.com/AztecProtocol/aztec-packages/commit/7247ddba274e691a7c5220848caf1fa9d6aa911e)) * Remove sha256 opcode ([#4571](https://github.com/AztecProtocol/aztec-packages/issues/4571)) ([4b4a0bf](https://github.com/AztecProtocol/aztec-packages/commit/4b4a0bf17050893f913b3db10bc70a584b7aaa5e)) * Represent assertions more similarly to function calls (https://github.com/noir-lang/noir/pull/6103) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Use new IVC scheme ([#8480](https://github.com/AztecProtocol/aztec-packages/issues/8480)) ([1c7b06d](https://github.com/AztecProtocol/aztec-packages/commit/1c7b06d6621d9873f84147b2b7f1f22bf21bbacb)) ### Bug Fixes * **avm:** Fix tests under proving ([#8640](https://github.com/AztecProtocol/aztec-packages/issues/8640)) ([8bfc769](https://github.com/AztecProtocol/aztec-packages/commit/8bfc769d7cbd6f88bfa7926c051a329ee0fd3468)) * Boomerang variable in sha256 hash function ([#8581](https://github.com/AztecProtocol/aztec-packages/issues/8581)) ([f2a1330](https://github.com/AztecProtocol/aztec-packages/commit/f2a13309f544bbd83b593e6a6207d49d9ef48b74)) * Decode databus return values (https://github.com/noir-lang/noir/pull/6095) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Disambiguate field or int static trait method call (https://github.com/noir-lang/noir/pull/6112) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * **mem2reg:** Remove possibility of underflow (https://github.com/noir-lang/noir/pull/6107) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * New commit_sparse bug and new tests ([#8649](https://github.com/AztecProtocol/aztec-packages/issues/8649)) ([5818018](https://github.com/AztecProtocol/aztec-packages/commit/581801863529cd2b437cb51b041ada17a96949e0)) * **revert:** "chore!: change ec_add to unsafe implementation (but much better perf)" ([#8722](https://github.com/AztecProtocol/aztec-packages/issues/8722)) ([9a1b5b5](https://github.com/AztecProtocol/aztec-packages/commit/9a1b5b5fdd3194f4e7833aacbca4f48aadafbd74)) * Unencryptedlogs witgen ([#8669](https://github.com/AztecProtocol/aztec-packages/issues/8669)) ([aee4c2d](https://github.com/AztecProtocol/aztec-packages/commit/aee4c2dde7576fad1c47e407ee0dca43dac2b1b4)) * **world_state:** Fix race conditions in WorldState and IndexedTree ([#8612](https://github.com/AztecProtocol/aztec-packages/issues/8612)) ([6797525](https://github.com/AztecProtocol/aztec-packages/commit/679752542edf1667d58e8839aca05d2b9fcc7da6)) ### Miscellaneous * Add more cases for assert_equal conversion ([#8446](https://github.com/AztecProtocol/aztec-packages/issues/8446)) ([e3ea298](https://github.com/AztecProtocol/aztec-packages/commit/e3ea298fd1f7326199e6e35b3523aadb2b12a925)) * **avm:** Simplify bb-prover and other AVM tests ([#8627](https://github.com/AztecProtocol/aztec-packages/issues/8627)) ([0d75363](https://github.com/AztecProtocol/aztec-packages/commit/0d7536395f2406a22a76f15d01114730c84edc18)) * **avm:** Smaller skippable test ([#8664](https://github.com/AztecProtocol/aztec-packages/issues/8664)) ([2418977](https://github.com/AztecProtocol/aztec-packages/commit/241897733fe0a5e2ccdf322449debd367f458086)) * **bb readme:** Document how to Honk Noir programs ([#7638](https://github.com/AztecProtocol/aztec-packages/issues/7638)) ([cd46ddd](https://github.com/AztecProtocol/aztec-packages/commit/cd46ddd96539f2db466d1116dabdb838d2a807e7)) * Bye bye Zeromorph in Solidity ([#8678](https://github.com/AztecProtocol/aztec-packages/issues/8678)) ([74182c4](https://github.com/AztecProtocol/aztec-packages/commit/74182c40e152e988ee8590f39c51d00150ef01ca)) * Change ec_add to unsafe implementation (but much better perf) ([#8374](https://github.com/AztecProtocol/aztec-packages/issues/8374)) ([aabd2d8](https://github.com/AztecProtocol/aztec-packages/commit/aabd2d85d4f3f35d67d53421b47214aa8904c505)) * Create a Gemini prover ([#8622](https://github.com/AztecProtocol/aztec-packages/issues/8622)) ([94339fb](https://github.com/AztecProtocol/aztec-packages/commit/94339fbfc7c0c822dc1497c113d48f74a89f1bad)) * Delete duplicated test (https://github.com/noir-lang/noir/pull/6113) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * **docs:** Removing old versions (https://github.com/noir-lang/noir/pull/6075) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Ec addition for non-zero points (https://github.com/noir-lang/noir/pull/5858) ([7a87314](https://github.com/AztecProtocol/aztec-packages/commit/7a873147444ef03bc1df88e0fdca3cf6fc124725)) * Fixing MacOS build - static_cast from field issue ([#8642](https://github.com/AztecProtocol/aztec-packages/issues/8642)) ([14ff3cf](https://github.com/AztecProtocol/aztec-packages/commit/14ff3cfb4291c288113695a3f2245340587fc8e9)) * Gas premiums for AVM side effects, DA gas in AVM ([#8632](https://github.com/AztecProtocol/aztec-packages/issues/8632)) ([d5f16cc](https://github.com/AztecProtocol/aztec-packages/commit/d5f16cc41bc077f24947fc92af2767630e928ed8)) * Migrate higher-level APIs for barretenberg to bb.js ([#8677](https://github.com/AztecProtocol/aztec-packages/issues/8677)) ([0237a20](https://github.com/AztecProtocol/aztec-packages/commit/0237a20c989f2b37a64ee18b41c1da361363a81f)) * Protogalaxy recursive verifier matches native verifier ([#8568](https://github.com/AztecProtocol/aztec-packages/issues/8568)) ([a4f61b3](https://github.com/AztecProtocol/aztec-packages/commit/a4f61b39c39bf01a1071b52bbf042408f29d5564)) * Reinstate skipped tests ([#8743](https://github.com/AztecProtocol/aztec-packages/issues/8743)) ([18e2697](https://github.com/AztecProtocol/aztec-packages/commit/18e2697d8791b4533e042ec04526e32922b608bc)) * Remove creation of extra toml file in recursion inputs flow ([#8700](https://github.com/AztecProtocol/aztec-packages/issues/8700)) ([014bacc](https://github.com/AztecProtocol/aztec-packages/commit/014bacc0b2f1d56f416a3ab939b8aa5ad90656dd)) * Skip some tests in CI ([#8738](https://github.com/AztecProtocol/aztec-packages/issues/8738)) ([251db7b](https://github.com/AztecProtocol/aztec-packages/commit/251db7be2d7541852de314a13a85205b4b3a0418)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

LeilaWang added 2 commits September 12, 2024 18:53

Public kernel processes enqueued calls.

e6cf629

Merge remote-tracking branch 'origin/master' into lw/one_enqueued_call

7d90cf5

LeilaWang added the e2e-all CI: Enables this CI job. label Sep 14, 2024

LeilaWang added 2 commits September 14, 2024 11:04

Unconstrain output generation, constrain output verification.

3bb2db1

Merge remote-tracking branch 'origin/master' into lw/one_enqueued_call

2192ed5

LeilaWang added the bench-all CI: Enables this CI job. label Sep 14, 2024

LeilaWang marked this pull request as ready for review September 14, 2024 16:33

LeilaWang requested review from fcarreiro, dbanks12, jeanmon and IlyasRidhuan as code owners September 14, 2024 16:33

LeilaWang changed the title ~~feat: public kernel handles enqueued calls~~ feat: public kernel handles enqueued calls [WIP] Sep 14, 2024

LeilaWang added 7 commits September 14, 2024 18:57

Fix after merge.

8818fc3

Fix type.

7c928eb

Fix.

91ae319

Constrain counters.

1a8768d

Fixes.

92298db

Merge remote-tracking branch 'origin/master' into lw/one_enqueued_call

b0ad010

Fix.

735ff18

LeilaWang added 9 commits September 18, 2024 17:59

Fix.

51c3dab

Merge remote-tracking branch 'origin/master' into lw/one_enqueued_call

e2636b1

Fix.

4100692

Merge remote-tracking branch 'origin/master' into lw/one_enqueued_call

87f14d2

Fix.

f321e13

Merge remote-tracking branch 'origin/master' into lw/one_enqueued_call

1815724

Add previous lengths.

9ad7a02

Merge remote-tracking branch 'origin/master' into lw/one_enqueued_call

59687d0

Merge remote-tracking branch 'origin/master' into lw/one_enqueued_call

4ce6481

LeilaWang changed the title ~~feat: public kernel handles enqueued calls [WIP]~~ feat: public kernel handles enqueued calls Sep 20, 2024

dbanks12 approved these changes Sep 24, 2024

View reviewed changes

dbanks12 reviewed Sep 24, 2024

View reviewed changes

noir-projects/noir-protocol-circuits/crates/types/src/abis/public_inner_call_request.nr Show resolved Hide resolved

dbanks12 reviewed Sep 24, 2024

View reviewed changes

...noir-protocol-circuits/crates/public-kernel-lib/src/components/vm_circuit_output_composer.nr Show resolved Hide resolved

dbanks12 reviewed Sep 24, 2024

View reviewed changes

noir-projects/noir-protocol-circuits/crates/public-kernel-lib/src/public_kernel_inner.nr Show resolved Hide resolved

LeilaWang added 6 commits September 24, 2024 11:05

Merge remote-tracking branch 'origin/master' into lw/one_enqueued_call

e7586a8

Merge remote-tracking branch 'origin/master' into lw/one_enqueued_call

b17a517

fmt

b2e65e4

Merge remote-tracking branch 'origin/master' into lw/one_enqueued_call

e0e2f8c

Merge remote-tracking branch 'origin/master' into lw/one_enqueued_call

f4ae6ac

Merge remote-tracking branch 'origin/master' into lw/one_enqueued_call

38bf02e

LeilaWang removed the e2e-all CI: Enables this CI job. label Sep 24, 2024

Merge remote-tracking branch 'origin/master' into lw/one_enqueued_call

fc47c50

LeilaWang merged commit 6303b4a into master Sep 24, 2024
52 checks passed

LeilaWang deleted the lw/one_enqueued_call branch September 24, 2024 15:33

AztecBot mentioned this pull request Sep 24, 2024

chore(master): Release 0.56.0 #8597

Merged

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: public kernel handles enqueued calls #8523

feat: public kernel handles enqueued calls #8523

LeilaWang commented Sep 12, 2024 •

edited

Loading

github-actions bot commented Sep 14, 2024 •

edited

Loading

AztecBot commented Sep 17, 2024 •

edited

Loading

Proof generation

L2 block published to L1

L2 chain processing

Circuits stats

AVM Simulation

Public DB Access

Tree insertion stats

Miscellaneous

dbanks12 left a comment

dbanks12 Sep 24, 2024

dbanks12 Sep 24, 2024

LeilaWang Sep 24, 2024

feat: public kernel handles enqueued calls #8523

feat: public kernel handles enqueued calls #8523

Conversation

LeilaWang commented Sep 12, 2024 • edited Loading

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

Changes to circuit sizes

🧾 Summary (100% most significant diffs)

AztecBot commented Sep 17, 2024 • edited Loading

Benchmark results

Proof generation

L2 block published to L1

L2 chain processing

Circuits stats

AVM Simulation

Public DB Access

Tree insertion stats

Miscellaneous

dbanks12 left a comment

Choose a reason for hiding this comment

dbanks12 Sep 24, 2024

Choose a reason for hiding this comment

dbanks12 Sep 24, 2024

Choose a reason for hiding this comment

LeilaWang Sep 24, 2024

Choose a reason for hiding this comment

LeilaWang commented Sep 12, 2024 •

edited

Loading

github-actions bot commented Sep 14, 2024 •

edited

Loading

AztecBot commented Sep 17, 2024 •

edited

Loading