JAR: JAM Axiomatic Reference

12. Merkle Structures🔗

Merkle trie, binary Merkle tree, and Merkle Mountain Range constructions used for state commitment and availability (GP Appendix D).

  1. 12.1. Trie Nodes
  2. 12.2. State Trie
  3. 12.3. Binary Merkle Tree
  4. 12.4. Merkle Mountain Range