Module smtree::proof [−][src]
Expand description
This module provides definitions of the inclusion proof (Merkle proof) of a tree node in an SMT, and proof verification.
Structs
A proof depicts a Merkle path.
A random sampling proof proves that the result of random sampling is valid.