verify_app_proof_with_expected_exe_commit

openvm_sdk::prover

Function verify_app_proof_with_expected_exe_commit 

Source 
pub fn verify_app_proof_with_expected_exe_commit<E: StarkEngine<SC = SC>>(
    app_vk: &AppVerifyingKey,
    proof: &ContinuationVmProof<E::SC>,
    expected_exe_commit: Option<Digest>,
) -> Result<(), SdkError>
Expand description

Verifies a ContinuationVmProof and optionally checks that the recovered app_exe_commit matches the expected value.