Circomlib中的AliasCheck和Num2Bits strict in 零知识证明之书 本文探讨了 Circom 中的 alias bug 及其潜在安全隐患，介绍了如何通过溢出特定的域元素大小（p）来伪造证明。文中给出了该漏洞的示例代码，并介绍了如何通过严格的 Num2Bits 和 Bits2Num 函数，使得编码的二进制数组不会超过 p，从而避免此类攻击，同时还描述了挑战中的漏洞及其利用方式。 circom alias bug 域元素 二进制表示 加密证明 攻击示例 RareSkills 发布于 2024-07-15 2729 0 0
