Struct miden_crypto::merkle::MerkleTreeDelta

pub struct MerkleTreeDelta { /* private fields */ }

[MerkleDelta] stores the differences between the initial and final Merkle tree states.

The differences are represented as follows:

• depth: the depth of the merkle tree.
• cleared_slots: indexes of slots where values were set to [ZERO; 4].
• updated_slots: index-value pairs of slots where values were set to non [ZERO; 4] values.

Implementations

impl MerkleTreeDelta

pub fn new(depth: u8) -> Self

pub fn depth(&self) -> u8

Returns the depth of the Merkle tree the [MerkleDelta] is associated with.

pub fn cleared_slots(&self) -> &[u64]

Returns the indexes of slots where values were set to [ZERO; 4].

pub fn updated_slots(&self) -> &[(u64, Word)]

Returns the index-value pairs of slots where values were set to non [ZERO; 4] values.

pub fn add_cleared_slot(&mut self, index: u64)

Adds a slot index to the list of cleared slots.

pub fn add_updated_slot(&mut self, index: u64, value: Word)

Adds a slot index and a value to the list of updated slots.

Trait Implementations

impl Clone for MerkleTreeDelta

fn clone(&self) -> MerkleTreeDelta

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MerkleTreeDelta

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

Formats the value using the given formatter.

impl PartialEq for MerkleTreeDelta

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

impl StructuralEq for MerkleTreeDelta

impl StructuralPartialEq for MerkleTreeDelta