Topics

These pages explain the objects the crates implement. The how-to guides use them. The API reference is the function list.

• The Merkle tree is the shape of every root.
• Inclusion proofs tie one leaf to a root.
• Consistency proofs tie an older root to a later root that appends.
• Tiles, bundles and packs are how rfc9162-tiles stores that tree.
• Runs and recovery are how rfc9162-log puts the index inside the log.
• Checkpoints and cosignatures are the signed heads.