bankai_verify

Module bankai

Source
Expand description

Bankai block proof verification

This module provides functions for verifying STWO zero-knowledge proofs and MMR inclusion proofs. These are the foundational verification operations that establish trust in the system.

  • bankai::stwo - Verify STWO zero-knowledge proofs to extract trusted Bankai blocks with MMR roots
  • bankai::mmr - Verify MMR inclusion proofs against trusted MMR roots Bankai block proof verification

This module provides the core verification functions for Bankai’s stateless light client:

  • STWO zero-knowledge proof verification
  • MMR (Merkle Mountain Range) inclusion proof verification

Modules§

mmr
MMR (Merkle Mountain Range) proof verification
stwo
STWO zero-knowledge proof verification