Struct ExecutionProof 

pub struct ExecutionProof {
    pub proof: Proof,
    pub hash_fn: HashFunction,
    pub pc_requests: Vec<PrecompileRequest>,
}

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: Proof

hash_fn: HashFunction

pc_requests: Vec<PrecompileRequest>

Implementations

impl ExecutionProof

pub const fn new( proof: Proof, hash_fn: HashFunction, pc_requests: Vec<PrecompileRequest>, ) -> ExecutionProof

Creates a new instance of ExecutionProof from the specified STARK proof and hash function, and a list of all deferred PrecompileRequests.

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

Returns the underlying STARK proof.

pub const fn hash_fn(&self) -> HashFunction

Returns the hash function used during proof generation process.

pub fn precompile_requests(&self) -> &[PrecompileRequest]

Returns the list of precompile requests made during the execution of the program.

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<ExecutionProof, DeserializationError>

Reads the source bytes, parsing a new proof instance.

pub fn into_parts(self) -> (HashFunction, Proof, Vec<PrecompileRequest>)

Returns components of this execution proof.

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<(), Error>

Formats the value using the given formatter.

impl Deserializable for ExecutionProof

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

where R: ByteReader,

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

Tests for self and other values to be equal, and is used by ==.

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

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>(&self, target: &mut W)

where W: ByteWriter,

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