🐛Bugs In The Wild

Book an audit with Zokyo

Having delved deep into the theoretical foundations and intricacies of zero-knowledge proofs, it's crucial to transition from abstract concepts to concrete instances. The real world, with its myriad complexities and nuances, often presents challenges that aren't immediately obvious in a theoretical setting. This next section serves as a bridge between what we've learned and the actual vulnerabilities encountered in real-world applications of ZK proofs.

These vulnerabilities underscore the importance of rigorous implementation and the potential consequences of overlooking even seemingly minute details. By analyzing these real-world cases, we not only bolster our understanding but also equip ourselves with the knowledge to prevent or rectify such issues in our own implementations.

Join us as we venture into an exploration of ZK vulnerabilities discovered in the wild, gleaning lessons from each instance and reinforcing the practical significance of our theoretical foundations.

Most of the finds can be found in thi github reprository that is continually updated: https://github.com/0xPARC/zk-bug-tracker. Thank you 0xPARC.