Fall 2019

Composable analysis of Decentralized Ledgers: From Broadcast to Blockchains

Dec 3, 2019 1:00 pm – 3:00 pm 

Add to Calendar


Vassilis Zikas


Room 116

This talk will discuss how formulating the goals of Broadcast in a cryptographic, composable framework can help to avoid overlooking aspects that are relevant when using it within a higher level protocol. It will then discuss the model and composable definition of a transaction ledger as a functionality in the Universal Composition (UC) framework, which can be provably implemented by (abstractions of) Bitcoin and Ouroboros Genesis as UC protocols.