//! 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};
