ZK11: The Last Challenge Attack - Oana Ciobotaru
17 Apr 2024 · 27:26
Oana Ciobotaru of OpenZeppelin presents The Last Challenge Attack at ZK11, the Zero Knowledge Summit held in Athens. She details an exploitable deviation from the Fiat-Shamir transform in a PLONK verifier implementation, showing how an incorrectly computed final challenge lets a malicious prover construct verifiable proofs of false statements, with the same flaw extending to any KZG-based batch proof scheme.