Struct diem_types::proof::definition::SparseMerkleProof [−][src]
pub struct SparseMerkleProof<V> { /* fields omitted */ }
Expand description
A proof that can be used to authenticate an element in a Sparse Merkle Tree given trusted root
hash. For example, TransactionInfoToAccountProof
can be constructed on top of this structure.
Implementations
impl<V> SparseMerkleProof<V> where
V: CryptoHash,
[src]
impl<V> SparseMerkleProof<V> where
V: CryptoHash,
[src]pub fn new(leaf: Option<SparseMerkleLeafNode>, siblings: Vec<HashValue>) -> Self
[src]
pub fn new(leaf: Option<SparseMerkleLeafNode>, siblings: Vec<HashValue>) -> Self
[src]Constructs a new SparseMerkleProof
using leaf and a list of siblings.
pub fn leaf(&self) -> Option<SparseMerkleLeafNode>
[src]
pub fn leaf(&self) -> Option<SparseMerkleLeafNode>
[src]Returns the leaf node in this proof.
pub fn verify(
&self,
expected_root_hash: HashValue,
element_key: HashValue,
element_value: Option<&V>
) -> Result<()>
[src]
pub fn verify(
&self,
expected_root_hash: HashValue,
element_key: HashValue,
element_value: Option<&V>
) -> Result<()>
[src]If element_value
is present, verifies an element whose key is element_key
and value is
element_value
exists in the Sparse Merkle Tree using the provided proof. Otherwise
verifies the proof is a valid non-inclusion proof that shows this key doesn’t exist in the
tree.
Trait Implementations
impl<V: Clone> Clone for SparseMerkleProof<V>
[src]
impl<V: Clone> Clone for SparseMerkleProof<V>
[src]fn clone(&self) -> SparseMerkleProof<V>
[src]
fn clone(&self) -> SparseMerkleProof<V>
[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<V: Debug> Debug for SparseMerkleProof<V>
[src]
impl<V: Debug> Debug for SparseMerkleProof<V>
[src]impl<'de, V> Deserialize<'de> for SparseMerkleProof<V>
[src]
impl<'de, V> Deserialize<'de> for SparseMerkleProof<V>
[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<V: PartialEq> PartialEq<SparseMerkleProof<V>> for SparseMerkleProof<V>
[src]
impl<V: PartialEq> PartialEq<SparseMerkleProof<V>> for SparseMerkleProof<V>
[src]fn eq(&self, other: &SparseMerkleProof<V>) -> bool
[src]
fn eq(&self, other: &SparseMerkleProof<V>) -> bool
[src]This method tests for self
and other
values to be equal, and is used
by ==
. Read more
fn ne(&self, other: &SparseMerkleProof<V>) -> bool
[src]
fn ne(&self, other: &SparseMerkleProof<V>) -> bool
[src]This method tests for !=
.
impl<V> Serialize for SparseMerkleProof<V>
[src]
impl<V> Serialize for SparseMerkleProof<V>
[src]impl<V: Eq> Eq for SparseMerkleProof<V>
[src]
impl<V> StructuralEq for SparseMerkleProof<V>
[src]
impl<V> StructuralPartialEq for SparseMerkleProof<V>
[src]
Auto Trait Implementations
impl<V> RefUnwindSafe for SparseMerkleProof<V> where
V: RefUnwindSafe,
V: RefUnwindSafe,
impl<V> Send for SparseMerkleProof<V> where
V: Send,
V: Send,
impl<V> Sync for SparseMerkleProof<V> where
V: Sync,
V: Sync,
impl<V> Unpin for SparseMerkleProof<V> where
V: Unpin,
V: Unpin,
impl<V> UnwindSafe for SparseMerkleProof<V> where
V: UnwindSafe,
V: UnwindSafe,
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>,