Struct diem_types::proof::definition::AccumulatorConsistencyProof [−][src]
pub struct AccumulatorConsistencyProof { /* fields omitted */ }
Expand description
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
Trait Implementations
impl Clone for AccumulatorConsistencyProof
[src]
impl Clone for AccumulatorConsistencyProof
[src]fn clone(&self) -> AccumulatorConsistencyProof
[src]
fn clone(&self) -> AccumulatorConsistencyProof
[src]Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]Performs copy-assignment from source
. Read more
impl Debug for AccumulatorConsistencyProof
[src]
impl Debug for AccumulatorConsistencyProof
[src]impl<'de> Deserialize<'de> for AccumulatorConsistencyProof
[src]
impl<'de> Deserialize<'de> for AccumulatorConsistencyProof
[src]fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]Deserialize this value from the given Serde deserializer. Read more
impl PartialEq<AccumulatorConsistencyProof> for AccumulatorConsistencyProof
[src]
impl PartialEq<AccumulatorConsistencyProof> for AccumulatorConsistencyProof
[src]fn eq(&self, other: &AccumulatorConsistencyProof) -> bool
[src]
fn eq(&self, other: &AccumulatorConsistencyProof) -> bool
[src]This method tests for self
and other
values to be equal, and is used
by ==
. Read more
fn ne(&self, other: &AccumulatorConsistencyProof) -> bool
[src]
fn ne(&self, other: &AccumulatorConsistencyProof) -> bool
[src]This method tests for !=
.
impl Eq for AccumulatorConsistencyProof
[src]
impl StructuralEq for AccumulatorConsistencyProof
[src]
impl StructuralPartialEq for AccumulatorConsistencyProof
[src]
Auto Trait Implementations
impl RefUnwindSafe for AccumulatorConsistencyProof
impl Send for AccumulatorConsistencyProof
impl Sync for AccumulatorConsistencyProof
impl Unpin for AccumulatorConsistencyProof
impl UnwindSafe for AccumulatorConsistencyProof
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<T> Same<T> for T
impl<T> Same<T> for T
type Output = T
type Output = T
Should always be Self
impl<T> TestOnlyHash for T where
T: Serialize + ?Sized,
[src]
impl<T> TestOnlyHash for T where
T: Serialize + ?Sized,
[src]pub fn test_only_hash(&self) -> HashValue
[src]
pub fn test_only_hash(&self) -> HashValue
[src]Generates a hash used only for tests.
impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,
[src]type Owned = T
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn to_owned(&self) -> T
[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)
[src]
pub fn clone_into(&self, target: &mut T)
[src]🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
pub fn vzip(self) -> V
impl<T> DeserializeOwned for T where
T: for<'de> Deserialize<'de>,
[src]
T: for<'de> Deserialize<'de>,