openvm_circuit::arch::vm

Function verify_single

Source
pub fn verify_single<SC, E>(
    engine: &E,
    vk: &MultiStarkVerifyingKey<SC>,
    proof: &Proof<SC>,
) -> Result<(), VerificationError>
where SC: StarkGenericConfig, E: StarkEngine<SC>,
Expand description

Verifies a single proof. This should be used for proof of VM without continuations.

§Note

This function does not check any public values or extract the starting pc or commitment to the VmCommittedExe.