A Framework for the Implementation and Comparison of Authenticated Data Structures