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.