Function verify_single 

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

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.