使用虚假证明攻击欠约束的Circom电路 in 零知识证明之书 本文深入探讨了 Circom 中的 `<--` 操作符的一个潜在漏洞，展示了如何通过创建伪造的见证文件来利用这一漏洞，从而违背开发者对电路期望的假设。在详细的步骤中，介绍了生成有效证明的过程，以及如何修改二进制见证文件以实现攻击。此漏洞的理解对于开发安全的电路至关重要。 circom 漏洞 证明 见证 电路 安全 RareSkills 发布于 2024-03-20 2653 0 0
