Struct diem_types::proof::definition::AccountStateProof[−][src]

pub struct AccountStateProof { /* fields omitted */ }
Expand description

The complete proof used to authenticate the state of an account. This structure consists of the AccumulatorProof from LedgerInfo to TransactionInfo, the TransactionInfo object and the SparseMerkleProof from state root to the account.

Implementations

impl AccountStateProof[src]

pub fn new(
    transaction_info_with_proof: TransactionInfoWithProof,
    transaction_info_to_account_proof: SparseMerkleProof<AccountStateBlob>
) -> Self[src]

Constructs a new AccountStateProof using given ledger_info_to_transaction_info_proof, transaction_info and transaction_info_to_account_proof.

pub fn transaction_info_with_proof(&self) -> &TransactionInfoWithProof[src]

Returns the transaction_info_with_proof object in this proof.

pub fn transaction_info_to_account_proof(
    &self
) -> &SparseMerkleProof<AccountStateBlob>[src]

Returns the transaction_info_to_account_proof object in this proof.

pub fn verify(
    &self,
    ledger_info: &LedgerInfo,
    state_version: Version,
    account_address_hash: HashValue,
    account_state_blob: Option<&AccountStateBlob>
) -> Result<()>[src]

Verifies that the state of an account at version state_version is correct using the provided proof. If account_state_blob is present, we expect the account to exist, otherwise we expect the account to not exist.

Trait Implementations

impl Clone for AccountStateProof[src]

fn clone(&self) -> AccountStateProof[src]

Returns a copy of the value. Read more

fn clone_from(&mut self, source: &Self)1.0.0[src]

Performs copy-assignment from source. Read more

impl Debug for AccountStateProof[src]

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

Formats the value using the given formatter. Read more

impl<'de> Deserialize<'de> for AccountStateProof[src]

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

Deserialize this value from the given Serde deserializer. Read more

impl PartialEq<AccountStateProof> for AccountStateProof[src]

fn eq(&self, other: &AccountStateProof) -> bool[src]

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

fn ne(&self, other: &AccountStateProof) -> bool[src]

This method tests for !=.

impl Serialize for AccountStateProof[src]

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

Serialize this value into the given Serde serializer. Read more

impl Eq for AccountStateProof[src]

impl StructuralEq for AccountStateProof[src]

impl StructuralPartialEq for AccountStateProof[src]

Auto Trait Implementations

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T, U> Into<U> for T where
    U: From<T>, [src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T> Same<T> for T

type Output = T

Should always be Self

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

pub fn test_only_hash(&self) -> HashValue[src]

Generates a hash used only for tests.

impl<T> ToOwned for T where
    T: Clone, [src]

type Owned = T

The resulting type after obtaining ownership.

pub fn to_owned(&self) -> T[src]

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

pub fn clone_into(&self, target: &mut T)[src]

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

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

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

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

The type returned in the event of a conversion error.

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

Performs the conversion.

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

pub fn vzip(self) -> V

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