Implementation of an authenticated dictionary with skip lists and commutative hashing | Synapse