Struct aptos_types::transaction::TransactionOutputListWithProof

pub struct TransactionOutputListWithProof {
    pub transactions_and_outputs: Vec<(Transaction, TransactionOutput)>,
    pub first_transaction_output_version: Option<Version>,
    pub proof: TransactionInfoListWithProof,
}

This differs from TransactionListWithProof in that TransactionOutputs are stored (no transactions). Events are stored inside each TransactionOutput.

Note: the proof cannot verify the TransactionOutputs themselves. This requires speculative execution of each TransactionOutput to verify that the resulting state matches the expected state in the proof (for each version).

Fields

transactions_and_outputs: Vec<(Transaction, TransactionOutput)>

first_transaction_output_version: Option<Version>

proof: TransactionInfoListWithProof

Implementations

impl TransactionOutputListWithProof

pub fn new(
    transactions_and_outputs: Vec<(Transaction, TransactionOutput)>,
    first_transaction_output_version: Option<Version>,
    proof: TransactionInfoListWithProof
) -> Self

pub fn new_empty() -> Self

A convenience function to create an empty proof. Mostly used for tests.

pub fn verify(
    &self,
    ledger_info: &LedgerInfo,
    first_transaction_output_version: Option<Version>
) -> Result<()>

Verifies the transaction output list with proof using the given ledger_info. This method will ensure:

1. All transaction infos exist on the given ledger_info.
2. If first_transaction_output_version is None, the transaction output list is empty. Otherwise, the list starts at first_transaction_output_version.
3. Events, gas, status in each transaction output match the expected event root hashes, the gas used and the transaction execution status in the proof, respectively.
4. The transaction hashes match those of the transaction infos.

Note: the proof cannot verify the TransactionOutputs themselves. This requires speculative execution of each TransactionOutput to verify that the resulting state matches the expected state in the proof (for each version).

Trait Implementations

impl Clone for TransactionOutputListWithProof

fn clone(&self) -> TransactionOutputListWithProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TransactionOutputListWithProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TransactionOutputListWithProof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl PartialEq<TransactionOutputListWithProof> for TransactionOutputListWithProof

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

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

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

This method tests for !=.

impl Serialize for TransactionOutputListWithProof

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl Eq for TransactionOutputListWithProof

impl StructuralEq for TransactionOutputListWithProof

impl StructuralPartialEq for TransactionOutputListWithProof