ZKP Panel Series
ZKP Panel Series invite speakers from different ecosystems who are taking different methodologies and exploring different constructions to come together and discuss the possibilities of a more compatible, unified, and standardized framework
Table of Content
- Programming Languages in ZKP
- Compiler and Composability in ZKP
- Applications of ZKP
- Security of ZK Systems
Programming Languages in ZKP
- Daniel Lubarov (Co-founder of Mir Protocol)
- Solidity/Yul/EVM [Slides]
- Howard Wu (Founder of Aleo)
- Leo (Language) [Slides]
- guiltygyoza (Founder of Topology) & Shahar Papini (Co-creator of Cairo)
- Application Development & Cairo [Slides]
- Gautam Botrel (Lead R&D Engineer at ConsenSys)
- gnark (API vs Domain Specific Language) [Slides]
- Joshua Fitzgerald (Cryptographer at Anoma)
- Vamp-IR for Circuits [Slides]
Compiler and Composability in ZKP
- Bobbin Threadbare (Founder of Polygon Miden)
- Feeding Program Source Code to ZK VMs [Slides]
- Brian Retford (Co-founder & CEO of RiscZero)
- Towards a Unified Compilation Framework for Zero Knowledge [Slides]
- Albert Rubio (Professor at UCM, Circom Development Leader)
- Circom 2.0: A Scalable Circuit Compiler [Slides]
- Izzy Meckler (Co-founder & CTO of Mina)
- Composability via Typescript and Recursion [Slides]
Applications of ZKP
- Ferdinand Sauer (Development Lead on Triton VM)
- Can Machines Learn with Zero Knowledge? [Slides]
- Ago Lajko (Co-founder of SlushSDK)
- ZK Rollups for App Specific Scaling [Slides]
- Michael Connor (Cryptography Engineering Lead at Aztec)
- Private Smart Contracts [Slides]
- Phil Kelly & Brandon Kase (Head of BD & Architect Engineer at o(1) Labs)
- A Recursive Game [Slides]
Security of ZK Systems
- David Wong (Cryptography Engineer at Mina, Former Security Head at Libra)
- ZK Security - A Whole New Layer to Worry About [Slides]
- Eli Ben-Sasson (Co-founder of Starkware)
- Securing STARKs - theory and practice [Slides]
- Christopher Goes (Co-founder of Heliax, Anoma)
- Defensive ZKP Compiler Pipeline Design [Slides]
- Morgan Thomas (CTO of Orbis Labs)
- Formally Verified Circuit Programming Made Easy [Slides]
- Yu Feng (Professor at UCSB & Founder of Verdise)
- Hardening ZK Circuits with Formal Methods [Slides]