Skip to content

refactor(world-state): always index block 0 regardless of initial tree size#22724

Merged
PhilWindle merged 1 commit into
merge-train/spartanfrom
spl/genesis-block-index-unconditional
Apr 22, 2026
Merged

refactor(world-state): always index block 0 regardless of initial tree size#22724
PhilWindle merged 1 commit into
merge-train/spartanfrom
spl/genesis-block-index-unconditional

Conversation

@spalladino

Copy link
Copy Markdown
Contributor

Motivation

Follow-up to #22711 addressing a review flag from PhilWindle: commit_genesis_state only wrote a block-index entry for block 0 when initialSize > 0. This created a minor asymmetry with the regular commit path, which writes write_block_index_data unconditionally for every block (including zero-size blocks).

Approach

Drop the if (meta.initialSize > 0) guard so genesis state is indexed the same way as any other block. The read API (find_block_for_index) uses get_value_or_greater(index + 1), so a sizeAtBlock=0 entry is unreachable and the extra write is harmless — it just restores the invariant that every committed block appears in the index-to-block database.

Changes

  • barretenberg (cached_content_addressed_tree_store): remove the initialSize > 0 guard around the block-0 write_block_index_data call so the genesis commit matches the regular commit path.

…e size

Drop the `initialSize > 0` guard around `write_block_index_data(0, ...)` in
`commit_genesis_state`. The regular commit path writes the block-index entry
unconditionally for every block (including zero-size blocks), so this aligns
genesis with that invariant. The read API (`find_block_for_index`) uses
`get_value_or_greater(index + 1)` and thus never returns the `sizeAtBlock=0`
slot, so the extra write is harmless when `initialSize == 0`.
@PhilWindle PhilWindle merged commit 1749ac3 into merge-train/spartan Apr 22, 2026
12 checks passed
@PhilWindle PhilWindle deleted the spl/genesis-block-index-unconditional branch April 22, 2026 18:10
chrismarino pushed a commit to chrismarino/aztec-packages that referenced this pull request May 5, 2026
BEGIN_COMMIT_OVERRIDE
fix(kv-store): ensure LMDB cursor is closed on iteration abort (AztecProtocol#22509)
fix(telemetry-client): use appropriate histogram buckets for L1 gas
prices (AztecProtocol#22512)
fix(telemetry-client): log warning when BatchSpanProcessor drops spans
(AztecProtocol#22511)
fix(stdlib): wrap HA signer databaseUrl in SecretValue (AztecProtocol#22510)
fix(prover-client): don't mark in-progress epoch N jobs as stale when
epoch N+1 starts (AztecProtocol#22508)
chore: (A-730) graceful shutdown for services in node startup failure
path (AztecProtocol#22112)
fix(prover-client): reject stale job promises and count timeouts toward
retry limit (AztecProtocol#21842)
feat(archiver): validate historical L1 log availability at startup
(AztecProtocol#22644)
fix(archiver): do not query MessageSent events by blockhash (AztecProtocol#22641)
refactor(e2e): skip initial sequencer in p2p and epochs tests (AztecProtocol#22535)
fix: handle missing L1 finalized block on devnets (AztecProtocol#22663)
fix(world-state): treat historical block 0 queries as historical, not
latest (AztecProtocol#22679)
fix(sequencer): re-check parent checkpoint validity before pipelined L1
submission (AztecProtocol#22586)
fix(world-state): make block 0 a first-class historical block (AztecProtocol#22711)
chore: show all running versions (AztecProtocol#22376)
chore: fix prettier inside worktrees (AztecProtocol#22557)
feat: use optimized verifier for rollup (AztecProtocol#21840)
fix(kv-store): skip pool creation on ephemeral deleteDb to unstick
browser tests (AztecProtocol#22693)
chore: rm claude lockfile (AztecProtocol#22718)
fix(e2e): wait for first checkpoint in fee_asset_price_oracle_gossip
test (AztecProtocol#22719)
chore(prover-node): track estimated L1 fee when proof publishing is
disabled (AztecProtocol#22691)
fix(ci): rerun squashed PR check on base branch change (AztecProtocol#22713)
feat(archiver): decouple calldata from blob fetching in L1 synchronizer
(AztecProtocol#22716)
refactor(e2e): enable pipelining in e2e_epochs tests (AztecProtocol#22544)
feat(p2p): reject and evict txs with insufficient max fee per gas
(AztecProtocol#22118)
refactor(world-state): always index block 0 regardless of initial tree
size (AztecProtocol#22724)
fix(e2e): fix redistribution test (AztecProtocol#22729)
END_COMMIT_OVERRIDE
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.

2 participants