bankai_verify/bankai/
mod.rs

1//! Bankai block proof verification
2//!
3//! This module provides the core verification functions for Bankai's stateless light client:
4//! - STWO zero-knowledge proof verification
5//! - MMR (Merkle Mountain Range) inclusion proof verification
6
7/// MMR (Merkle Mountain Range) proof verification
8///
9/// Functions for verifying that headers are committed in MMRs using inclusion proofs.
10pub mod mmr;
11
12/// STWO zero-knowledge proof verification
13///
14/// Functions for verifying STWO proofs and extracting trusted Bankai blocks with MMR roots.
15pub mod stwo;