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.