Struct jmt::proof::SparseMerkleProof

pub struct SparseMerkleProof<H: SimpleHasher> { /* private fields */ }

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<H: SimpleHasher> SparseMerkleProof<H>

pub fn leaf(&self) -> Option<SparseMerkleLeafNode>

Returns the leaf node in this proof.

pub fn verify_existence<V: AsRef<[u8]>>( &self, expected_root_hash: RootHash, element_key: KeyHash, element_value: V ) -> Result<()>

Verifies an element whose key is element_key and value is element_value exists in the Sparse Merkle Tree using the provided proof.

pub fn verify_nonexistence( &self, expected_root_hash: RootHash, element_key: KeyHash ) -> Result<()>

Verifies the proof is a valid non-inclusion proof that shows this key doesn’t exist in the tree.

pub fn verify<V: AsRef<[u8]>>( &self, expected_root_hash: RootHash, element_key: KeyHash, element_value: Option<V> ) -> Result<()>

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.

pub fn root_hash(&self) -> RootHash

Trait Implementations

impl<H: SimpleHasher> BorshDeserialize for SparseMerkleProof<H>

fn deserialize_reader<R: Read>(reader: &mut R) -> Result<Self, Error>

fn deserialize(buf: &mut &[u8]) -> Result<Self, Error>

Deserializes this instance from a given slice of bytes. Updates the buffer to point at the remaining bytes.

fn try_from_slice(v: &[u8]) -> Result<Self, Error>

Deserialize this instance from a slice of bytes.

fn try_from_reader<R>(reader: &mut R) -> Result<Self, Error>

where R: Read,

impl<H: SimpleHasher> BorshSerialize for SparseMerkleProof<H>

fn serialize<W: Write>(&self, writer: &mut W) -> Result<(), Error>

impl<H: SimpleHasher> Clone for SparseMerkleProof<H>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<H: SimpleHasher> Debug for SparseMerkleProof<H>

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

Formats the value using the given formatter.

impl<'de, H: SimpleHasher> Deserialize<'de> for SparseMerkleProof<H>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<H: SimpleHasher> PartialEq for SparseMerkleProof<H>

fn eq(&self, other: &Self) -> 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<H: SimpleHasher> Serialize for SparseMerkleProof<H>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.