Explore a critical vulnerability in a cutting-edge Zero-Knowledge Proof (ZKP) PLONK C++ implementation through this 37-minute Black Hat conference talk. Discover how an attacker can create forged proofs that all verifiers will accept, guided by theoretical insights. Examine the practical execution of the attack as it exploits a chain of perfectly aligned software vulnerabilities. Gain valuable insights into the intersection of cryptographic theory and real-world implementation challenges in ZKP systems.
Overview
Syllabus
Using Zero to Attack Zero-Knowledge Proof (ZKP) PLONK
Taught by
Black Hat