Events
Fall 2019

Composable analysis of Decentralized Ledgers: From Broadcast to Blockchains

Dec. 3, 2019 1:00 pm3:00 pm

Add to Calendar

Speaker: 

Vassilis Zikas

Location: 

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.