Struct MerkleTree Copy item path

impl<E: Environment, LH: LeafHash<Hash = PH::Hash>, PH: PathHash<Hash = Field<E>>, const DEPTH: u8> MerkleTree<E, LH, PH, DEPTH>

pub fn new( leaf_hasher: &LH, path_hasher: &PH, leaves: &[LH::Leaf], ) -> Result<Self>

Initializes a new Merkle tree with the given leaves.

pub fn prepare_append(&self, new_leaves: &[LH::Leaf]) -> Result<Self>

Returns a new Merkle tree with the given new leaves appended to it.

pub fn append(&mut self, new_leaves: &[LH::Leaf]) -> Result<()>

Updates the Merkle tree with the given new leaves appended to it.

pub fn update(&mut self, leaf_index: usize, new_leaf: &LH::Leaf) -> Result<()>

Updates the Merkle tree at the location of the given leaf index with the new leaf.

pub fn prepare_update( &self, leaf_index: usize, new_leaf: &LH::Leaf, ) -> Result<Self>

Returns a new Merkle tree with updates at the location of the given leaf index with the new leaf.

pub fn update_many(&mut self, updates: &BTreeMap<usize, LH::Leaf>) -> Result<()>

Updates the Merkle tree at the location of the given leaf indices with the new leaves.

pub fn prepare_remove_last_n(&self, n: usize) -> Result<Self>

Returns a new Merkle tree with the last ‘n’ leaves removed from it.

pub fn remove_last_n(&mut self, n: usize) -> Result<()>

Updates the Merkle tree with the last ‘n’ leaves removed from it.

pub fn prove( &self, leaf_index: usize, leaf: &LH::Leaf, ) -> Result<MerklePath<E, DEPTH>>

Returns the Merkle path for the given leaf index and leaf.

pub fn verify( &self, path: &MerklePath<E, DEPTH>, root: &PH::Hash, leaf: &LH::Leaf, ) -> bool

Returns true if the given Merkle path is valid for the given root and leaf.

pub const fn root(&self) -> &PH::Hash

Returns the Merkle root of the tree.

pub fn tree(&self) -> &[PH::Hash]

Returns the Merkle tree (excluding the hashes of the leaves).

pub const fn empty_hash(&self) -> &PH::Hash

Returns the empty hash.

pub fn leaf_hashes(&self) -> Result<&[LH::Hash]>

Returns the leaf hashes from the Merkle tree.

pub const fn number_of_leaves(&self) -> usize

Returns the number of leaves in the Merkle tree.

Trait Implementations§

impl<E: Clone + Environment, LH: Clone + LeafHash<Hash = PH::Hash>, PH: Clone + PathHash<Hash = Field<E>>, const DEPTH: u8> Clone for MerkleTree<E, LH, PH, DEPTH>
where PH::Hash: Clone,

fn clone(&self) -> MerkleTree<E, LH, PH, DEPTH>

Returns a copy of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

Auto Trait Implementations§

impl<E, LH, PH, const DEPTH: u8> Freeze for MerkleTree<E, LH, PH, DEPTH>
where LH: Freeze, PH: Freeze, <E as Environment>::Field: Freeze,

impl<E, LH, PH, const DEPTH: u8> RefUnwindSafe for MerkleTree<E, LH, PH, DEPTH>
where LH: RefUnwindSafe, PH: RefUnwindSafe, <E as Environment>::Field: RefUnwindSafe,

impl<E, LH, PH, const DEPTH: u8> Send for MerkleTree<E, LH, PH, DEPTH>

impl<E, LH, PH, const DEPTH: u8> Sync for MerkleTree<E, LH, PH, DEPTH>

impl<E, LH, PH, const DEPTH: u8> Unpin for MerkleTree<E, LH, PH, DEPTH>
where LH: Unpin, PH: Unpin, <E as Environment>::Field: Unpin,

impl<E, LH, PH, const DEPTH: u8> UnwindSafe for MerkleTree<E, LH, PH, DEPTH>
where LH: UnwindSafe, PH: UnwindSafe, <E as Environment>::Field: UnwindSafe,

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dst. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more