# Taxonomy of ZK bugs in Blockchain by Jon Stephens

- Channel: [Ethereum Denver](https://streameth.org/ethereum-denver)
- Date: 2023-10-07
- Duration: 16:45
- Watch: https://streameth.org/watch/yt-FMXTvxo3NsI
- YouTube: https://www.youtube.com/watch?v=FMXTvxo3NsI

## Description

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