Struct miden_air::ExecutionProof

pub struct ExecutionProof {
    pub proof: StarkProof,
    pub hash_fn: HashFunction,
}

A proof of correct execution of Miden VM.

The proof encodes the proof itself as well as STARK protocol parameters used to generate the proof. However, the proof does not contain public inputs needed to verify the proof.

Fields

proof: StarkProof

hash_fn: HashFunction

Implementations

impl ExecutionProof

pub const fn new(proof: StarkProof, hash_fn: HashFunction) -> Self

Creates a new instance of ExecutionProof from the specified STARK proof and hash function.

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

Returns the underlying STARK proof.

pub const fn hash_fn(&self) -> HashFunction

Returns the hash function used during proof generation process.

pub fn security_level(&self) -> u32

Returns conjectured security level of this proof in bits.

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.

pub fn into_parts(self) -> (HashFunction, StarkProof)

Returns components of this execution proof.

Trait Implementations

impl Clone for ExecutionProof

fn clone(&self) -> ExecutionProof

Returns a copy 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.

impl PartialEq for ExecutionProof

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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 Eq for ExecutionProof

impl StructuralPartialEq for ExecutionProof