Talks
Summer 2015

Provably Secure Blockchain Protocols and Applications to Secure Computation

Wednesday, June 10th, 2015 11:30 am11:55 am

Add to Calendar

We overview recent and ongoing work investigating blockchain protocols from a provable security perspective. We discuss properties such as common prefix and chain quality and introduce proof techniques for establishing such properties in a synchronous anonymous communication model assuming bounded access to a random oracle. We discuss the consensus problem in this setting and its relation to robust transaction ledgers. We also introduce a new model and  a construction for secure computation with fairness and output delivery guarantees that are conditional on a global transaction ledger.