ZK Verifiers Exposed - Lessons from Real Bugs and Fixes

Explore the critical vulnerabilities and solutions in zero-knowledge proof verification systems in this 34-minute conference talk by Tejaswa Rastogi from ZKsync at ETHTaipei 2025. Gain valuable insights into real-world bugs that have affected ZK verifiers, understand their technical implications, and learn about the practical fixes implemented to address these security challenges. The presentation offers essential knowledge for blockchain developers, security researchers, and anyone working with zero-knowledge proof technology in production environments.