Expand description
§SNARK Work Verification State Machine
This module manages the verification of SNARK work proofs submitted by external SNARK workers. It validates computational work that helps maintain the blockchain’s security and scalability.
§Overview
SNARK work verification handles:
- Transaction SNARK proofs: Proofs for transaction validity
- Merge proofs: Proofs combining multiple transaction proofs
Re-exports§
pub use crate::work_verify_effectful::SnarkWorkVerifyError;
pub use crate::work_verify_effectful::SnarkWorkVerifyId;
pub use crate::work_verify_effectful::SnarkWorkVerifyIdType;