Authenticated Modular Maps in Haskell
We present hamm
, a Haskell library that enables programmers to easily configure authenticated map (key-value store) implementations. We use type level programming techniques to establish an extensible foundation, and provide an example base map and several example “add on” transformers supporting features such as caches, Bloom filters and paging structures. Another add-on enables a prover to provide a “summary” containing only small a subset of the map’s data, and a verifier to subsequently receive and verify additional data only if needed. We present preliminary performance results demonstrating significant potential for authenticated maps configured using hamm to support our goal of enabling participants to join blockchain networks faster.
Thu 27 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
08:45 - 10:00 | |||
08:45 10mTalk | Welcome! TyDe | ||
08:55 20mTalk | Extended Abstract: F# OpenCL Type Provider TyDe Kirill Smirenko Saint Petersburg State University, Semyon Grigorev Saint-Petersburg State University, JetBrains Research File Attached | ||
09:15 20mTalk | Extended Abstract: Comprehending Monoids with Class TyDe Media Attached File Attached | ||
09:35 25mResearch paper | Authenticated Modular Maps in Haskell TyDe Victor Cacciari Miraldo Utrecht University, Netherlands, Harold Carr Oracle Labs, USA, Alex Kogan Oracle Labs, USA, Mark Moir Oracle Labs, New Zealand, Maurice Herlihy Brown University, USA DOI |