pub fn verify_vm_stark_proof(
vk: &VmStarkVerifyingKey,
encoded_proof: &[u8],
) -> Result<(), VerifyStarkError>Expand description
Verifies a non-root VM STARK proof (as a byte stream) given the internal-recursive layer verifying key and VM- and exe-specific baseline artifacts.