2026EthMumbai
AI-assisted ZK auditing and zkVM security
A session on open questions in AI-assisted auditing, zkVM security, proof-system review, and the risks protocol teams can underestimate.
Talks
Public sessions on zkVM security, proof-system assumptions, and audit practice.
Selected talks
Each session appears once, with its available public material attached to the record.
2025Ethproofs session
Presenting ZP1 zkVM: proximity gaps
A session on ZP1 architecture, proximity gaps in STARK-style systems, and where proof assumptions surface in engineering and security review.