Watch / Directions in Smart Contract Research: A Selection

Directions in Smart Contract Research: A Selection

  • YouTube
  • IPFS
  • Details

Directions in Smart Contract Research: A Selection

Duration: 00:16:12

Speaker: Philip Daian

Type: Talk

Expertise: Advanced

Event: Devcon 2

Date: Sep 2016

Tackling the problem of writing smart contracts is difficult, and understanding them fully remains even harder. We analyze what work the academic community is doing and should be doing to advance the basic foundational science of smart contracts. We make the case for better smart contracts through a three pronged approach: tooling (including formal verification and analysis models), bug bounties, and recovery through escape hatches. We survey current related work and discuss research and engineering directions to increase the cost of future attacks, in the context of lessons learned from contracts in the field.
About the speakers


Philip Daian

Philip Daian is a Ph.D. candidate in computer science at Cornell Tech, and a steward of Flashbots, a research and product organization that is active within the MEV space. He is particularly interested in the intersection of cryptocurrencies, financial systems, programmable privacy, and formal systems. His past work includes uncovering and publicizing MEV in the ETH community, and seeking to illuminate the dark forest of incentives and mechanisms in which we all co-exist.

  • Related