Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: Track L1 block for last L2 block body retrieved #7927

Merged
merged 2 commits into from
Aug 13, 2024

Conversation

spalladino
Copy link
Collaborator

The archiver was keeping a single L1 pointer for L2 blocks, shared by block metadata and block bodies, using the min of the two. However, if a block metadata had no corresponding block body, then the L1 pointer would not be advanced, leading to the same block metadata to being downloaded again, which triggered an error of expected L2 block mismatch.

Having no corresponding block body happens when the tx effects hash is not submitted by the sequencer, which happens when it is detected to have been uploaded already, which happens when the tx effects hash is repeated across two blocks, which happens when two blocks are empty (ie have only padding txs).

By adding separate tracking pointers, we ensure that we don't accidentally process the same block header twice from the archiver. This PR also adds a try/catch to the archiver loop so it doesn't bring down the entire node if it runs into an error.

Fixes #7918

@spalladino spalladino enabled auto-merge (squash) August 12, 2024 21:27
@spalladino spalladino force-pushed the palla/track-last-l1-for-block-bodies branch from 2a59e5d to 5a178bd Compare August 12, 2024 22:16
@AztecBot
Copy link
Collaborator

AztecBot commented Aug 12, 2024

Benchmark results

Metrics with a significant change:

  • proof_construction_time_sha256_100_ms (16): 5,672 (-23%)
  • proof_construction_time_sha256_30_ms (16): 1,408 (-26%)
  • protocol_circuit_simulation_time_in_ms (private-kernel-reset-tiny): 499 (+150%)
  • protocol_circuit_simulation_time_in_ms (private-kernel-tail): 270 (-61%)
  • protocol_circuit_simulation_time_in_ms (private-kernel-tail-to-public): 833 (-73%)
  • protocol_circuit_input_size_in_bytes (private-kernel-tail-to-public): 507,554 (-46%)
  • protocol_circuit_witness_generation_time_in_ms (private-kernel-init): 399 (-18%)
  • protocol_circuit_witness_generation_time_in_ms (private-kernel-inner): 701 (-18%)
  • protocol_circuit_witness_generation_time_in_ms (private-kernel-tail-to-public): 708 (-61%)
  • protocol_circuit_witness_generation_time_in_ms (private-kernel-tail): 197 (-76%)
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,805 1,564 695 (-2%) 776 (+2%) 768 (-2%)
proof_construction_time_sha256_30_ms 11,814 (-4%) 3,184 (-6%) ⚠️ 1,408 (-26%) 1,433 (-12%) 1,471 (-7%)
proof_construction_time_sha256_100_ms 44,309 (-1%) 12,448 (-4%) ⚠️ 5,672 (-23%) 5,580 (-11%) 5,496 (-9%)
proof_construction_time_poseidon_hash_ms 79.0 34.0 34.0 (-3%) 59.0 88.0
proof_construction_time_poseidon_hash_30_ms 1,537 420 200 (-1%) 232 (+5%) 270
proof_construction_time_poseidon_hash_100_ms 5,705 1,537 (-1%) 676 (-2%) 742 (+1%) 746

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,624 92,484 177,500
l1_rollup_execution_gas 1,294,287 2,042,115 3,869,170
l2_block_processing_time_in_ms 251 (+1%) 458 (+3%) 855 (+3%)
l2_block_building_time_in_ms 9,702 (+1%) 18,858 (-1%) 37,614
l2_block_rollup_simulation_time_in_ms 9,702 (+1%) 18,858 (-1%) 37,614
l2_block_public_tx_process_time_in_ms 8,085 (+1%) 16,993 (-1%) 35,693

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,979 (+1%) 3,981 (+2%)
node_database_size_in_bytes 12,681,296 16,760,912 (-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 proof_size_in_bytes num_public_inputs size_in_gates
private-kernel-init 101 (-3%) ⚠️ 399 (-18%) 21,846 44,858 N/A N/A N/A N/A
private-kernel-inner 168 (-2%) ⚠️ 701 (-18%) 72,545 45,005 N/A N/A N/A N/A
private-kernel-reset-tiny ⚠️ 499 (+150%) 1,188 (+15%) 69,614 (+1%) 44,844 N/A N/A N/A N/A
private-kernel-tail ⚠️ 270 (-61%) ⚠️ 197 (-76%) 50,760 (-4%) 52,256 N/A N/A N/A N/A
base-parity 6.11 (+1%) 623 (-1%) 160 96.0 1,123 (-1%) 13,188 19.0 65,536
root-parity 108 129 (+4%) 69,084 96.0 30,432 13,188 19.0 4,194,304
base-rollup 2,985 (-1%) 5,340 (-7%) 187,824 664 97,101 (+3%) 14,020 45.0 16,777,216
root-rollup 96.1 119 (+3%) 54,525 716 27,714 (-4%) 13,988 44.0 4,194,304
public-kernel-setup 90.1 (-3%) 2,840 (+2%) 103,782 71,222 17,331 129,220 3,645 2,097,152
public-kernel-app-logic 106 (-1%) 4,151 103,598 71,222 10,030 (+1%) 129,220 3,645 1,048,576
public-kernel-tail 569 (-1%) 26,714 (-13%) 409,190 16,414 102,351 34,308 679 16,777,216
private-kernel-reset-small 487 N/A 66,533 45,629 N/A N/A N/A N/A
private-kernel-tail-to-public ⚠️ 833 (-73%) ⚠️ 708 (-61%) ⚠️ 507,554 (-46%) 1,697 N/A N/A N/A N/A
public-kernel-teardown 86.1 (-2%) 4,189 (+1%) 104,005 71,222 18,065 (-5%) 129,220 3,645 2,097,152
merge-rollup 60.5 (+1%) N/A 35,742 664 N/A N/A N/A N/A
undefined N/A N/A N/A N/A 67,243 (-1%) N/A N/A N/A

Stats on running time collected for app circuits

Function input_size_in_bytes output_size_in_bytes witness_generation_time_in_ms proof_size_in_bytes proving_time_in_ms
ContractClassRegisterer:register 1,344 11,731 341 (-2%) N/A N/A
ContractInstanceDeployer:deploy 1,408 11,731 17.9 (-2%) N/A N/A
MultiCallEntrypoint:entrypoint 1,920 11,731 476 (-1%) N/A N/A
FeeJuice:deploy 1,376 11,731 394 (+2%) N/A N/A
SchnorrAccount:constructor 1,312 11,731 176 (-1%) N/A N/A
SchnorrAccount:entrypoint 2,304 11,731 530 (-1%) N/A N/A
Token:privately_mint_private_note 1,280 11,731 222 (-8%) N/A N/A
FPC:fee_entrypoint_public 1,344 11,731 24.0 (+1%) N/A N/A
Token:transfer 1,312 11,731 404 (-2%) N/A N/A
AuthRegistry:set_authorized (avm) 18,491 N/A N/A 146,400 2,101 (-2%)
FPC:prepare_fee (avm) 22,958 N/A N/A 146,464 2,467
Token:transfer_public (avm) 61,614 N/A N/A 146,464 10,715 (+2%)
AuthRegistry:consume (avm) 41,719 N/A N/A 146,432 4,991 (+1%)
FPC:pay_refund (avm) 26,227 N/A N/A 146,432 4,872 (-1%)
Benchmarking:create_note 1,344 11,731 170 (-1%) N/A N/A
SchnorrAccount:verify_private_authwit 1,280 11,731 27.3 (-1%) N/A N/A
Token:unshield 1,376 11,731 626 (-1%) N/A N/A
FPC:fee_entrypoint_private 1,376 11,731 825 N/A N/A

AVM Simulation

Time to simulate various public functions in the AVM.

Function time_ms bytecode_size_in_bytes
FeeJuice:_increase_public_balance 97.0 (+3%) 8,139
FeeJuice:set_portal 11.1 (+4%) 2,362
Token:constructor 131 (+9%) 31,107
FPC:constructor 94.9 (+1%) 22,380
FeeJuice:mint_public 78.7 (+2%) 6,150
Token:mint_public 82.4 11,720
Token:assert_minter_and_mint 89.9 8,028
AuthRegistry:set_authorized 7.75 (+1%) 4,537
FPC:prepare_fee 274 (+1%) 8,812
Token:transfer_public 44.2 (-1%) 47,374
FPC:pay_refund 61.4 (-6%) 12,114
Benchmarking:increment_balance 1,024 (-1%) 7,450
Token:_increase_public_balance 10.8 (-13%) 8,960
FPC:pay_refund_with_shielded_rebate 138 (+1%) 12,663

Public DB Access

Time to access various public DBs.

Function time_ms
get-nullifier-index 0.167 (-2%)

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 (+1%) 3.96 (+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 0.111 (+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.5 18.7 (+5%) 31.0 60.2 (-2%) 121 (+4%)
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.110 0.108 (+5%) 0.100 0.103 (-2%) 0.107 (+3%)
batch_insert_into_indexed_tree_20_depth_ms N/A N/A 14.3 (-1%) 26.7 (+4%) 44.0 85.5 (+2%) 166 (+1%)
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.108 0.108 (+4%) 0.106 (+5%) 0.105 (+2%) 0.104 (+1%)
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.107 (+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 64,756 668,997

Transaction size based on fee payment method

| Metric | |
| - | |

Copy link
Contributor

@LHerskind LHerskind left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me, the tests have not run and I don't seem to be able to restart them for you.

@spalladino spalladino force-pushed the palla/track-last-l1-for-block-bodies branch from 5a178bd to a8a9c78 Compare August 13, 2024 11:57
The archiver was keeping a single L1 pointer for L2 blocks, shared by
block metadata and block bodies, using the min of the two. However, if a
block metadata had no corresponding block body, then the L1 pointer
would not be advanced, leading to the same block metadata to being
downloaded again, which triggered an error of expected L2 block
mismatch.

Having no corresponding block body happens when the tx effects hash is
not submitted by the sequencer, which happens when it is detected to
have been uploaded already, which happens when the tx effects hash is
repeated across two blocks, which happens when two blocks are empty (ie
have only padding txs).

By adding separate tracking pointers, we ensure that we don't
accidentally process the same block header twice from the archiver. This
PR also adds a try/catch to the archiver loop so it doesn't bring down
the entire node if it runs into an error.
@spalladino spalladino force-pushed the palla/track-last-l1-for-block-bodies branch from a8a9c78 to 8b7828e Compare August 13, 2024 12:31
Copy link
Contributor

Changes to circuit sizes

Generated at commit: 094dd8f8373c49cd24d03fc57fe91ecfd97dd816, compared to commit: 5e25cd688b7a2ce23d693c26ec9d2c1bd7fcb764

🧾 Summary (100% most significant diffs)

Program ACIR opcodes (+/-) % Circuit size (+/-) %
private_kernel_reset_tiny +3,712 ❌ +6.43% +7,366 ❌ +7.50%
private_kernel_reset_small +4,031 ❌ +6.59% +9,027 ❌ +7.27%
private_kernel_reset_medium +4,669 ❌ +6.87% +12,349 ❌ +7.01%
private_kernel_reset_big +5,941 ❌ +7.28% +18,990 ❌ +6.77%
private_kernel_reset +8,112 ❌ +7.45% +31,234 ❌ +6.38%
private_kernel_tail_to_public -35,857 ✅ -48.84% -62,520 ✅ -52.26%
private_kernel_tail -9,756 ✅ -66.52% -33,890 ✅ -73.45%

Full diff report 👇
Program ACIR opcodes (+/-) % Circuit size (+/-) %
private_kernel_reset_tiny 61,458 (+3,712) +6.43% 105,552 (+7,366) +7.50%
private_kernel_reset_small 65,189 (+4,031) +6.59% 133,171 (+9,027) +7.27%
private_kernel_reset_medium 72,654 (+4,669) +6.87% 188,588 (+12,349) +7.01%
private_kernel_reset_big 87,579 (+5,941) +7.28% 299,626 (+18,990) +6.77%
private_kernel_reset 117,054 (+8,112) +7.45% 520,662 (+31,234) +6.38%
private_kernel_tail_to_public 37,562 (-35,857) -48.84% 57,120 (-62,520) -52.26%
private_kernel_tail 4,910 (-9,756) -66.52% 12,253 (-33,890) -73.45%

@spalladino spalladino merged commit cd36be4 into master Aug 13, 2024
95 checks passed
@spalladino spalladino deleted the palla/track-last-l1-for-block-bodies branch August 13, 2024 13:23
rahul-kothari pushed a commit that referenced this pull request Aug 15, 2024
🤖 I have created a release *beep* *boop*
---


<details><summary>aztec-package: 0.49.0</summary>

##
[0.49.0](aztec-package-v0.48.0...aztec-package-v0.49.0)
(2024-08-15)


### ⚠ BREAKING CHANGES

* Sequencer no longer proves
([#7860](#7860))

### Miscellaneous

* Enable execute command on aws ecs services
([#7975](#7975))
([4331bc6](4331bc6))
* Sequencer no longer proves
([#7860](#7860))
([7168290](7168290))
* Terraform template for prover-node
([#7846](#7846))
([546f946](546f946))
</details>

<details><summary>barretenberg.js: 0.49.0</summary>

##
[0.49.0](barretenberg.js-v0.48.0...barretenberg.js-v0.49.0)
(2024-08-15)


### Miscellaneous

* Pin yarn versions in noir-projects and bb/ts
([#7988](#7988))
([83f33a1](83f33a1))
</details>

<details><summary>aztec-packages: 0.49.0</summary>

##
[0.49.0](aztec-packages-v0.48.0...aztec-packages-v0.49.0)
(2024-08-15)


### ⚠ BREAKING CHANGES

* alternative key registry contract
([#7523](#7523))
* Sequencer no longer proves
([#7860](#7860))

### Features

* Add `FunctionDefinition::parameters`,
`FunctionDefinition::return_type` and `impl Eq for Quoted`
(noir-lang/noir#5681)
([b1c7374](b1c7374))
* Add `Quoted::as_expr` and `Expr::as_function_call`
(noir-lang/noir#5708)
([91042c7](91042c7))
* Add `Type::as_struct` (noir-lang/noir#5680)
([b1c7374](b1c7374))
* Add `Type::get_trait_impl`
(noir-lang/noir#5716)
([ccbef55](ccbef55))
* Add `Type::implements` (noir-lang/noir#5701)
([91042c7](91042c7))
* Add `Type::is_field` and `Type::as_integer`
(noir-lang/noir#5670)
([b1c7374](b1c7374))
* Add `Type` methods: `as_tuple`, `as_slice`, `as_array`, `as_constant`,
`is_bool` (noir-lang/noir#5678)
([b1c7374](b1c7374))
* Add a limited form of arithmetic on generics
(noir-lang/noir#5625)
([b1c7374](b1c7374))
* Add array_to_str_lossy (noir-lang/noir#5613)
([b1c7374](b1c7374))
* Add generate-secret-and-hash to cli
([#7977](#7977))
([cdf62a0](cdf62a0))
* Add mutating FunctionDefinition functions
(noir-lang/noir#5685)
([b1c7374](b1c7374))
* Add proven flag to sent tx wait opts
([#7950](#7950))
([e80e7d2](e80e7d2))
* Add some `Module` comptime functions
(noir-lang/noir#5684)
([b1c7374](b1c7374))
* Alternative key registry contract
([#7523](#7523))
([3e6a20f](3e6a20f))
* **avm:** More no fake rows + virtual dyn gas (part 1)
([#7942](#7942))
([9e8ba96](9e8ba96))
* Derive `Ord` and `Hash` in the stdlib; add `std::meta::make_impl`
helper (noir-lang/noir#5683)
([b1c7374](b1c7374))
* Destroy_note_unsafe
([#7891](#7891))
([5cda7ba](5cda7ba))
* **docs:** Nits
([#7838](#7838))
([a76c999](a76c999))
* Enable UltraHonk verifier
([#7923](#7923))
([5e8b4a8](5e8b4a8)),
closes
[#7373](#7373)
* Implement closures in the comptime interpreter
(noir-lang/noir#5682)
([b1c7374](b1c7374))
* IVC integration tests using new accumulate model
([#7946](#7946))
([c527ae9](c527ae9))
* LSP autocompletion for use statement
(noir-lang/noir#5704)
([91042c7](91042c7))
* LSP closing brace hints (noir-lang/noir#5686)
([b1c7374](b1c7374))
* LSP fields, functions and methods completion after "." and "::"
(noir-lang/noir#5714)
([ccbef55](ccbef55))
* LSP hover now includes "Go to" links
(noir-lang/noir#5677)
([b1c7374](b1c7374))
* LSP path completion (noir-lang/noir#5712)
([91042c7](91042c7))
* **noir_js:** Expose UltraHonk and integration tests
(noir-lang/noir#5656)
([b1c7374](b1c7374))
* Optimizing PrivateFPC
([#7980](#7980))
([d018335](d018335))
* Private refunds optimizations
([#7968](#7968))
([cea8295](cea8295))
* Resolve arguments to attributes
(noir-lang/noir#5649)
([b1c7374](b1c7374))
* **ssa:** Simple serialization of unoptimized SSA to file
(noir-lang/noir#5679)
([b1c7374](b1c7374))
* Sync from aztec-packages (noir-lang/noir#5718)
([ccbef55](ccbef55))
* Update honk ultra_recursive_verifier to do aggregation
([#7582](#7582))
([a96a5ad](a96a5ad))


### Bug Fixes

* Add locations to most SSA instructions
(noir-lang/noir#5697)
([b1c7374](b1c7374))
* Allow txs on block zero
([#7928](#7928))
([5e25cd6](5e25cd6))
* Build error in e2e_block_building
([0d0646d](0d0646d))
* **debugger:** Update the debugger to handle the new Brillig debug
metadata format (noir-lang/noir#5706)
([91042c7](91042c7))
* Delete forks after proving job has finished
([#7972](#7972))
([2b4a842](2b4a842))
* Deploy verifier cmd
([#7983](#7983))
([f4fa797](f4fa797))
* Derive generic types (noir-lang/noir#5674)
([b1c7374](b1c7374))
* Do not duplicate redundant Brillig debug metadata
(noir-lang/noir#5696)
([b1c7374](b1c7374))
* Do not mount ssh agent on OSX
([#7991](#7991))
([950db8e](950db8e))
* **docs:** Add redirects for website links
([#7979](#7979))
([e890814](e890814))
* Elaborate struct & trait annotations in the correct module
(noir-lang/noir#5643)
([b1c7374](b1c7374))
* Fix where clause issue in items generated from attributes
(noir-lang/noir#5673)
([b1c7374](b1c7374))
* Lay plumbing for having simulations throw an error if they cannot be
added in a block
([#7839](#7839))
([eedbc11](eedbc11))
* Let a trait impl that relies on another trait work
(noir-lang/noir#5646)
([b1c7374](b1c7374))
* Only record bytecode if &gt;0
([#7932](#7932))
([3f145b3](3f145b3))
* Remove missing file
([#7941](#7941))
([4d9290f](4d9290f))
* Replace unused ArrayGet/Set with constrain if possibly out of bounds
(noir-lang/noir#5691)
([ccbef55](ccbef55))
* Switch verify proof to arrays
(noir-lang/noir#5664)
([b1c7374](b1c7374))
* Track L1 block for last L2 block body retrieved
([#7927](#7927))
([cd36be4](cd36be4)),
closes
[#7918](#7918)
* Unexpose get note nonces on pxe
([#7889](#7889))
([163c3a6](163c3a6))
* Use data dir for lmdb forks
([#7973](#7973))
([5b53d43](5b53d43))
* Workaround from_slice with nested slices
(noir-lang/noir#5648)
([b1c7374](b1c7374))


### Miscellaneous

* Add docs tip about filenames between commands
(noir-lang/noir#5695)
([b1c7374](b1c7374))
* Add env var to disable bb cleanup
([#7936](#7936))
([806a370](806a370))
* Add parser support for `&lt;MyType as Trait&gt;::ident`
(noir-lang/noir#5688)
([b1c7374](b1c7374))
* Add tests for noir&lt;&gt;ivc integration testing
([#7931](#7931))
([7cc47a6](7cc47a6))
* Allow passing custom executors to fuzzer
(noir-lang/noir#5710)
([91042c7](91042c7))
* **avm:** Fewer errors unless testing
([#7943](#7943))
([33b65a9](33b65a9))
* **bb:** Constexpr simplifications
([#7906](#7906))
([65d3b7f](65d3b7f))
* **bb:** Prereq work for polynomial mem optimization
([#7949](#7949))
([5ca5138](5ca5138))
* **ci:** Print detailed target timings
([#7934](#7934))
([fb574aa](fb574aa))
* Do not clean up bb files on err
([#7985](#7985))
([75c6768](75c6768))
* Enable execute command on aws ecs services
([#7975](#7975))
([4331bc6](4331bc6))
* Ensure bootstrapped networks have no pending blocks when proving
starts
([#7986](#7986))
([fb471b3](fb471b3))
* Fork logs and prover job catch
([#7982](#7982))
([69bde53](69bde53))
* Move siloing to reset
([#7871](#7871))
([014b5f0](014b5f0))
* Pin yarn versions in noir-projects and bb/ts
([#7988](#7988))
([83f33a1](83f33a1))
* Release Noir(0.33.0) (noir-lang/noir#5550)
([b1c7374](b1c7374))
* Replace relative paths to noir-protocol-circuits
([cd5f138](cd5f138))
* Replace relative paths to noir-protocol-circuits
([6f3cef9](6f3cef9))
* Replace relative paths to noir-protocol-circuits
([54c4441](54c4441))
* Replace VERSION with IMAGE on provernet template
([d5e48aa](d5e48aa))
* Sequencer no longer proves
([#7860](#7860))
([7168290](7168290))
* Simplify registry
([#7939](#7939))
([8e0418f](8e0418f))
* Terraform template for prover-node
([#7846](#7846))
([546f946](546f946))
* Update provernet docker compose template
([#7929](#7929))
([33d47d2](33d47d2))
* Updating token with refunds
([#7969](#7969))
([504deba](504deba))
</details>

<details><summary>barretenberg: 0.49.0</summary>

##
[0.49.0](barretenberg-v0.48.0...barretenberg-v0.49.0)
(2024-08-15)


### Features

* **avm:** More no fake rows + virtual dyn gas (part 1)
([#7942](#7942))
([9e8ba96](9e8ba96))
* IVC integration tests using new accumulate model
([#7946](#7946))
([c527ae9](c527ae9))
* Update honk ultra_recursive_verifier to do aggregation
([#7582](#7582))
([a96a5ad](a96a5ad))


### Miscellaneous

* **avm:** Fewer errors unless testing
([#7943](#7943))
([33b65a9](33b65a9))
* **bb:** Constexpr simplifications
([#7906](#7906))
([65d3b7f](65d3b7f))
* **bb:** Prereq work for polynomial mem optimization
([#7949](#7949))
([5ca5138](5ca5138))
</details>

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).
AztecBot added a commit to AztecProtocol/barretenberg that referenced this pull request Aug 16, 2024
🤖 I have created a release *beep* *boop*
---


<details><summary>aztec-package: 0.49.0</summary>

##
[0.49.0](AztecProtocol/aztec-packages@aztec-package-v0.48.0...aztec-package-v0.49.0)
(2024-08-15)


### ⚠ BREAKING CHANGES

* Sequencer no longer proves
([#7860](AztecProtocol/aztec-packages#7860))

### Miscellaneous

* Enable execute command on aws ecs services
([#7975](AztecProtocol/aztec-packages#7975))
([4331bc6](AztecProtocol/aztec-packages@4331bc6))
* Sequencer no longer proves
([#7860](AztecProtocol/aztec-packages#7860))
([7168290](AztecProtocol/aztec-packages@7168290))
* Terraform template for prover-node
([#7846](AztecProtocol/aztec-packages#7846))
([546f946](AztecProtocol/aztec-packages@546f946))
</details>

<details><summary>barretenberg.js: 0.49.0</summary>

##
[0.49.0](AztecProtocol/aztec-packages@barretenberg.js-v0.48.0...barretenberg.js-v0.49.0)
(2024-08-15)


### Miscellaneous

* Pin yarn versions in noir-projects and bb/ts
([#7988](AztecProtocol/aztec-packages#7988))
([83f33a1](AztecProtocol/aztec-packages@83f33a1))
</details>

<details><summary>aztec-packages: 0.49.0</summary>

##
[0.49.0](AztecProtocol/aztec-packages@aztec-packages-v0.48.0...aztec-packages-v0.49.0)
(2024-08-15)


### ⚠ BREAKING CHANGES

* alternative key registry contract
([#7523](AztecProtocol/aztec-packages#7523))
* Sequencer no longer proves
([#7860](AztecProtocol/aztec-packages#7860))

### Features

* Add `FunctionDefinition::parameters`,
`FunctionDefinition::return_type` and `impl Eq for Quoted`
(noir-lang/noir#5681)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Add `Quoted::as_expr` and `Expr::as_function_call`
(noir-lang/noir#5708)
([91042c7](AztecProtocol/aztec-packages@91042c7))
* Add `Type::as_struct` (noir-lang/noir#5680)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Add `Type::get_trait_impl`
(noir-lang/noir#5716)
([ccbef55](AztecProtocol/aztec-packages@ccbef55))
* Add `Type::implements` (noir-lang/noir#5701)
([91042c7](AztecProtocol/aztec-packages@91042c7))
* Add `Type::is_field` and `Type::as_integer`
(noir-lang/noir#5670)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Add `Type` methods: `as_tuple`, `as_slice`, `as_array`, `as_constant`,
`is_bool` (noir-lang/noir#5678)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Add a limited form of arithmetic on generics
(noir-lang/noir#5625)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Add array_to_str_lossy (noir-lang/noir#5613)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Add generate-secret-and-hash to cli
([#7977](AztecProtocol/aztec-packages#7977))
([cdf62a0](AztecProtocol/aztec-packages@cdf62a0))
* Add mutating FunctionDefinition functions
(noir-lang/noir#5685)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Add proven flag to sent tx wait opts
([#7950](AztecProtocol/aztec-packages#7950))
([e80e7d2](AztecProtocol/aztec-packages@e80e7d2))
* Add some `Module` comptime functions
(noir-lang/noir#5684)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Alternative key registry contract
([#7523](AztecProtocol/aztec-packages#7523))
([3e6a20f](AztecProtocol/aztec-packages@3e6a20f))
* **avm:** More no fake rows + virtual dyn gas (part 1)
([#7942](AztecProtocol/aztec-packages#7942))
([9e8ba96](AztecProtocol/aztec-packages@9e8ba96))
* Derive `Ord` and `Hash` in the stdlib; add `std::meta::make_impl`
helper (noir-lang/noir#5683)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Destroy_note_unsafe
([#7891](AztecProtocol/aztec-packages#7891))
([5cda7ba](AztecProtocol/aztec-packages@5cda7ba))
* **docs:** Nits
([#7838](AztecProtocol/aztec-packages#7838))
([a76c999](AztecProtocol/aztec-packages@a76c999))
* Enable UltraHonk verifier
([#7923](AztecProtocol/aztec-packages#7923))
([5e8b4a8](AztecProtocol/aztec-packages@5e8b4a8)),
closes
[#7373](AztecProtocol/aztec-packages#7373)
* Implement closures in the comptime interpreter
(noir-lang/noir#5682)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* IVC integration tests using new accumulate model
([#7946](AztecProtocol/aztec-packages#7946))
([c527ae9](AztecProtocol/aztec-packages@c527ae9))
* LSP autocompletion for use statement
(noir-lang/noir#5704)
([91042c7](AztecProtocol/aztec-packages@91042c7))
* LSP closing brace hints (noir-lang/noir#5686)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* LSP fields, functions and methods completion after "." and "::"
(noir-lang/noir#5714)
([ccbef55](AztecProtocol/aztec-packages@ccbef55))
* LSP hover now includes "Go to" links
(noir-lang/noir#5677)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* LSP path completion (noir-lang/noir#5712)
([91042c7](AztecProtocol/aztec-packages@91042c7))
* **noir_js:** Expose UltraHonk and integration tests
(noir-lang/noir#5656)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Optimizing PrivateFPC
([#7980](AztecProtocol/aztec-packages#7980))
([d018335](AztecProtocol/aztec-packages@d018335))
* Private refunds optimizations
([#7968](AztecProtocol/aztec-packages#7968))
([cea8295](AztecProtocol/aztec-packages@cea8295))
* Resolve arguments to attributes
(noir-lang/noir#5649)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* **ssa:** Simple serialization of unoptimized SSA to file
(noir-lang/noir#5679)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Sync from aztec-packages (noir-lang/noir#5718)
([ccbef55](AztecProtocol/aztec-packages@ccbef55))
* Update honk ultra_recursive_verifier to do aggregation
([#7582](AztecProtocol/aztec-packages#7582))
([a96a5ad](AztecProtocol/aztec-packages@a96a5ad))


### Bug Fixes

* Add locations to most SSA instructions
(noir-lang/noir#5697)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Allow txs on block zero
([#7928](AztecProtocol/aztec-packages#7928))
([5e25cd6](AztecProtocol/aztec-packages@5e25cd6))
* Build error in e2e_block_building
([0d0646d](AztecProtocol/aztec-packages@0d0646d))
* **debugger:** Update the debugger to handle the new Brillig debug
metadata format (noir-lang/noir#5706)
([91042c7](AztecProtocol/aztec-packages@91042c7))
* Delete forks after proving job has finished
([#7972](AztecProtocol/aztec-packages#7972))
([2b4a842](AztecProtocol/aztec-packages@2b4a842))
* Deploy verifier cmd
([#7983](AztecProtocol/aztec-packages#7983))
([f4fa797](AztecProtocol/aztec-packages@f4fa797))
* Derive generic types (noir-lang/noir#5674)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Do not duplicate redundant Brillig debug metadata
(noir-lang/noir#5696)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Do not mount ssh agent on OSX
([#7991](AztecProtocol/aztec-packages#7991))
([950db8e](AztecProtocol/aztec-packages@950db8e))
* **docs:** Add redirects for website links
([#7979](AztecProtocol/aztec-packages#7979))
([e890814](AztecProtocol/aztec-packages@e890814))
* Elaborate struct & trait annotations in the correct module
(noir-lang/noir#5643)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Fix where clause issue in items generated from attributes
(noir-lang/noir#5673)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Lay plumbing for having simulations throw an error if they cannot be
added in a block
([#7839](AztecProtocol/aztec-packages#7839))
([eedbc11](AztecProtocol/aztec-packages@eedbc11))
* Let a trait impl that relies on another trait work
(noir-lang/noir#5646)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Only record bytecode if &gt;0
([#7932](AztecProtocol/aztec-packages#7932))
([3f145b3](AztecProtocol/aztec-packages@3f145b3))
* Remove missing file
([#7941](AztecProtocol/aztec-packages#7941))
([4d9290f](AztecProtocol/aztec-packages@4d9290f))
* Replace unused ArrayGet/Set with constrain if possibly out of bounds
(noir-lang/noir#5691)
([ccbef55](AztecProtocol/aztec-packages@ccbef55))
* Switch verify proof to arrays
(noir-lang/noir#5664)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Track L1 block for last L2 block body retrieved
([#7927](AztecProtocol/aztec-packages#7927))
([cd36be4](AztecProtocol/aztec-packages@cd36be4)),
closes
[#7918](AztecProtocol/aztec-packages#7918)
* Unexpose get note nonces on pxe
([#7889](AztecProtocol/aztec-packages#7889))
([163c3a6](AztecProtocol/aztec-packages@163c3a6))
* Use data dir for lmdb forks
([#7973](AztecProtocol/aztec-packages#7973))
([5b53d43](AztecProtocol/aztec-packages@5b53d43))
* Workaround from_slice with nested slices
(noir-lang/noir#5648)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))


### Miscellaneous

* Add docs tip about filenames between commands
(noir-lang/noir#5695)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Add env var to disable bb cleanup
([#7936](AztecProtocol/aztec-packages#7936))
([806a370](AztecProtocol/aztec-packages@806a370))
* Add parser support for `&lt;MyType as Trait&gt;::ident`
(noir-lang/noir#5688)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Add tests for noir&lt;&gt;ivc integration testing
([#7931](AztecProtocol/aztec-packages#7931))
([7cc47a6](AztecProtocol/aztec-packages@7cc47a6))
* Allow passing custom executors to fuzzer
(noir-lang/noir#5710)
([91042c7](AztecProtocol/aztec-packages@91042c7))
* **avm:** Fewer errors unless testing
([#7943](AztecProtocol/aztec-packages#7943))
([33b65a9](AztecProtocol/aztec-packages@33b65a9))
* **bb:** Constexpr simplifications
([#7906](AztecProtocol/aztec-packages#7906))
([65d3b7f](AztecProtocol/aztec-packages@65d3b7f))
* **bb:** Prereq work for polynomial mem optimization
([#7949](AztecProtocol/aztec-packages#7949))
([5ca5138](AztecProtocol/aztec-packages@5ca5138))
* **ci:** Print detailed target timings
([#7934](AztecProtocol/aztec-packages#7934))
([fb574aa](AztecProtocol/aztec-packages@fb574aa))
* Do not clean up bb files on err
([#7985](AztecProtocol/aztec-packages#7985))
([75c6768](AztecProtocol/aztec-packages@75c6768))
* Enable execute command on aws ecs services
([#7975](AztecProtocol/aztec-packages#7975))
([4331bc6](AztecProtocol/aztec-packages@4331bc6))
* Ensure bootstrapped networks have no pending blocks when proving
starts
([#7986](AztecProtocol/aztec-packages#7986))
([fb471b3](AztecProtocol/aztec-packages@fb471b3))
* Fork logs and prover job catch
([#7982](AztecProtocol/aztec-packages#7982))
([69bde53](AztecProtocol/aztec-packages@69bde53))
* Move siloing to reset
([#7871](AztecProtocol/aztec-packages#7871))
([014b5f0](AztecProtocol/aztec-packages@014b5f0))
* Pin yarn versions in noir-projects and bb/ts
([#7988](AztecProtocol/aztec-packages#7988))
([83f33a1](AztecProtocol/aztec-packages@83f33a1))
* Release Noir(0.33.0) (noir-lang/noir#5550)
([b1c7374](AztecProtocol/aztec-packages@b1c7374))
* Replace relative paths to noir-protocol-circuits
([cd5f138](AztecProtocol/aztec-packages@cd5f138))
* Replace relative paths to noir-protocol-circuits
([6f3cef9](AztecProtocol/aztec-packages@6f3cef9))
* Replace relative paths to noir-protocol-circuits
([54c4441](AztecProtocol/aztec-packages@54c4441))
* Replace VERSION with IMAGE on provernet template
([d5e48aa](AztecProtocol/aztec-packages@d5e48aa))
* Sequencer no longer proves
([#7860](AztecProtocol/aztec-packages#7860))
([7168290](AztecProtocol/aztec-packages@7168290))
* Simplify registry
([#7939](AztecProtocol/aztec-packages#7939))
([8e0418f](AztecProtocol/aztec-packages@8e0418f))
* Terraform template for prover-node
([#7846](AztecProtocol/aztec-packages#7846))
([546f946](AztecProtocol/aztec-packages@546f946))
* Update provernet docker compose template
([#7929](AztecProtocol/aztec-packages#7929))
([33d47d2](AztecProtocol/aztec-packages@33d47d2))
* Updating token with refunds
([#7969](AztecProtocol/aztec-packages#7969))
([504deba](AztecProtocol/aztec-packages@504deba))
</details>

<details><summary>barretenberg: 0.49.0</summary>

##
[0.49.0](AztecProtocol/aztec-packages@barretenberg-v0.48.0...barretenberg-v0.49.0)
(2024-08-15)


### Features

* **avm:** More no fake rows + virtual dyn gas (part 1)
([#7942](AztecProtocol/aztec-packages#7942))
([9e8ba96](AztecProtocol/aztec-packages@9e8ba96))
* IVC integration tests using new accumulate model
([#7946](AztecProtocol/aztec-packages#7946))
([c527ae9](AztecProtocol/aztec-packages@c527ae9))
* Update honk ultra_recursive_verifier to do aggregation
([#7582](AztecProtocol/aztec-packages#7582))
([a96a5ad](AztecProtocol/aztec-packages@a96a5ad))


### Miscellaneous

* **avm:** Fewer errors unless testing
([#7943](AztecProtocol/aztec-packages#7943))
([33b65a9](AztecProtocol/aztec-packages@33b65a9))
* **bb:** Constexpr simplifications
([#7906](AztecProtocol/aztec-packages#7906))
([65d3b7f](AztecProtocol/aztec-packages@65d3b7f))
* **bb:** Prereq work for polynomial mem optimization
([#7949](AztecProtocol/aztec-packages#7949))
([5ca5138](AztecProtocol/aztec-packages@5ca5138))
</details>

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[archiver] Error "block number mismatch" brings down the node
4 participants