12.2. State Trie🔗

def

Jar.Merkle.trieRoot (entries : Array (OctetSeq 31 × ByteArray)) : Hash
Jar.Merkle.trieRoot
  (entries :
    Array (OctetSeq 31 × ByteArray)) :
  Hash

M(d) : Compute Merkle trie root from key-value pairs. GP Appendix D. Keys are 31-byte OctetSeqs. Returns ℍ_0 for empty.

def

Jar.Merkle.stateRoot (entries : Array (OctetSeq 31 × ByteArray)) : Hash
Jar.Merkle.stateRoot
  (entries :
    Array (OctetSeq 31 × ByteArray)) :
  Hash

M_σ(σ) : Compute the state Merkle root. GP Appendix D eq (D.2). Delegates to the trie root computation on state key-value pairs.