Struct ExecutionWitness 

pub struct ExecutionWitness { /* private fields */ }

Complete in-memory witness produced by a traced program execution.

The processor constructs its VM witness and optional singleton precompile witness from the same execution output, so they retain the same deferred root. The aggregate may contain private and potentially large prover data. Its binary form is trusted replay data: sparse MAST node and digest maps inside the trace replay are not checked against a source MastForest commitment; see https://github.com/0xMiden/miden-vm/issues/3303.

Implementations

impl ExecutionWitness

pub fn claim(&self) -> ExecutionClaim

Returns the public claim associated with this witness.

pub const fn has_precompiles(&self) -> bool

Returns whether this witness contains precompile work.

pub fn into_parts(self) -> (VmWitness, Option<PrecompileWitness>)

Consumes this witness and returns its supported low-level proving components.

The VmWitness can be passed to build_trace. The optional PrecompileWitness is present only when execution authenticated deferred precompile work.

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

Decodes one execution witness from a potentially adversarial byte slice.

The reader applies an input-proportional limit to byte consumption and collection preallocation, then rejects trailing bytes. These checks establish safe transport syntax. They do not prove that the sparse MAST replay is a subset of a particular source forest because the witness wire does not carry such a proof.

Use Self::read_from_bytes_trusted for bytes retained inside a trusted prover system.

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

Decodes execution witness bytes retained inside a trusted prover system.

This preserves the original permissive byte-slice behavior. It trusts sparse MAST replay hashes, accepts trailing bytes, and uses a replay-sized byte budget. Use Self::read_from_bytes for bytes received across a trust boundary.

Trait Implementations

impl Debug for ExecutionWitness

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

Formats the value using the given formatter.

impl Deserializable for ExecutionWitness

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 Serializable for ExecutionWitness

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.