Struct diem_types::transaction::TransactionOutputListWithProof

pub struct TransactionOutputListWithProof<T> {
    pub transaction_outputs: Vec<TransactionOutput>,
    pub first_transaction_output_version: Option<Version>,
    pub proof: TransactionInfoListWithProof<T>,
}

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

transaction_outputs: Vec<TransactionOutput>

first_transaction_output_version: Option<Version>

proof: TransactionInfoListWithProof<T>

Implementations

impl<T: TransactionInfoTrait> TransactionOutputListWithProof<T>

pub fn new(
    transaction_outputs: Vec<TransactionOutput>,
    first_transaction_output_version: Option<Version>,
    proof: TransactionInfoListWithProof<T>
) -> 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 in each transaction output match the expected event root hashes in the proof.

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<T: Clone> Clone for TransactionOutputListWithProof<T>

fn clone(&self) -> TransactionOutputListWithProof<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for TransactionOutputListWithProof<T>

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

Formats the value using the given formatter.

impl<'de, T> Deserialize<'de> for TransactionOutputListWithProof<T> where
    T: Deserialize<'de>, 

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

Deserialize this value from the given Serde deserializer.

impl<T: PartialEq> PartialEq<TransactionOutputListWithProof<T>> for TransactionOutputListWithProof<T>

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

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

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

This method tests for !=.

impl<T> Serialize for TransactionOutputListWithProof<T> where
    T: Serialize, 

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

Serialize this value into the given Serde serializer.

impl<T: Eq> Eq for TransactionOutputListWithProof<T>

impl<T> StructuralEq for TransactionOutputListWithProof<T>

impl<T> StructuralPartialEq for TransactionOutputListWithProof<T>