Struct StaticVerifierCircuit 

pub struct StaticVerifierCircuit {
    pub root_vk: MultiStarkVerifyingKey<BabyBearBn254Poseidon2Config>,
    pub internal_recursive_dag_onion_commit: Digest,
    pub log_heights_per_air: Vec<usize>,
    pub trace_id_to_air_id: Vec<usize>,
    pub stacked_layouts: Vec<StackedLayout>,
}

Parameters fixed host-side for the static verifier (child VK, trace heights, AIR permutation).

Fields

root_vk: MultiStarkVerifyingKey<BabyBearBn254Poseidon2Config>

internal_recursive_dag_onion_commit: Digest

The [RootConfig] hash onion commitment to the internal-recursive verifier circuit’s symbolic constraints DAG. This is exposed as a public value by the DagCommitSubAir within the SymbolicExpressionAir in the RootVerifierCircuit.

This value can be obtained from cached_trace_record.dag_commit_info.commit in the RootProver.

log_heights_per_air: Vec<usize>

trace_id_to_air_id: Vec<usize>

stacked_layouts: Vec<StackedLayout>

Implementations

impl StaticVerifierCircuit

pub fn try_new( root_vk: MultiStarkVerifyingKey<RootConfig>, internal_recursive_dag_onion_commit: InnerDigest, log_heights_per_air: &[usize], ) -> Result<Self, StaticCircuitParamsError>

Build static parameters from a child VK and the per-AIR trace log heights for this circuit.

log_heights_per_air[i] is the log₂ trace height for AIR i (same indexing as the child VK’s per_air). Trace IDs are ordered by descending height (tie-break: lower air_id first).

pub fn populate_verify_stark_constraints( &self, ctx: &mut Context<Fr>, ext_chip: &BabyBearExtChip, proof: &Proof<RootConfig>, ) -> ProofWire

STARK verification constraints only: load the proof witness and run constrained_verify.

Does not check proof public values or cached trace commitments, which requires the proof to have a particular shape following the VM Continuations framework.

This function should be used internally or for testing only. Production uses with the continuations framework must use Self::populate instead.

pub fn populate( &self, builder: &mut BaseCircuitBuilder<Fr>, proof: &Proof<RootConfig>, ) -> StaticVerifierPvs<Fr>

Populate a builder with the static verifier constraints and return the public values.

impl StaticVerifierCircuit

pub fn keygen( &self, params: &Halo2Params, shape: &StaticVerifierShape, representative_proof: &Proof<RootConfig>, ) -> Halo2ProvingPinning

Run keygen to produce a Halo2ProvingPinning.

The representative_proof is used as a witness for keygen; any valid proof for this static circuit shape will do.

impl StaticVerifierCircuit

pub fn builder( stage: CircuitBuilderStage, shape: &StaticVerifierShape, ) -> BaseCircuitBuilder<Fr>

Create a [BaseCircuitBuilder] configured for the given stage and shape.

pub fn mock(&self, shape: &StaticVerifierShape, proof: &Proof<RootConfig>)

Run the [MockProver] and panic if any constraint is unsatisfied.

Uses full Self::populate. Continuations-shaped end-to-end coverage is in openvm-sdk integration tests.

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

Generate a Halo2 proof using a previously computed Halo2ProvingPinning.

Uses full Self::populate. Continuations-shaped proving is covered in openvm-sdk integration tests.

pub fn verify( params: &Halo2Params, vk: &VerifyingKey<G1Affine>, proof: &StaticVerifierProof, ) -> bool

Verify a Halo2 proof against a verifying key.

Trait Implementations

impl Clone for StaticVerifierCircuit

fn clone(&self) -> StaticVerifierCircuit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StaticVerifierCircuit

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StaticVerifierCircuit

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for StaticVerifierCircuit

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.