Function verify_real_proof_with_vk 

pub fn verify_real_proof_with_vk(
    proof: &RealProof,
    vk: &VerificationKey,
    expected_output: Option<&dyn Commit>,
) -> Result<()>

Verify a real proof envelope against a real verification key.

This helper validates proof/VK compatibility and optional expected public output. It intentionally does not enforce app.bin hash checks.