Automatically generated tamper evident data structures, or Merkle Things for Free!

Unless you’ve been hiding under a rock, you’ll probably have heard of blockchains. What you may not know is that this data structure is an instance of a data structure known as a Merkle list. Blockchains, in turn, often contain Merkle trees of transactions within them. However, the literature tends to talk about these data structures in a fairly ad hoc way. This talk will introduce Merkle data structures, show how to automatically generate them from the algebraic representation of their type, and investigate an interesting correspondence between zippers, the integral calculus and Merkle set-membership proofs.


Target Audience

developers, Technical leads and Architects,programmers, testers, business analysts and product owners,programmers, testers, business analysts and product owners and product owners


schedule Submitted 1 year ago