authenticated data structures, generically