IC3: Advancing the science and applications of blockchains

Latest on Blog

by Deepak Maram, Fan Zhang, and Ari Juels on Friday April 05, 2019 at 09:00 AM
Achieving true decentralization requires decentralized cryptography. CHURP is a cryptographic protocol for secret sharing in decentralized settings. In such a setting where nodes may come and go, traditional secret sharing (e.g., Shamir's) is no longer secure. Featuring several fundamental innovations, CHURP accomplishes the mission while being 2300x more efficient than previous schemes!
by Soumya Basu, David Easley, Maureen O'Hara, and Emin Gün Sirer on 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 Philip Daian, Tyler Kell, Ian Miers, and Ari Juels on July 02, 2018 at 03:22 PM
We explore the space of trust-minimizing coordination mechanisms for on-chain vote buying and exploitation in the permissionless model.
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.
Older blogs...

News & Events

June 10-16, 2019
IC3 is conducting the Fourth immersive weeklong coding and learning experience in Cryptocurrencies, Blockchains, and Smart Contracts with world-leading professors, open source architects, scientists, engineers, developers, and students.
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.
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