Describir: Charlotte: Composable Authenticated Distributed Data Structures, Technical Report