Struct ExecutionProof 

pub struct ExecutionProof { /* private fields */ }

A versioned Miden VM execution proof.

This type preserves proof artifacts without establishing their validity.

Implementations

impl ExecutionProof

pub fn new(vm: VmProof, precompile: PrecompileStatus) -> Self

Creates an execution proof with the compatibility declared by the current prover.

pub const fn from_parts( compatibility: ExecutionProofCompatibility, vm: VmProof, precompile: PrecompileStatus, ) -> Self

Creates an execution proof from its compatibility, VM proof, and precompile state.

pub const fn compatibility(&self) -> &ExecutionProofCompatibility

Returns the compatibility declared by this proof.

pub const fn vm(&self) -> &VmProof

Returns the VM proof.

pub const fn precompile(&self) -> &PrecompileStatus

Returns the state of the precompile work.

pub fn into_parts( self, ) -> (ExecutionProofCompatibility, VmProof, PrecompileStatus)

Splits this proof into its compatibility, VM proof, and precompile state.

pub const fn is_complete(&self) -> bool

Returns whether this proof has completed its lifecycle transition.

pub const fn has_precompiles(&self) -> bool

Returns whether this proof contains precompile work.

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

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

This method does not verify the precompile proof or check it against the VM proof. The verifier performs those checks.

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

Encodes this proof canonically.

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

Decodes a complete versioned proof from canonical bytes.

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