Struct miden_objects::transaction::TransactionWitness

pub struct TransactionWitness { /* private fields */ }

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:

• The executable transaction Program.
• Transaction inputs which contain information about the initial state of the account, input notes, block header etc.
• An optional transaction script.
• 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). we should optimize it to contain only the minimum data required for executing/proving the transaction.

Implementations

impl TransactionWitness

pub fn new( program: Program, tx_inputs: TransactionInputs, tx_args: TransactionArgs, advice_witness: AdviceInputs ) -> Self

Creates a new TransactionWitness from the provided data.

pub fn program(&self) -> &Program

Returns a reference the program defining this transaction.

pub fn account(&self) -> &Account

Returns the account state before the transaction was executed.

pub fn input_notes(&self) -> &InputNotes

Returns the notes consumed in this transaction.

pub fn block_header(&self) -> &BlockHeader

Returns the block header for the block against which the transaction was executed.

pub fn tx_args(&self) -> &TransactionArgs

Returns a reference to the transaction args.

pub fn tx_inputs(&self) -> &TransactionInputs

Returns a reference to the inputs for this transaction.

pub fn advice_witness(&self) -> &AdviceInputs

Returns all the data requested by the VM from the advice provider while executing the transaction program.

Trait Implementations

impl From<ExecutedTransaction> for TransactionWitness

fn from(tx: ExecutedTransaction) -> Self

Converts to this type from the input type.