IC3 Blockchain Camp 2025
June 9-15, 2025 Cornell Tech (Roosevelt Island) New York, NY

Months of planning, organizing, and scheduling finally came to fruition during the annual Blockchain Camp where we celebrated IC3’s 10-Year Anniversary. And yes, there was cake involved.

We produced ample research over the past decade, but it's just the beginning. As Phil Daian (IC3 alum & co-founder of Flashbots) said during his Camp presentation on MEV, the next five years are crucial in terms of research.

Here are some highlights from the Camp:

HACKATHON WINNERS

We want to start off by congratulating our Camp hackathon winners!

1st place - Risk-Aware Restaking

Restaking networks let validators reuse their staked assets to secure multiple blockchain services simultaneously. Roi Bar-Zur (Technion, IC3) and his team analyzed scenarios where services implement risk-aware caps to limit excessive restaking participation.

The team proved that splitting their stake is mathematically optimal and developed algorithms to compute the best allocations across services. Although this doesn't exist today, they believe it could improve network security and result in better returns for validators.

To learn more about Risk-Aware Restaking, head to our blog where we conducted a Q&A with Roi about the project.

Team members: Roi Bar-Zur (Technion, IC3), Mateo Bastidas (Yale University), Hongyin Chen (Peking University, Technion, IC3), Dor Malka (Technion, IC3), Daniel Lee (Cornell University, IC3), Austin Li (Cornell University, IC3), Max Tang (Cornell University), and Sarisht Wadhwa (Duke University)

2nd place - DAO Buddy

DAO Buddy is an AI-powered governance companion designed to simplify DAO participation. Built on IC3’s VBE dashboard, its goal is to reduce information overload and combat voter fatigue. The prototype pulls data from Tally, Tableau, Snapshot, LobbyFi, and the Arbitrum DAO forum to help Arbitrum DAO participants with tasks such as:

Team members: Shashank Motepalli (University of Toronto), Sam Breckenridge (Cornell University, IC3), Anika Lakhani (Harvard University), Haaroon Yousaf (IC3), and Amy Zhao (Ava Labs, IC3)

3rd place - DeadDrop

Prof. Fan Zhang (Yale University, IC3) and the team behind DeadDrop built a system for bug hunters to responsibly disclose smart contract bugs to deployers with confidentiality and spam prevention.

While existing BlockChat systems can be used to reach smart contract deployers, they also learn the message recipients, revealing which smart contracts are buggy. DeadDrop uses Oblivious Message Retrieval (OMR) and TEEs to ensure private communication between bug hunters and smart contract developers.

Team members: Fan Zhang (Yale University, IC3), Jasleen Malvai (UIUC, IC3), Silei Ren (Cornell University, IC3), Stephanie Ma (Cornell University), Yavor Litchev (Stanford University), Mariarosaria Barbaraci (University of Bern, IC3), Jonas Chen (UCSB), Marwa Mouallem (Technion, IC3), and Cynthia Wang (Stanford University)

Honorable mention - T-E-Esports

The T-E-Esports team led by Andrew Miller (Teleport, Flashbots, IC3) identified how TEEs can reduce the reliance on trusted server operators in online games and enable blockchain interfaces with them.

They proved they can run a Luanti server (an open-source, Minecraft-like game engine) inside a TEE container which reads game settings from a smart contract, begins a 1v1 battle game, and finally reports the outcome of the battle to the smart contract.

Team members: Andrew Miller (Teleport, Flashbots, IC3), Hang Yin (Phala Network), James Austgen (Cornell Tech, IC3), Jiasun Li (George MAson University), and Nerla Jean-Louis (UIUC, IC3)

CAMP HIGHLIGHTS

Our agenda covered a wide range of research topics including consensus, privacy, security, crypto AI, DAOs, and traditional finance.

MonadBFT: Fast, Responsive, Fork-Resistant Streamlined Consensus

Kushal Babel (Researcher at Category Labs & IC3 alum) broke down Monad’s consensus protocol, MonadBFT, a pipelined BFT protocol designed for high-throughput L1 blockchains. MonadBFT draws inspiration from the HotStuff family of protocols, known for their linear communication complexity and responsiveness.

According to Kushal, some key features include:

Functional Regulation for Layer One Infrastructure

"When a reckless driver causes a collision on a highway, authorities charge the driver, not those who constructed the highway. The same principle should apply to the blockchain space," was the message Prof. Carla Reyes (SMU Dedman School of Law, IC3) wanted to drive home during her presentation Functional Regulation for Layer One Infrastructure.

