Summer 2015

Cryptocurrencies and Smart Contracts

Monday, June 8th, 2015 3:45 pm4:10 pm

Add to Calendar

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.