Module checkpoint

Checkpoint-based block verification.

Checkpoint-based verification uses a list of checkpoint hashes to speed up the initial chain sync for Zebra. This list is distributed with Zebra.

The checkpoint verifier queues pending blocks. Once there is a chain from the previous checkpoint to a target checkpoint, it verifies all the blocks in that chain, and sends accepted blocks to the state service as finalized chain state, skipping the majority of contextual verification checks.

Verification starts at the first checkpoint, which is the genesis block for the configured network.

Re-exports

pub use list::CheckpointList;

Modules

list 🔒

Checkpoint lists for checkpoint-based block verification

types 🔒

Supporting types for checkpoint-based block verification

Structs

CheckpointVerifier

A checkpointing block verifier.

QueuedBlock 🔒

An unverified block, which is in the queue for checkpoint verification.

RequestBlock 🔒

The unverified block, with a receiver for the QueuedBlock’s result.

Enums

VerifyCheckpointError

Constants

MAX_CHECKPOINT_BYTE_COUNT

We limit the memory usage and download contention for each checkpoint, based on the cumulative size of the serialized blocks in the chain.

MAX_CHECKPOINT_HEIGHT_GAP

We limit the maximum number of blocks in each checkpoint. Each block uses a constant amount of memory for the supporting data structures and futures.

MAX_QUEUED_BLOCKS_PER_HEIGHT

The maximum number of queued blocks at any one height.

Functions

progress_from_tip 🔒

Convert a tip into its hash and matching progress.

Type Aliases

QueuedBlockList 🔒

A list of unverified blocks at a particular height.