Module zebra_consensus::router

Top-level semantic block verification for Zebra.

Verifies blocks using the CheckpointVerifier or full SemanticBlockVerifier, depending on the config and block height.

Correctness

Block and transaction verification requests should be wrapped in a timeout, because:

• checkpoint verification waits for previous blocks, and
• full block and transaction verification wait for UTXOs from previous blocks.

Otherwise, verification of out-of-order and invalid blocks and transactions can hang indefinitely.

Structs

• BackgroundTaskHandles
  The background task handles for zebra-consensus verifier initialization.
• BlockVerifierRouter 🔒
  The block verifier router routes requests to either the checkpoint verifier or the semantic block verifier, depending on the maximum checkpoint height.

Enums

• RouterError
  An error while semantically verifying a block.

Constants

• VERIFIER_BUFFER_BOUND 🔒
  The bound for the chain verifier and transaction verifier buffers.

Functions

• init
  Initialize block and transaction verification services.
• init_checkpoint_list
  Parses the checkpoint list for network and config. Returns the checkpoint list and maximum checkpoint height.
• init_test
  Calls init with a closed mempool setup channel for conciseness in tests.