Struct diem_sdk::types::proof::definition::default_protocol::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<TransactionAccumulatorSummary, Error>

pub fn version(&self) -> u64

pub fn root_hash(&self) -> HashValue

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

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: u64
) -> Result<TransactionAccumulatorSummary, Error>

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<TransactionAccumulatorSummary, Error>

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 Clone for TransactionAccumulatorSummary

pub 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

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

Formats the value using the given formatter.

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

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

Deserialize this value from the given Serde deserializer.

impl PartialEq<TransactionAccumulatorSummary> for TransactionAccumulatorSummary

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

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

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

This method tests for !=.

impl Serialize for TransactionAccumulatorSummary

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 Eq for TransactionAccumulatorSummary

impl StructuralEq for TransactionAccumulatorSummary

impl StructuralPartialEq for TransactionAccumulatorSummary