samaharam 0.2.0

Scalable heterogeneous zero-knowledge proof aggregation for EVM chains
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

//! Proof state types using the TypeState pattern.
//!
//! This module provides compile-time guarantees for proof lifecycle:
//! - Pending: Just created, not yet verified
//! - Verified: Verified against its VK
//! - Batched: Submitted for aggregation
//! - Aggregated: Final aggregated proof

mod data;
mod state;

pub use data::Proof;
pub use state::{Aggregated, Batched, Pending, ProofState, Verified};