implement the specified sparse merkletree#82

Merged

ax0 merged 14 commits intomainfrom

sparse-merkletree

Feb 21, 2025

Commits on Feb 18, 2025

Commits on Feb 20, 2025

port Edu's changes to latest main branch changes
arnaucube
committed
files reorg, add github CI for rustfmt checks
arnaucube
committed
start sparsemerkletree. impl add_leaf method, initial Leaf & Intermediate types with methods
arnaucube
committed
mt: add hash computation of all the nodes in the tree, add method to print the tree to visualize it as a graphviz
arnaucube
committed
mt: add (till the leaf) method which is used by get,contains,prove methods
arnaucube
committed
mt: add verify (of inclusion) method
arnaucube
committed
mt: update 'down' method to reuse siblings, update get,contains,prove methods (the three use 'down' under the hood)
arnaucube
committed
Add nonexistence proofs and iterator

ax0
authored and
arnaucube
committed
Add iterator test

ax0
authored and
arnaucube
committed
migrate usage of old merkletree to the new merkletree impl in POD2 code
arnaucube
committed

Commits on Feb 21, 2025

Merge branch 'main' into sparse-merkletree
ax0
committed