Struct diem_sdk::types::proof::AccountStateProof

pub struct AccountStateProof<T> { /* fields omitted */ }

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<T> AccountStateProof<T> where
    T: TransactionInfoTrait, 

pub fn new(
    transaction_info_with_proof: TransactionInfoWithProof<T>,
    transaction_info_to_account_proof: SparseMerkleProof<AccountStateBlob>
) -> AccountStateProof<T>

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<T>

Returns the transaction_info_with_proof object in this proof.

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

Returns the transaction_info_to_account_proof object in this proof.

pub fn verify(
    &self,
    ledger_info: &LedgerInfo,
    state_version: u64,
    account_address_hash: HashValue,
    account_state_blob: Option<&AccountStateBlob>
) -> Result<(), Error>

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<T> Clone for AccountStateProof<T> where
    T: Clone, 

pub fn clone(&self) -> AccountStateProof<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T> Debug for AccountStateProof<T> where
    T: Debug, 

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

Formats the value using the given formatter.

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

pub fn deserialize<__D>(
    __deserializer: __D
) -> Result<AccountStateProof<T>, <__D as Deserializer<'de>>::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl<T> PartialEq<AccountStateProof<T>> for AccountStateProof<T> where
    T: PartialEq<T>, 

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

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

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

This method tests for !=.

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

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

Serialize this value into the given Serde serializer.

impl<'_> TryFrom<&'_ AccountStateProofView> for AccountStateProof<TransactionInfo>

type Error = Error

The type returned in the event of a conversion error.

pub fn try_from(
    account_state_proof_view: &AccountStateProofView
) -> Result<AccountStateProof<TransactionInfo>, <AccountStateProof<TransactionInfo> as TryFrom<&'_ AccountStateProofView>>::Error>

Performs the conversion.

impl TryFrom<AccountStateProof<TransactionInfo>> for AccountStateProofView

type Error = Error

The type returned in the event of a conversion error.

pub fn try_from(
    account_state_proof: AccountStateProof<TransactionInfo>
) -> Result<AccountStateProofView, Error>

Performs the conversion.

impl<T> Eq for AccountStateProof<T> where
    T: Eq, 

impl<T> StructuralEq for AccountStateProof<T>

impl<T> StructuralPartialEq for AccountStateProof<T>