Talks
Conference talks, workshops, and research-focused sessions on zk systems, proof security, and audit practice.
A selection of conference talks, technical sessions, and public research discussions.
Selected talks
2026
“What don’t we know? AI, ZK Auditing and zkVM”
Event: EthMumbai
Date: March 12, 2026
This talk focused on the open questions around AI-assisted auditing, zkVM security, proof-system review, and what protocol teams still underestimate when building complex systems.
2025
“Presenting ZP1 zkVM at Ethproofs call #6b, proximity gaps”
Event: Ethproofs Call #6b
Date: Dec 19, 2025
A session covering ZP1 zkVM architecture, proximity gaps in STARK-style systems, and how proof-system assumptions show up in practical engineering and security review.