Enum ExecutionProof 

pub enum ExecutionProof {
    Deferred {
        vm: VmProof,
        precompile: DeferredStateWire,
    },
    Complete {
        vm: VmProof,
        precompile: Option<PrecompileProof>,
    },
}

A Miden VM execution proof, either awaiting precompile proving or complete.

This type preserves proof artifacts without establishing their validity.

Variants

Deferred

The VM STARK and deferred precompile wire are available.

Fields

vm: VmProof

precompile: DeferredStateWire

Complete

The proof lifecycle is complete, with an optional precompile proof.

Fields

vm: VmProof

precompile: Option<PrecompileProof>

Implementations

impl ExecutionProof

pub const fn is_complete(&self) -> bool

Returns whether this proof has completed its lifecycle transition.

pub fn complete( self, precompile: PrecompileProof, ) -> Result<Self, ExecutionProofError>

Transitions a deferred proof to complete by attaching a precompile proof.

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

Encodes either state canonically.

Encoding preserves the public enum representation and does not establish proof validity.

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

Decodes an execution proof without hydrating passive deferred wire.

Decoding establishes bounded canonical transport syntax, not proof validity.

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 min_serialized_size() -> usize

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

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

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

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