Struct diem_types::proof::definition::TransactionAccumulatorSummary

pub struct TransactionAccumulatorSummary(_);

An in-memory accumulator for storing a summary of the core transaction info accumulator. It is a summary in the sense that it only stores maximally frozen subtree nodes rather than storing all leaves and internal nodes.

Light clients and light nodes use this type to store their currently verified view of the transaction accumulator. When verifying state proofs, these clients attempt to extend their accumulator summary with an AccumulatorConsistencyProof to verifiably ratchet their trusted view of the accumulator to a newer state.

Implementations

impl TransactionAccumulatorSummary

pub fn new( accumulator: InMemoryAccumulator<TransactionAccumulatorHasher> ) -> Result<Self>

pub fn version(&self) -> Version

pub fn root_hash(&self) -> HashValue

pub fn verify_consistency(&self, ledger_info: &LedgerInfo) -> Result<()>

Verify that this accumulator summary is “consistent” with the given LedgerInfo, i.e., they both have the same version and accumulator root hash.

pub fn try_from_genesis_proof( genesis_proof: AccumulatorConsistencyProof, target_version: Version ) -> Result<Self>

Try to build an accumulator summary using a consistency proof starting from pre-genesis.

pub fn try_extend_with_proof( &self, consistency_proof: &AccumulatorConsistencyProof, target_li: &LedgerInfo ) -> Result<Self>

Try to extend an existing accumulator summary with a consistency proof starting from our current version. Then validate that the resulting accumulator summary is consistent with the given target LedgerInfo.

Trait Implementations

impl Arbitrary for TransactionAccumulatorSummary

type Parameters = ()

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

type Strategy = BoxedStrategy<TransactionAccumulatorSummary>

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

fn arbitrary_with(_args: 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 TransactionAccumulatorSummary

fn clone(&self) -> TransactionAccumulatorSummary

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TransactionAccumulatorSummary

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TransactionAccumulatorSummary

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

Deserialize this value from the given Serde deserializer.

impl PartialEq<TransactionAccumulatorSummary> for TransactionAccumulatorSummary

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

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 TransactionAccumulatorSummary

impl StructuralEq for TransactionAccumulatorSummary

impl StructuralPartialEq for TransactionAccumulatorSummary