本文分析了 CertiK 发现的两个关键的零知识（ZK）证明漏洞。第一个 "ZK Bug #1 "是zk-SNARK实现中的一个健全性缺陷，允许伪造证据。第二个 "ZK Bug #2 "涉及一个可信设置仪式，其中一个恶意参与者就能破坏整个系统的安全性。报告详细介绍了技术原因、对现实世界的影响以及基本的缓解策略，强调了在 ZK 密码学中进行严格审计和安全多方计算 (MPC) 的必要性。