Module zebra_consensus::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.