https://github.com/kisom/adsg-paper-club

Authenticated Data Structures, Generically (talk)
https://github.com/kisom/adsg-paper-club

Last synced: 18 days ago
JSON representation

Authenticated Data Structures, Generically (talk)

• Host: GitHub
• URL: https://github.com/kisom/adsg-paper-club
• Owner: kisom
• Created: 2015-07-29T22:42:34.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-07-30T07:26:30.000Z (over 9 years ago)
• Last Synced: 2024-10-11T02:47:24.609Z (about 1 month ago)
• Language: Haskell
• Size: 695 KB
• Stars: 1
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Papers club talk on Authenticated Data Structures, Generically (more or

less). It ends up being more a talk on ADS in general, as the implementation

in the paper involves a compiler hack.

Presentations:

* Authenticated Data Structures, Generically.pdf :: the presentation

  as a shiny PDF

* adsg.org :: the org-mode version of the presentation

Source:

There is some terrible Haskell code in the `adsg` directory. The

`AuthTypes` module provides a rough hack of some of the ideas from

the paper, while `Merkle` is a rough sketch of a Merkle tree.

Illustrations:

* Why.png is an elaborate and highly complex visualisation of a

  scenario where authenticated data structures are useful.

* merkle.png is the Merkle tree diagram from the paper.