Thank you to all who joined us for the 8th Annual IC3 Blockchain Camp! This 7-day experience was hosted at the Cornell Tech Campus on Roosevelt Island, New York City, NY for the first time this year. A special thank you is also due to our camp technical committee of Surya Bakshi, Haaroon Yousaf, Lorenz Breidenbach, and Patrick McCorry for preparing another immersive coding and learning experience and to the IC3 Industry Partners!
Our five-day content program included research talks about DeFi, infrastructure, DAOs, cryptography, Metaverse, NFTs, gaming, and more, as well as our seven-day hackathon.
In addition to tech talks, panels and projects, we sailed the Hudson River (see video). Here is a glimpse from our sail from the Chelsea Piers to the Statue of Liberty and back.
Participants stayed at the Graduate Hotel on the Cornell Tech campus on Roosevelt Island.
Project teams self-selected projects on Monday after considering the project proposals. The teams coded throughout the week, and made project presentations and demos on Sunday. Six hackathon teams submitted projects this year. Projects were judged by Sarah Allen (IC3), Patrick McCorry (Arbitrum Foundation), and Surya Bakshi (Offchain Labs). The judging criteria were novelty, practicality, user experience, technical difficulty, and maturity of development within the week.
Top 3 Projects:
Team Members: Bolton Bailey (project leader), Jiasun Li, and Deepak Maram
Summary: There is a great potential for synergy between zero-knowledge proofs (which allow for succinct cryptographic checking of any computational statement) and formal proofs (which allow any mathematical statement to be checked computationally). In this project, we looked at using the many zero-knowledge codebases that have proliferated in the last few years to check Metamath, a language for formal theorem proving. Metamath has a variety of implementations (see here) and has the potential to be a good benchmark between systems, as well as being independently useful as a backend to many formal method projects.
Resources: Metamath Topics
Team Members: Vivian Jeng (project leader), Chiali Tsai (project leader), Nico Serrano, and Joy Wang
Summary: UniRep is a zero-knowledge protocol that securely manages user data through anonymous identifiers, enabling trustless interactions and enhanced user privacy in applications. UniRep expands the notion of reputation to include various user data aspects, such as preferences, activity, alignments, and ownership. Using anonymous identifiers (epoch keys), The protocol allows for trustless engagement with applications while preserving user privacy. This approach promotes non-custodial applications that don't hold user data, reducing data breach risks and emphasizing security for both users and developers.
Cross chain perpetuals
Team Members: Dheeraj Chakilam (project leader), Haaroon Yousaf, Ali Farahbakhsh, Louis-Henri Merino, Abhay Khanna, Sean Wells, Kosala Yapa, and Shamseer Chettiyankandy
Summary: We used layer zero, axelar, hyperlane or another protocol to build a perpetual swap aggregator across chains.
Thanks again to all who participated in the 2023 IC3 Blockchain Camp and we hope to see you at future IC3 events!