Struct diem_types::proof::definition::AccountStateProof

pub struct AccountStateProof { /* private fields */ }

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

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

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

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: Version, account_address_hash: HashValue, account_state_blob: Option<&AccountStateBlob> ) -> Result<()>

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 Arbitrary for AccountStateProof

type Parameters = (<TransactionInfoWithProof as Arbitrary>::Parameters, <SparseMerkleProof<AccountStateBlob> as Arbitrary>::Parameters)

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

type Strategy = Map<(<TransactionInfoWithProof as Arbitrary>::Strategy, <SparseMerkleProof<AccountStateBlob> as Arbitrary>::Strategy), fn(_: (TransactionInfoWithProof, SparseMerkleProof<AccountStateBlob>)) -> AccountStateProof>

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 AccountStateProof

fn clone(&self) -> AccountStateProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AccountStateProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AccountStateProof

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

Deserialize this value from the given Serde deserializer.

impl PartialEq<AccountStateProof> for AccountStateProof

fn eq(&self, other: &AccountStateProof) -> 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 AccountStateProof

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 AccountStateProof

impl StructuralEq for AccountStateProof

impl StructuralPartialEq for AccountStateProof