miden-crypto/src/merkle
Qyriad ca3c79e818 feat(smt): impl constructing leaves that don't yet exist
This commit implements 'prospective leaf construction' -- computing
sparse Merkle tree leaves for a key-value insertion without actually
performing that insertion.

For SimpleSmt, this is trivial, since the leaf type is simply the value
being inserted.

For the full Smt, the new leaf payload depends on the existing payload
in that leaf. Since almost all leaves are very small, we can just clone
the leaf and modify a copy.

This will allow us to perform more general prospective changes on Merkle
trees.
2024-09-05 15:23:14 -06:00
..
mmr fmt 2024-08-21 14:04:23 +01:00
partial_mt Updated Makefile and Readme 2024-08-16 15:07:27 -07:00
smt feat(smt): impl constructing leaves that don't yet exist 2024-09-05 15:23:14 -06:00
store Updated Makefile and Readme 2024-08-16 15:07:27 -07:00
empty_roots.rs fix: clippy warnings (#280) 2024-02-21 20:55:02 -08:00
error.rs Updated Makefile and Readme 2024-08-16 15:07:27 -07:00
index.rs fix: clippy warnings (#280) 2024-02-21 20:55:02 -08:00
merkle_tree.rs feat: migrate to new Winterfell (#315) 2024-05-12 03:09:27 +08:00
mod.rs chore: handle deprecations in winterfell 0.8.3 release 2024-03-17 16:18:23 -04:00
node.rs feat: RPX (xHash12) hash function implementation 2024-02-14 11:52:40 -08:00
path.rs chore: handle deprecations in winterfell 0.8.3 release 2024-03-17 16:18:23 -04:00