YOW! Lambda Jam 2017 Sean Seefried - Automatically generated tamper evident data structures...

Thanks! Share it with your friends!

You disliked this video. Thanks for the feedback!

Added by admin
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.

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.

For more on YOW! Lambda Jam, visit http://lamdajam.yowconference.com.au
YOW! Lambda 2017

Post your comment