Crate zebra_state

State contextual verification and storage code for Zebra.

Correctness

Await UTXO and block commit requests should be wrapped in a timeout, because:

• await UTXO requests wait for a block containing that UTXO, and
• contextual verification and state updates wait for all previous blocks.

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

Re-exports

• pub use config::check_and_delete_old_databases;
• pub use config::check_and_delete_old_state_databases;
• pub use config::database_format_version_on_disk;
• pub use config::state_database_format_version_on_disk;
• pub use config::Config;
• pub use constants::state_database_format_version_in_code;
• pub use constants::MAX_BLOCK_REORG_HEIGHT;

Modules

• check
  Consensus critical contextual checks
• config
  Cached state configuration for Zebra.
• constants
  Constants that impact state behaviour.

Structs

• ChainTipChange
  A chain tip change monitor.
• CheckpointVerifiedBlock
  A block ready to be committed directly to the finalized state with a small number of checks if compared with a ContextuallyVerifiedBlock.
• CloneError
  A wrapper for type erased errors that is itself clonable and implements the Error trait
• CommitSemanticallyVerifiedError
  An error describing the reason a semantically verified block could not be committed to the state.
• LatestChainTip
  Efficient access to the state’s current best chain tip.
• MinedTx
  Information about a transaction in the best chain
• OutputIndex
  A transparent output’s index in its transaction.
• OutputLocation
  A transparent output’s location in the chain, by block height and transaction index.
• SemanticallyVerifiedBlock
  A block which has undergone semantic validation and has been prepared for contextual validation.
• TransactionIndex
  A transaction’s index in its block.
• TransactionLocation
  A transaction’s location in the chain, by block height and transaction index.
• WatchReceiver
  Efficient access to state data via a tokio watch::Receiver channel, while avoiding deadlocks.

Enums

• HashOrHeight
  Identify a block by hash or height.
• KnownBlock
  An enum of block stores in the state where a block hash could be found.
• ReadRequest
  A read-only query about the chain state, via the ReadStateService.
• ReadResponse
  A response to a read-only ReadStateService’s ReadRequest.
• Request
  A query about or modification to the chain state, via the StateService.
• Response
  A response to a StateService Request.
• TipAction
  Actions that we can take in response to a ChainTipChange.
• ValidateContextError
  An error describing why a block failed contextual validation.

Traits

• DuplicateNullifierError
  Trait for creating the corresponding duplicate nullifier error from a nullifier.

Functions

• init
  Initialize a state service from the provided Config. Returns a boxed state service, a read-only state service, and receivers for state chain tip updates.
• spawn_init
  Calls init with the provided Config and Network from a blocking task. Returns a tokio::task::JoinHandle with a boxed state service, a read state service, and receivers for state chain tip updates.

Type Aliases

• BoxError
  A boxed std::error::Error.