Expand description
This module provides definitions of the inclusion proof (Merkle proof) of a tree node in an SMT, and proof verification.
Structsยง
- Merkle
Proof - A proof depicts a Merkle path.
- Random
Sampling Proof - A random sampling proof proves that the result of random sampling is valid.