openvm_native_recursion::halo2::verifier

Function generate_halo2_verifier_proving_key

Source
pub fn generate_halo2_verifier_proving_key(
    params: &Halo2Params,
    advice: MultiStarkVerificationAdvice<OuterConfig>,
    fri_params: &FriParameters,
    proof: &Proof<BabyBearPoseidon2RootConfig>,
) -> Halo2VerifierProvingKey
Expand description

Generate a Halo2 verifier circuit for a given stark.