Struct StaticVerifierProvingKey 

pub struct StaticVerifierProvingKey {
    pub circuit: StaticVerifierCircuit,
    pub pinning: Halo2ProvingPinning,
    pub shape: StaticVerifierShape,
    pub graph_program: GraphProgram,
}

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

Fields

circuit: StaticVerifierCircuit

pinning: Halo2ProvingPinning

shape: StaticVerifierShape

graph_program: GraphProgram

Implementations

impl StaticVerifierProvingKey

pub fn keygen( params: &Halo2Params, shape: StaticVerifierShape, circuit: StaticVerifierCircuit, representative_proof: &Proof<RootConfig>, ) -> Self

Run keygen and return a proving key that can be reused for multiple proofs.

pub fn prove( &self, params: &Halo2Params, proof: &Proof<RootConfig>, ) -> StaticVerifierProof

Generate a proof using the stored pinning and shape.

pub fn verify(&self, params: &Halo2Params, proof: &StaticVerifierProof) -> bool

Verify a proof against this proving key’s verifying key.

impl StaticVerifierProvingKey

pub fn generate_fallback_evm_verifier(&self, params: &Halo2Params) -> String

Generate a Solidity verifier contract for this circuit.

pub fn prove_wrapped( &self, params: &Halo2Params, proof: &Proof<RootConfig>, state: &mut GraphExecutorState, ) -> Snark

Produce a Snark for consumption by the wrapper circuit.

state is the caller-owned witness scratch (see GraphExecutorState); reusing it across proofs avoids reallocating the tape and flag buffers.

Unlike prove_for_evm_unwrapped, this returns a Snark (not a raw EVM proof), which should be fed into Halo2WrapperProvingKey::prove_for_evm.

pub fn generate_witness( &self, proof: &Proof<RootConfig>, num_threads: usize, state: &mut GraphExecutorState, ) -> (AdviceColumns<Fr>, Vec<Vec<Fr>>)

Runs the graph-executor witness pipeline: binds the stored GraphProgram to state, streams the advice/lookup deltas through a FusedColumnBuilder onto advice columns, and returns the [AdviceColumns<Fr>] + instance columns ready for gen_snark_from_base.

pub fn generate_dummy_snark(&self, reader: &impl Halo2ParamsReader) -> Snark

Generate a dummy snark for wrapper keygen.

pub fn prove_for_evm_unwrapped( &self, params: &Halo2Params, proof: &Proof<RootConfig>, ) -> RawEvmProof

Generate an EVM-compatible proof directly (one-step, no wrapper circuit).

Trait Implementations

impl Clone for StaticVerifierProvingKey

fn clone(&self) -> StaticVerifierProvingKey

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Decode for StaticVerifierProvingKey

fn decode<R: Read>(reader: &mut R) -> Result<Self>

Reads and decodes a value from the given reader.

fn decode_from_bytes(bytes: &[u8]) -> Result<Self, Error>

impl Encode for StaticVerifierProvingKey

fn encode<W: Write>(&self, writer: &mut W) -> Result<()>

Writes the encoded representation of self to the given writer.

fn encode_to_vec(&self) -> Result<Vec<u8>, Error>

Convenience method to encode into a Vec<u8>