snark/work_verify/
mod.rs

1//! # SNARK Work Verification State Machine
2//!
3//! This module manages the verification of SNARK work proofs submitted by
4//! external SNARK workers. It validates computational work that helps maintain
5//! the blockchain's security and scalability.
6//!
7//! ## Overview
8//!
9//! SNARK work verification handles:
10//! - **Transaction SNARK proofs**: Proofs for transaction validity
11//! - **Merge proofs**: Proofs combining multiple transaction proofs
12
13mod snark_work_verify_state;
14pub use snark_work_verify_state::*;
15
16mod snark_work_verify_actions;
17pub use snark_work_verify_actions::*;
18
19mod snark_work_verify_reducer;
20pub use snark_work_verify_reducer::reducer;
21
22pub use crate::work_verify_effectful::{
23    SnarkWorkVerifyError, SnarkWorkVerifyId, SnarkWorkVerifyIdType,
24};