Struct ExecutionProof 

pub struct ExecutionProof { /* private fields */ }

A proof of correct execution of Miden VM.

The proof contains the Miden VM STARK proof and deferred proof material for the execution’s precompile claims. Verifying the deferred proof returns the root used to check the VM STARK public inputs.

Empty and STARK-backed deferred proofs are final form; wire-backed proofs are partial form.

Implementations

impl ExecutionProof

pub const fn new(miden: StarkProof, deferred: DeferredProof) -> Self

Creates a new instance of ExecutionProof from a Miden VM STARK proof envelope and deferred proof material.

pub fn from_parts( miden_proof_bytes: Vec<u8>, hash_fn: HashFunction, deferred: impl Into<DeferredProof>, ) -> Self

Creates a new instance of ExecutionProof from serialized Miden VM STARK proof bytes, hash function, and deferred proof material.

pub const fn miden_proof(&self) -> &StarkProof

Returns the Miden VM STARK proof envelope.

pub const fn deferred_proof(&self) -> &DeferredProof

Returns the deferred proof material associated with the Miden VM proof.

pub const fn is_final(&self) -> bool

Returns true if this proof is in final form.

This is a shape check only: it means the deferred proof is empty or STARK-backed, not that either the VM STARK proof or the deferred proof has been verified.

pub fn security_level(&self) -> u32

Returns conjectured security level of this proof in bits.

TODO: this is a placeholder returning a hardcoded 96 (honest only for the current parameter preset). The conjectured estimator now exists as miden_air::config::conjectured_security_level, but this method cannot call it — miden-air depends on miden-core, not the reverse. The intended fix is to stop having the proof self-report a security level and instead grade it in the verifier (which does depend on miden-air).

pub fn to_bytes(&self) -> Vec<u8>

Serializes this proof into a vector of bytes.

pub fn from_bytes(source: &[u8]) -> Result<Self, DeserializationError>

Reads the source bytes, parsing a new proof instance.

The serialization layout matches the Serializable implementation of ExecutionProof.

Trait Implementations

impl Clone for ExecutionProof

fn clone(&self) -> ExecutionProof

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ExecutionProof

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Deserializable for ExecutionProof

fn read_from<R: ByteReader>( source: &mut R, ) -> Result<Self, DeserializationError>

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

fn min_serialized_size() -> usize

Returns the minimum serialized size for one instance of this type.

fn read_from_bytes_with_budget( bytes: &[u8], budget: usize, ) -> Result<Self, DeserializationError>

Deserializes Self from bytes with a byte budget limit.

impl Eq for ExecutionProof

impl PartialEq for ExecutionProof

fn eq(&self, other: &ExecutionProof) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serializable for ExecutionProof

fn write_into<W: ByteWriter>(&self, target: &mut W)

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl StructuralPartialEq for ExecutionProof