Module proofs

Core proof types for MMR proofs and hashing functions

These types are available in both std and no_std environments, making them suitable for use in ZK circuits and smart contracts. Core proof types for Bankai

This module defines the fundamental proof types used throughout the Bankai ecosystem, including MMR (Merkle Mountain Range) proofs and hashing function specifications.

All types in this module work in no_std environments, making them suitable for use in ZK circuits, smart contracts, and other constrained environments.

Structs

BankaiBlockProofDto

STWO zero-knowledge proof for a Bankai block

HeaderRequestDto

Request for a specific header proof

LightClientProofDto

Complete light client proof bundle

LightClientProofRequestDto

Request for a complete light client proof

MmrProofDto

MMR (Merkle Mountain Range) proof for header inclusion

MmrProofRequestDto

Request for an MMR proof

Enums

HashingFunctionDto

Hashing function used for MMR construction