JAR: JAM Axiomatic Reference

JAR: JAM Axiomatic Reference

Table of Contents

1.	Notation and Conventions
2.	Numeric Types
3.	Protocol Constants
4.	Type Definitions
5.	Cryptographic Primitives
6.	Safrole Consensus
7.	State Transition
8.	Service Invocations
9.	Polkadot Virtual Machine
10.	Accumulation
11.	Serialization Codec
12.	Merkle Structures
13.	Erasure Coding

12. Merkle Structures

12.1.	Trie Nodes
12.2.	State Trie
12.3.	Binary Merkle Tree
12.4.	Merkle Mountain Range

12.4. Merkle Mountain Range

←12.3. Binary Merkle Tree 13. Erasure Coding→

12.4. Merkle Mountain Range🔗

MMR operations (mmrAppend, mmrSuperPeak) are defined in Jar.State as part of the block-level state transition (GP Appendix E).

←12.3. Binary Merkle Tree 13. Erasure Coding→