Struct diem_sdk::types::proof::AccumulatorConsistencyProof

pub struct AccumulatorConsistencyProof { /* fields omitted */ }

A proof that can be used to show that two Merkle accumulators are consistent – the big one can be obtained by appending certain leaves to the small one. For example, at some point in time a client knows that the root hash of the ledger at version 10 is old_root (it could be a waypoint). If a server wants to prove that the new ledger at version N is derived from the old ledger the client knows, it can show the subtrees that represent all the new leaves. If the client can verify that it can indeed obtain the new root hash by appending these new leaves, it can be convinced that the two accumulators are consistent.

See [crate::proof::accumulator::Accumulator::append_subtrees] for more details.

Implementations

impl AccumulatorConsistencyProof

pub fn new(subtrees: Vec<HashValue, Global>) -> AccumulatorConsistencyProof

Constructs a new AccumulatorConsistencyProof using given subtrees.

pub fn is_empty(&self) -> bool

pub fn subtrees(&self) -> &[HashValue]

Returns the subtrees.

pub fn into_subtrees(self) -> Vec<HashValue, Global>

Trait Implementations

impl Clone for AccumulatorConsistencyProof

pub fn clone(&self) -> AccumulatorConsistencyProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AccumulatorConsistencyProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AccumulatorConsistencyProof

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

Deserialize this value from the given Serde deserializer.

impl PartialEq<AccumulatorConsistencyProof> for AccumulatorConsistencyProof

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

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

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

This method tests for !=.

impl Serialize for AccumulatorConsistencyProof

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<&'_ AccumulatorConsistencyProof> for AccumulatorConsistencyProofView

type Error = Error

The type returned in the event of a conversion error.

pub fn try_from(
    proof: &AccumulatorConsistencyProof
) -> Result<AccumulatorConsistencyProofView, <AccumulatorConsistencyProofView as TryFrom<&'_ AccumulatorConsistencyProof>>::Error>

Performs the conversion.

impl<'_> TryFrom<&'_ AccumulatorConsistencyProofView> for AccumulatorConsistencyProof

type Error = Error

The type returned in the event of a conversion error.

pub fn try_from(
    view: &AccumulatorConsistencyProofView
) -> Result<AccumulatorConsistencyProof, <AccumulatorConsistencyProof as TryFrom<&'_ AccumulatorConsistencyProofView>>::Error>

Performs the conversion.

impl Eq for AccumulatorConsistencyProof

impl StructuralEq for AccumulatorConsistencyProof

impl StructuralPartialEq for AccumulatorConsistencyProof