Summer 2015

Cryptocurrencies and Smart Contracts

Monday, Jun. 8, 2015 3:45 pm4:10 pm PDT

Add to Calendar


Calvin Lab Auditorium

Inspired by decentralized cryptocurrencies, I will introduce the blockchain model of secure computation which ensures financial fairness in protocol design. I will describe formal modeling issues, and give interesting example protocols such as criminal smart contracts.  

I will also talk about how to achieve on-chain privacy for smart contracts as opposed to today's blockchains where financial transactions are stored in cleartext on the blockchain and visible to the public. Finally, I will draw connections to programming language and compiler design.