- Versioned deterministic Merkle trees with in-memory or on-disk storage
- Authenticated skiplists
- Authenticated AVL trees
- Commutative hash
- It is possible to get results of hash and signing functions wrapped in statically sized byte array using Sized from Shapeless