Struct TransactionWitness

pub struct TransactionWitness {
    pub tx_inputs: TransactionInputs,
    pub tx_args: TransactionArgs,
    pub advice_witness: AdviceInputs,
    pub account_codes: Vec<AccountCode>,
}

Transaction witness contains all the data required to execute and prove a Miden rollup transaction.

The main purpose of the transaction witness is to enable stateless re-execution and proving of transactions.

A transaction witness consists of:

• Transaction inputs which contain information about the initial state of the account, input notes, block header etc.
• Optional transaction arguments which may contain a transaction script, note arguments, and any additional advice data to initialize the advice provide with prior to transaction execution.
• Advice witness which contains all data requested by the VM from the advice provider while executing the transaction program.

TODO: currently, the advice witness contains redundant and irrelevant data (e.g., tx inputs and tx outputs; account codes and a subset of that data in advice inputs). We should optimize it to contain only the minimum data required for executing/proving the transaction.

Fields

tx_inputs: TransactionInputs

tx_args: TransactionArgs

advice_witness: AdviceInputs

account_codes: Vec<AccountCode>

Trait Implementations

impl Clone for TransactionWitness

fn clone(&self) -> TransactionWitness

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TransactionWitness

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

Formats the value using the given formatter.

impl Deserializable for TransactionWitness

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 From<ExecutedTransaction> for TransactionWitness

fn from(tx: ExecutedTransaction) -> Self

Converts to this type from the input type.

impl PartialEq for TransactionWitness

fn eq(&self, other: &TransactionWitness) -> 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 TransactionWitness

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 TransactionWitness

impl StructuralPartialEq for TransactionWitness