Module zebra_consensus::router

source ·
Expand description

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§

Enums§

  • An error while semantically verifying a block.

Functions§

  • Initialize block and transaction verification services.
  • Parses the checkpoint list for network and config. Returns the checkpoint list and maximum checkpoint height.