今天（7月30日）上午，filecoin官方推特发布了一条“旧”消息：“filecoin成为最大的零知识证明网络”。之所以说是“旧”消息，是因为早在十多天前，filecoin官方网站就已经发布公告，宣布取得该项成绩，此番再次发布，自然是因为在官方看来，这一消息意义非凡。

在推文最后，filecoin官方还抛出了一连串的疑问 —— 这是什么意思？为什么filecoin网络需要零知识？再次阅读官方公告之后，我发现其中很多解释对于普通用户比较晦涩难懂，因此决定用通俗易懂的语言出一科普篇文章，方便大家理解。

零知识证明是什么？

零知识证明（Zero—Knowledge Proof）是理论计算机科学领域和数学领域的一种特殊的计算模型，其中最重要的加密技术是zk-SNARK。该技术可以让证明者（prover）在不向验证者（verifier）提供任何有用信息的情况下，使验证者相信某个论断是正确的。

换成大白话来说，就是零知识证明既能证明自己想要证明的事情，又能确保透露给对方的信息为零。举个例子，当某个用户在注册某个采用零知识证明的系统时，系统不会保存用户的密码明文，而是保存密码的哈希值；而当用户登录系统时，系统会比对用户输入密码产生的哈希值与数据库中的存储的哈希值，进而判断用户是不是真的知道密码。

零知识证明与filecoin

我们知道，filecoin矿工主要通过提供有效存储空间来获得通证奖励。理论上，提供的有效存储空间越多，获得的奖励也就越多。为了验证矿工究竟有没有提供了真实有效地存储，主要通过复制证明和时空证明算法来实现；在这个验证过程中，零知识证明充当了基础，除了保证区块链环境中的安全和隐私，还可以用更少的空间去证明存储的有效性，直接利好整个filecoin网络和网络中的所有参与者。

根据filecoin官方发布的公告显示，CryptoComputeLab和CryptoNetLab过去两年一直致力于将零知识证明融入世界和filecoin。如今filecoin网络每天产生的零知识空间证明量大约在6至7百万，已经成为迄今为止全球最大的零知识证明网络。这一成绩充分说明，filecoin技术团队对零知识证明的改进和优化工作已经取得良好成效，而这也必然反哺filecoin网络，使生态繁荣加速到来。