A General Model for Authenticated Data Structures
Skip lists: a probabilistic alternative to balanced trees