Automatically generated tamper evident data structures, or Merkle things for free!

I just watched this 2017 gem from Sean Seefried again and thought it may be interesting for the broader Daml and blockchain communities.

Sean shows in this short talk how generalized Merkle data structures can be derived from the Type of the underlying data.

Where could this be useful? For example, in Daml the level of granularity of privacy is contract but in theory it may be possible to encode contracts parameters as these generalized Merkle data structures and selectively discloses specific fields


If you found this interesting, you may also be interested in this post about formally proving Merkle data structures

1 Like