Charlotte: Composable Authenticated Distributed Data Structures, Technical Report - Sheff, Isaac (arXiv.org)