Carla's research argues that a functional approach to regulating distributed ledger technology leads to a conclusion that open-source L1 & L2 smart contract protocols are public digital infrastructure. Therefore, the law should ensure open access to such protocols and focus on regulating individuals or businesses conducting actionable activities via the infrastructure, rather than targeting the infrastructure itself or its developers.

Alpenglow: Solana's New Consensus Protocol

Leading expert in distributed systems Prof. Roger Wattenhofer (Head of Research, Anza) joined the Camp to talk about Solana's new consensus protocol, Alpenglow, that is set to be implemented later this year.

Alpenglow is designed to replace several legacy components of Solana's consensus stack (namely TowerBFT and Proof-of-History) with two new components: Votor and Rotor, which together optimize for performance and speed.

Fraud Proof Protocols: BoLD, Dave, and other alternatives

Victor Shoup (Principal Research Scientist, Offchain Labs) examined two different fraud proof protocols (BoLD vs. Dave) during his Camp presentation. He noted while each has their own approach to bisection and multiple vs. single rounds of proving, there are trade-offs in terms of delay, resources required, and cost. You can access his research on the topic here.

ANNIVERSARY DAY RECAP

Selfish Mining

Prof. Ittay Eyal (Technion, IC3) shared his landmark 2014 research with Emin Gün Sirer (Founder & CEO of Ava Labs, former IC3 Co-director) Majority is not Enough: Bitcoin Mining is Vulnerable.

They uncovered Selfish Mining, a strategy where miners can deviate from honest behavior and secretly mine blocks to game the system and earn outsized rewards.

DECO: Oracles, zkTLS, and Data Liberation

Town Crier and DECO are two oracle protocols developed by IC3 researchers to securely bridge data from the web to smart contracts, but they differ significantly in trust assumptions, cryptographic techniques, and privacy guarantees.

Prof. Fan Zhang (Yale University, IC3), lead author of both papers, spoke about his original research, some of the technical challenges each protocol presents, and overall impact on the industry.

A Fistful of Bitcoins

By now, many of us probably forget a time when the price of BTC was hovering around $100 and the Silk Road was a thriving cryptocurrency bazaar.

During the Camp, Sarah Meiklejohn (UCL, IC3) presented her 2012 research, A Fistful of Bitcoins: Characterizing Payments Among Men with No Names, which explored how Bitcoin was used at the time, and whether its users could be identified.

By combining heuristics, clustering techniques, and layered data collection, her team was able to trace onchain activity and link multiple addresses to individual users. As a result, she helped successfully track $3+ million in BTC to illicit activities.

The takeaway? It is nearly impossible to remain anonymous on Bitcoin.

Fireside Chat: Scaling Ethereum

Steven Goldfeder (Co-founder & CEO of Offchain Labs, IC3 alum) and Prof. Ari Juels (IC3 Co-director, Chainlink Labs) reflected on the early days of building Arbitrum, when Steven was a postdoctoral researcher at Cornell Tech under Ari's guidance.

"At the time, it [scaling] was still a somewhat controversial subject," said Steven. "No one saw it as a problem that needed to be solved." Fast forward to 2025, and scaling blockchain infrastructure remains one of the biggest challenges facing the industry today, including Ethereum.

Steven's advice for new founders?

"Fight for your ideas. If you believe in what you're building and you're right, people will eventually come around," said Steven. Today, Arbitrum is the largest L2 in the blockchain ecosystem, securing more than $13B in value.

Panel: The DAO Hack & Ethereum Hard Fork

The DAO hack and Ethereum hard fork of 2016 remains one of the most important yet controversial events in blockchain history.

IC3 hosted a panel featuring Emin Gün Sirer (Ava Labs, former IC3 Co-Director), Phil Daian (Flashbots, IC3), Tjaden Hess (Trail of Bits), Laura Shin (Unchained), and Patrick McCorry (Arbitrum Foundation, IC3), who closely followed the attack as it unfolded.

IC3 played a notable role in the events leading up to the hard fork. Its researchers were among the first to publicly identify The DAO’s vulnerabilities, including reentrancy hazards, and called for a temporary moratorium before the $50M exploit occurred. The hard fork itself was implemented during the 2016 IC3 bootcamp, attended by Ethereum co-founder Vitalik Buterin and former Ethereum developer Vlad Zamfir. Both played a pivotal role in the hard fork decision and implementation.

Looking for more 2025 Camp Highlights? Check out our X and LinkedIn pages where we shared photos and recaps of the talks and presentations.

OUR PARTENRS & SPONSORS

We’d like to thank our partners and sponsors for their continued support in funding IC3’s research and events throughout the year.

A special thanks to Chainlink, Phala Network, and The Solana Foundation for sponsoring this year’s IC3 Blockchain Camp.

Thank you again to everyone who participated in this year’s event! We hope to see you again next year!