Module keygen 

Structs

RawEvmProof

EVM-compatible proof consisting of instances and raw proof bytes.

StaticVerifierProvingKey

High-level proving key that owns a StaticVerifierCircuit, Halo2ProvingPinning, and StaticVerifierShape.

Functions

evm_verify

Verify an EVM proof using a deployed verifier contract.