pub fn verify_app_proof(
app_vk: &AppVerifyingKey,
proof: &ContinuationVmProof<SC>,
) -> Result<VerifiedAppArtifacts, VmVerificationError>Expand description
Verifies the ContinuationVmProof, which is a collection of STARK proofs as well as additional Merkle proof for user public values.
This function verifies the STARK proofs and additional conditions to ensure that the
proof is a valid proof of guest VM execution that terminates successfully (exit code 0)
with respect to a commitment to some VM executable.
It is the responsibility of the caller to check that the commitment matches the expected
VM executable.