~hover for a surprise~
Loopy Wonderful Trees (soundcloud)
merkle trees
Authenticated Data Structures, Generically.
[code] [paper]
Logical Relations for Formally Verified Authenticated Data Structures (Gregersen, Agarwal, Tassarotti 2025)
@sytaylor @VitalikButerin @dgwbirch :) it's all about blockchains? Nah it's all about #merkletrees ~ #DEVCON1 pic.twitter.com/gnY9lbsjE0
— :P (@j32804) November 11, 2015
Click below to buy the official Merkle Tree Huggers Society t-shirt
🌐 Best viewed in Netscape Navigator 4.0
💻 800x600 resolution
🚧 This site is under construction 🚧
You are visitor #000,042,069