Struct jmt::proof::UpdateMerkleProof

pub struct UpdateMerkleProof<H: SimpleHasher>(/* private fields */);

Implementations

impl<H: SimpleHasher> UpdateMerkleProof<H>

pub fn new(merkle_proofs: Vec<SparseMerkleProof<H>>) -> Self

pub fn verify_update<V: AsRef<[u8]>>( self, old_root_hash: RootHash, new_root_hash: RootHash, updates: impl AsRef<[(KeyHash, Option<V>)]> ) -> Result<()>

Verifies an update of the [JellyfishMerkleTree], proving the transition from an old_root_hash to a new_root_hash (RootHash) Multiple cases to handle:

• Insert a tuple new_element_key, new_element_value
• Update a tuple new_element_key, new_element_value
• Delete the new_element_key This function does the following high level operations:

1. Verify the Merkle path provided against the old_root_hash
2. Use the provided Merkle path and the tuple (new_element_key, new_element_value) to compute the new Merkle path.
3. Compare the new Merkle path against the new_root_hash If these steps are verified then the [JellyfishMerkleTree] has been soundly updated

This function consumes the Merkle proof to avoid uneccessary copying.

Trait Implementations

impl<H> BorshDeserialize for UpdateMerkleProof<H>

where H: BorshDeserialize + SimpleHasher,

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> BorshSerialize for UpdateMerkleProof<H>

where H: BorshSerialize + SimpleHasher,

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

impl<H: Debug + SimpleHasher> Debug for UpdateMerkleProof<H>

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

Formats the value using the given formatter.

impl<'de, H> Deserialize<'de> for UpdateMerkleProof<H>

where H: Deserialize<'de> + SimpleHasher,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<H> Serialize for UpdateMerkleProof<H>

where H: Serialize + SimpleHasher,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.