IC3: Advancing the science and applications of blockchains

Latest on Blog

by Amani Moin and Kevin Sekniqi on Tuesday May 07, 2019 at 09:30 AM
Some algorithmic stablecoins have proposed incorporating price feeds by asking their token holders. In this post, we point out that this mechanism is broken because of a fundamental incentive misalignment.
by Deepak Maram, Fan Zhang, and Ari Juels on 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.
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.
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...

Available Positions

Follow Us