Trait StaticVerifierPvHandler

pub trait StaticVerifierPvHandler {
    // Required method
    fn handle_public_values(
        &self,
        builder: &mut Builder<OuterConfig>,
        input: &StarkProofVariable<OuterConfig>,
        special_air_ids: &SpecialAirIds,
    ) -> usize;
}

Custom public values handler for static verifier. This trait implementation defines what the public values of the final EVM proof will be.

Required Methods

fn handle_public_values( &self, builder: &mut Builder<OuterConfig>, input: &StarkProofVariable<OuterConfig>, special_air_ids: &SpecialAirIds, ) -> usize

Returns the number of public values, as Bn254Fr field elements.

Implementors

impl StaticVerifierPvHandler for DefaultStaticVerifierPvHandler