Expand description
§Block Verification State Machine
This module implements the state machine for verifying blockchain block proofs within the Mina protocol. It manages the lifecycle of block verification requests and maintains verification state.
§Overview
Block verification ensures that:
- Block proofs are cryptographically valid
- Block headers contain correct consensus information
- Blockchain state transitions are legitimate
§Usage
Block verification is typically initiated by:
- Consensus mechanisms validating incoming blocks
- Fork resolution comparing competing chains
The verification process runs asynchronously in service threads to avoid blocking the main state machine.
Re-exports§
pub use crate::block_verify_effectful::SnarkBlockVerifyError;pub use crate::block_verify_effectful::SnarkBlockVerifyId;pub use crate::block_verify_effectful::SnarkBlockVerifyIdType;