![Proofs, Consensus, and Decentralizing Society_hi-res logo](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-01/Proofs%2C%20Consensus%2C%20and%20Decentralizing%20Society_hi-res.png.jpg?itok=gluZ2qCs)
Description
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.
All scheduled dates:
Upcoming
No Upcoming activities yet