Module types 

Structs

AppExecutionCommit

Application execution commitment pair (big-endian 32-byte values).

EvmHalo2Verifier

EvmProof

EvmVerifierByteCode

Bytecode of a compiled EVM verifier contract.

ProofData

VerificationBaselineJson

Hex-formatted VerificationBaseline for JSON serialization.

VersionedVmStarkProof

Struct purely for encoding and decoding of VmStarkProof.

VkCommitJson

Hex-formatted VkCommit for JSON serialization.

Enums

EvmProofConversionError

ExecutableFormat

Constants

NUM_BN254_ACCUMULATOR

Number of Bn254 in accumulator field (KZG accumulator).

Functions

encode_raw_evm_proof_calldata

Encode a RawEvmProof as calldata for the fallback (raw) verifier.