pub fn verify_vm_stark_proof_decoded(
vk: &VmStarkVerifyingKey,
proof: &VmStarkProof,
) -> Result<(), VerifyStarkError>Expand description
Verifies a non-root VM STARK proof given the internal-recursive layer verifying key and VM- and exe-specific baseline artifacts.