Taxonomy of ZK bugs in Blockchain by Jon Stephens

As zero-knowledge proofs gain increasing adoption, their security is of paramount concern. In this talk, I will describe the taxonomy of ZK bugs based on our extensive auditing experience on some of the most crucial ZK circuits in this field. I will further introduce Veridise's program analysis techniques to automatically detect ZK bugs and share the results based on a large-scale study on existing ZK circuits. Finally, I will suggest specific remediations based on our analysis towards improving overall ZK security in Web3. Jon Stephens