Struct diem_types::proof::definition::TransactionInfoWithProof

pub struct TransactionInfoWithProof {
    pub ledger_info_to_transaction_info_proof: TransactionAccumulatorProof,
    pub transaction_info: TransactionInfo,
}

TransactionInfo and a TransactionAccumulatorProof connecting it to the ledger root.

Fields

ledger_info_to_transaction_info_proof: TransactionAccumulatorProof

The accumulator proof from ledger info root to leaf that authenticates the hash of the TransactionInfo object.

transaction_info: TransactionInfo

The TransactionInfo object at the leaf of the accumulator.

Implementations

impl TransactionInfoWithProof

pub fn new( ledger_info_to_transaction_info_proof: TransactionAccumulatorProof, transaction_info: TransactionInfo ) -> Self

Constructs a new TransactionWithProof object using given ledger_info_to_transaction_info_proof.

pub fn ledger_info_to_transaction_info_proof( &self ) -> &TransactionAccumulatorProof

Returns the ledger_info_to_transaction_info_proof object in this proof.

pub fn transaction_info(&self) -> &TransactionInfo

Returns the transaction_info object in this proof.

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

Verifies that the TransactionInfo exists in the ledger represented by the LedgerInfo at specified version.

Trait Implementations

impl Arbitrary for TransactionInfoWithProof

type Parameters = (<AccumulatorProof<TransactionAccumulatorHasher> as Arbitrary>::Parameters, <TransactionInfo as Arbitrary>::Parameters)

The type of parameters that arbitrary_with accepts for configuration of the generated Strategy. Parameters must implement Default.

type Strategy = Map<(<AccumulatorProof<TransactionAccumulatorHasher> as Arbitrary>::Strategy, <TransactionInfo as Arbitrary>::Strategy), fn(_: (AccumulatorProof<TransactionAccumulatorHasher>, TransactionInfo)) -> TransactionInfoWithProof>

The type of Strategy used to generate values of type Self.

fn arbitrary_with(_top: Self::Parameters) -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self).

impl Clone for TransactionInfoWithProof

fn clone(&self) -> TransactionInfoWithProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TransactionInfoWithProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TransactionInfoWithProof

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

Deserialize this value from the given Serde deserializer.

impl PartialEq<TransactionInfoWithProof> for TransactionInfoWithProof

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for TransactionInfoWithProof

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 TransactionInfoWithProof

impl StructuralEq for TransactionInfoWithProof

impl StructuralPartialEq for TransactionInfoWithProof