generate_proving_ctx

openvm_verify_stark_circuit::verifier

Function generate_proving_ctx 

Source 
pub fn generate_proving_ctx(
    proof: &Proof<BabyBearPoseidon2Config>,
    record: DeferredVerifyPvsRecord<F>,
    final_transcript_state: [F; 16],
    output_commit: [F; 8],
    def_idx: usize,
    deferral_enabled: bool,
) -> AirProvingContext<CpuBackend<BabyBearPoseidon2Config>>