IC3: Advancing the science and applications of blockchains

Latest on Blog

by Soumya Basu, David Easley, Maureen O'Hara, and Emin Gün Sirer on Tuesday January 22, 2019 at 11:31 AM
We describe why the fee market is fundamentally broken and propose an alternative fee mechanism that fixes the issues with the current fee market.
by Ethan Cecchetti, Ian Miers, and Ari Juels on August 06, 2018 at 06:00 PM
Ever raise a quarter billion dollars and need to solve a really hard problem? Well, neither did we, but we've been talking to Filecoin about helping solve one of theirs.
by Fan Zhang, Phil Daian, Iddo Bentov, and Ari Juels on January 18, 2018 at 09:30 AM
Suppose that N players share cryptocurrency using an M-of-N multisig scheme. If N-M+1 players disappear, the remaining ones have a problem: They've permanently lost their funds. In this blog, we propose a solution to this critical problem using the power of the trusted hardware.
by Karen Levy on January 17, 2018 at 01:00 PM
Guest blogger Prof. Karen Levy describes how contracts often include terms that are unenforceable, purposefully vague, or never meant to be enforced, how this helps set expectations, and what this means for smart contracts.
by Adem Efe Gencer, Soumya Basu, Ittay Eyal, Robbert van Renesse, and Emin Gün Sirer on January 15, 2018 at 07:37 AM
We have been examining the state of the Bitcoin and Ethereum networks over time. In a recent study, we examine the level of decentralization in these two networks, with some interesting takeaways for the future.
Older blogs...

News & Events

Friday April 12, 2019
Conducted by Cornell Blockchain, this conference will explore four different topics on blockchains. Platforms, blockchain regulation, security tokens, and growth & adaption will be discussed and explored.
February 14-15, 2019
IC3 faculty, students and industry members gather twice per year to discuss the major technical challenges and innovative solutions to widespread blockchain adoption.
More News and Events

Featured Projects

All Smart Contracts Are Ambiguous

Legal contracts are written in natural language, which can introduce ambiguity as to their meaning. Blockchain-based smart contracts are writen in programming languages, which seems to give precise, objective meanings. But because the semantics of a smart contract can change if participants fork the underlying blockchain or revise its protocol, the meaning of a smart contract is always subject to this latent ambiguity. For further details, please check out https://james.grimmelmann.net.

Keywords:
Smart Contracts
Safety and Compliance
Ethereum
Ambiguity

More projects:

  • Sprites and State Channels: Payment Networks that Go Faster than Lightning
  • HiveMind: A Blockchain-based Protocol with Client-level Differential Privacy
  • Selfish Mining Re-examined: Revisiting Selfish Mining Strategy
  • Charlotte: A new Framework for Building Parallel, Interoperable Blockchain Systems
  • Teechain: The Next Generation Blockchain Payment Network
Even more projects...

Ph.D./Postdoc Positions

Follow Us