Module zebra_state::service::check

Consensus critical contextual checks

Re-exports

• pub use utxo::transparent_coinbase_spend;

Modules

• anchors 🔒
  Checks for whether cited anchors are previously-computed note commitment tree roots.
• difficulty 🔒
  Block difficulty adjustment calculations for contextual validation.
• nullifier 🔒
  Checks for nullifier uniqueness.
• utxo 🔒
  Consensus rule checks for the finalized state.

Functions

• block_commitment_is_valid_for_chain_history 🔒
  Check that block is contextually valid for network, using the history_tree up to and including the previous block.
• block_is_not_orphaned 🔒
  Returns ValidateContextError::OrphanedBlock if the height of the given block is less than or equal to the finalized tip height.
• block_is_valid_for_recent_chain 🔒
  Check that the semantically verified block is contextually valid for network, based on the finalized_tip_height and relevant_chain.
• difficulty_threshold_and_time_are_valid 🔒
  Validate the time and difficulty_threshold from a candidate block’s header.
• height_one_more_than_parent_height 🔒
  Returns ValidateContextError::NonSequentialBlock if the block height isn’t equal to the parent_height+1.
• initial_contextual_validity 🔒
  Perform initial contextual validity checks for the configured network, based on the committed finalized and non-finalized state.
• legacy_chain 🔒
  Check if zebra is following a legacy chain and return an error if so.