Sean has had an avid interest in functional programming since his university days. Recently he has combined this interest, with a burgeoning curiosity in distributed ledgers (aka blockchains) at Digital Asset where he is working
on their smart contract language DAML.
YOW! Lambda Jam 2017 Sydney
Automatically generated tamper evident data structures, or Merkle Things for Free!
TALK – VIEW SLIDES
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.