Struct aptos_types::proof::definition::TransactionAccumulatorSummary

pub struct TransactionAccumulatorSummary(pub InMemoryAccumulator<TransactionAccumulatorHasher>);

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.

Tuple Fields

0: InMemoryAccumulator<TransactionAccumulatorHasher>

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 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: &TransactionAccumulatorSummary) -> bool

This method tests for !=.

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