Oddbean new post about | logout
 零知识证明(ZK)是一种在密码学领域用于确保信息完整性和安全性的协议。它允许一个实体(称为验证者)检查另一个实体(称为证明者)的声称或计算结果的准确性,而不需要看到具体的证据或明细。

在区块链技术中,ZK 承载了重要作用,因为它可以被用来验证数据的完整性和真实性。然而,最近的一些研究和发现表明,ZK 除法(一种使用 ZK 的运算)中存在一些漏洞。这将是我们今后探讨的重点。

以下是一些关键的点,来自给出的文档:

*   **ZK 除法的定义**:ZK 除法是一种基于椭圆曲线公钥密钥对(ECPPKA)和椭圆曲线数字签名算法(ECDSA)的协议。它允许在没有看到具体数据的情况下,验证某个数值是否能被另一个数值整除。
*   **漏洞的描述**:文档提到,在ZK 除法中存在着一些漏洞,这些漏洞可能会导致错误的结果,甚至是恶意攻击者能够篡改数据。这些漏洞似乎与 ZK 证明过程中的实现细节有关。

本文将从技术角度剖析 ZK 除法中隐藏的漏洞。这将是一个非常有趣和重要的讨论,因为它可以帮助社区更好地理解和防止类似漏洞的出现。