Struct diem_types::proof::definition::AccumulatorConsistencyProof

pub struct AccumulatorConsistencyProof { /* private fields */ }

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>) -> Self

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>

Trait Implementations

impl Arbitrary for AccumulatorConsistencyProof

type Parameters = ()

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

type Strategy = BoxedStrategy<AccumulatorConsistencyProof>

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 AccumulatorConsistencyProof

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

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

Formats the value using the given formatter.

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

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

Deserialize this value from the given Serde deserializer.

impl PartialEq<AccumulatorConsistencyProof> for AccumulatorConsistencyProof

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

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 AccumulatorConsistencyProof

impl StructuralEq for AccumulatorConsistencyProof

impl StructuralPartialEq for AccumulatorConsistencyProof