pub fn verify(
program_info: ProgramInfo,
stack_inputs: StackInputs,
stack_outputs: StackOutputs,
proof: ExecutionProof,
) -> Result<u32, VerificationError>Expand description
Verifies a Miden proof.
See miden_verifier::verify for more details.