A practical guide to finding soundness bugs in ZK circuits
文章介绍了一本关于在零知识证明电路中发现正确性漏洞的实用指南,从基础Circom示例开始,逐步深入探讨现实世界中的漏洞利用案例,并为审计真实ZK部署提供了建议。
2026-1-6 06:23:17
Author: www.reddit.com(查看原文)
阅读量:4
收藏
Hi everyone, I wrote a practical guide to finding soundness bugs in ZK circuits. It starts out with basic Circom examples, then discusses real-world exploits. Check it out if you are interested in auditing real-world ZK deployments.