bankai_types/verify/
mod.rs

1//! Verification result types
2//!
3//! This module contains types representing verified blockchain data.
4//! Once verification succeeds, all data in these types is cryptographically
5//! guaranteed to be valid - no further checks are needed.
6
7use crate::verify::evm::EvmResults;
8
9pub mod evm;
10
11/// Results from batch proof verification
12///
13/// Contains all verified data from a successful batch verification.
14/// **All data in this struct is cryptographically guaranteed valid** through
15/// Bankai's stateless light client architecture.
16///
17/// # Fields
18///
19/// - `evm` - Verified EVM chain data (headers, accounts, transactions)
20#[cfg_attr(feature = "std", derive(Debug))]
21pub struct BatchResults {
22    /// Verified EVM data (execution and beacon headers, accounts, transactions)
23    pub evm: EvmResults,
24}