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