Bitcoin and Merkle trees are instances of Authenticated data structures (ADS). Unfortunately, such ADS’s are not widely used although they provide enormous security benefits for many distributed systems. This is because current tools and methods are not easy to use for system engineers. We present our ongoing work to create ADS4all, a framework that allows for the design and implementation of ADS’s that are tailored to specific domains.