Remote/online meetup: Authenticated Data Structures

This meetup will take place remotely. We will not meet at Unikat/University of Regensburg.

We'll meet at 19:30 online, via Google Meet.

We'll spend the first 30 minutes chatting (and sorting out potential technical issues). The talk will start at 20:00.

Lars will talk about Authenticated Data Structures. These data structures allow a client to outsource computations to an untrusted server: The server holds the data and performs the computation, then proves to the client that the result is correct.

The most prominent example of such a data structure is the Merkle Tree, which is used in the context of cryptocurrencies. We will see how a generic technique originally implemented for OCaml, a technique that required the implementation of a custom compiler, can be realized as a Haskell library that allows (almost) arbitrary data structures to be used in an authenticated mode.