How it worked
Learn to develop with zero-knowledge, Expander, and GKR
Build and contribute to the future of Ethereum
Receive a certificate of completion
Win grants and pitch investors
Polyhedra is building foundational infrastructure for trust and scalability in AI and blockchain systems enabling secure, verifiable and high-performance applications.
Winner
Team ZKML 🥳
Buitl a toolchain that enables anyone prove inference of a machine learning model that was compiled to Onnx.
Moderators and Lecturers
Vitalik Buterin (Ethereum Foundation)
Lev Soukhanov (Ethereum Foundation)
Zhenfei Zhang (Polyhedra)
Alin Tomescu (Aptos)
Dmitry Khovratovich (Ethereum Foundation)
Dan Boneh (Stanford University)
Shumo Chu (Nebra)
Yupeng Zhang (UIUC)
Jens Groth (Nexus)
Abhi Shelat (Google)
Wei Dai (1kx)
Ryan Cao (World)
Tiancheng Xie (Polyhedra)
Justin Drake (Ethereum Foundation)
Schedule
| 20/1/25 | Launch Event |
| 20/1/25 | Introduction to Succinct Proofs |
| 22/1/25 | Post-quantum Aggregatable Signature |
| 22/1/25 | LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems |
| 23/1/25 | Native Rollup |
| 23/1/25 | Anonymous Credentials from ECDSA |
| 24/1/25 | Utilzing the Expander Compiler Collection |
| 27/1/25 | zkLogin Architecture |
| 27/1/25 | Introduction to Private Transactions |
| 28/1/25 | GKR and Sumcheck Protocol |
| 28/1/25 | Privacy-Preserving Machine Learning |
| 29/1/25 | GKR Proof Recursion |
| 30/1/25 | Introduction to Expander and GKR |
| 31/1/25 | CUDA-accelerated GKR Prover |
| Whole Time | Project Building! |
| 5/2/25 | Office Hours: GKR Recursion |
| 6/2/25 | Office Hours: Keyless Login |
| 6/2/25 | Office Hours: Private TXs |
| 7/2/25 | Office Hours: zkML |
| 12/2/25 | Office Hours: Expander Toolchain |
| 9/3/25 | Project Submission Deadline |
| Early March | Project Review |
| Early March | Pitch Practice for Finalists |
| TBA | Finale and Prizegiving |
Resources
Reading Material
Coding Material
• Write Circuit in Rust •
• Write Circuit in GO •
• Backend •