Struct aptos_types::proof::definition::TransactionInfoWithProof

source · [−]

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

Expand description

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

source

impl TransactionInfoWithProof

source

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.

source

pub fn ledger_info_to_transaction_info_proof(
&self
) -> &TransactionAccumulatorProof

Returns the ledger_info_to_transaction_info_proof object in this proof.

source

pub fn transaction_info(&self) -> &TransactionInfo

Returns the transaction_info object in this proof.

source

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

source

impl Clone for TransactionInfoWithProof

source

fn clone(&self) -> TransactionInfoWithProof

Returns a copy of the value. Read more

1.0.0 · source

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

Performs copy-assignment from source. Read more

source

impl Debug for TransactionInfoWithProof

source

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

Formats the value using the given formatter. Read more

source

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

source

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

Deserialize this value from the given Serde deserializer. Read more

source

impl PartialEq<TransactionInfoWithProof> for TransactionInfoWithProof

source

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

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

source

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

This method tests for !=.

source

impl Serialize for TransactionInfoWithProof

source

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

Serialize this value into the given Serde serializer. Read more

source

impl Eq for TransactionInfoWithProof

source

impl StructuralEq for TransactionInfoWithProof

source

impl StructuralPartialEq for TransactionInfoWithProof

Auto Trait Implementations

impl RefUnwindSafe for TransactionInfoWithProof

impl Send for TransactionInfoWithProof

impl Sync for TransactionInfoWithProof

impl Unpin for TransactionInfoWithProof

impl UnwindSafe for TransactionInfoWithProof

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,

source

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T> Instrument for T

source

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

source

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Pointable for T

const ALIGN: usize = mem::align_of::<T>()

The alignment of pointer.

type Init = T

The type for initializers.

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

source

impl<T> Same<T> for T

type Output = T

Should always be Self

source

impl<T> TestOnlyHash for T where
T: Serialize + ?Sized,

source

fn test_only_hash(&self) -> HashValue

Generates a hash used only for tests.

source

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

source

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

source

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

impl<V, T> VZip<V> for T where
V: MultiLane<T>,

fn vzip(self) -> V

source

impl<T> WithSubscriber for T

source

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

source

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

source

Struct aptos_types::proof::definition::TransactionInfoWithProof

Fields

Implementations

impl TransactionInfoWithProof

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

pub fn ledger_info_to_transaction_info_proof( &self) -> &TransactionAccumulatorProof

pub fn transaction_info(&self) -> &TransactionInfo

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

Trait Implementations

impl Clone for TransactionInfoWithProof

fn clone(&self) -> TransactionInfoWithProof

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

impl Debug for TransactionInfoWithProof

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

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

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

impl PartialEq<TransactionInfoWithProof> for TransactionInfoWithProof

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

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

impl Serialize for TransactionInfoWithProof

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

impl Eq for TransactionInfoWithProof

impl StructuralEq for TransactionInfoWithProof

impl StructuralPartialEq for TransactionInfoWithProof

Auto Trait Implementations

impl RefUnwindSafe for TransactionInfoWithProof

impl Send for TransactionInfoWithProof

impl Sync for TransactionInfoWithProof

impl Unpin for TransactionInfoWithProof

impl UnwindSafe for TransactionInfoWithProof

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<Q, K> Equivalent<K> for Q where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<T> Pointable for T

const ALIGN: usize = mem::align_of::<T>()

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same<T> for T

type Output = T

impl<T> TestOnlyHash for T where T: Serialize + ?Sized,

fn test_only_hash(&self) -> HashValue

impl<T> ToOwned for T where T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for T where V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

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

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

pub fn ledger_info_to_transaction_info_proof(
&self
) -> &TransactionAccumulatorProof

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

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

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

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> TestOnlyHash for T where
T: Serialize + ?Sized,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

impl<V, T> VZip<V> for T where
V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,

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