A collection of conference talks, workshops, and research-focused sessions.
Talks
2026
- “What don’t we know? AI, ZK Auditing and zkVM” — Ethmumbai, March 12, 2026
-
Conference Slides - Covers ZK proof security, audit process, AI-assisted auditing, and practical guidance for protocol teams
-
2025
- “Presenting ZP1 zkVM at Ethproofs call #6b, proximity gaps” — Dec 19, 2025
- Covers ZP1 zkVM architecture, proximity gaps in STARKs, and proof system security.