近日，Filecoin发表博客称，目前Filecoin已成为最大的零知识证明（zk-SNARK）网络。

据官方数据显示，目前Filecoin网络每日会运行6至7百万次零知识证明，每一个零知识证明中包含了超过1亿个约束电路证明。目前Filecoin网络的可信配置已支持最高128M大小的电路证明，单个证明最大已超过100M，而Zcash最高仅支持2M。

此外，目前Filecoin实现了通过SnarkPack将10个零知识证明捆绑至单次证明中，并正在研究零知识证明聚合以实现将数千个零知识证明聚合至单次证明中。硬件支持方面，Filecoin将零知识证明中高度可并行化的部分交由GPU完成，将CPU和内存释放出来进行较为复杂的计算，进一步提高了零知识证明的效率。

在过去的两年里，我们一直致力于将 zk-SNARKs 推向世界和 Filecoin 网络。为此，我们为世界zk-SNARK网站推出了zk-SNARKs，它展示了SNARKs在Filecoin 中的使用，以及使我们能够扩展到这个级别的一些关键改进。

Filecoin允许矿工通过证明他们正在存储客户数据来赢得区块奖励，从而避免了浪费的工作量证明。这需要大量的密码证明：我们需要复制证明确保矿工存储声称数据的唯一副本，以及时空证明，以确保他们随着时间的推移维护复制数据的可访问副本。

zk-SNARKs 是一种密码技术，它允许证明者有效地说服验证者证明者知道某些信息，而无需透露信息本身。zk-SNARKs 的效率是一个关键特性，它使我们能够证明存储空间比其他方式少得多。

当我们着手构建 Filecoin时，没有先例可以证明我们所设想的网络安全所需的证明量。在网络启动之前的开发过程中，我们陆续清除了一个又一个障碍，使我们对zk-SNARK 的使用变得切实可行。自推出以来，我们不断进行新的研究，以进一步提高性能。今天的 Filecoin证明占据了前沿研究和边界推动工程的交叉点。

Filecoin成为最大的零知识证明（zk-SNARK）网络对整个生态有什么利好呢？

Filecoin想要搭建一个去中心化的存储交易平台。那么核心问题还是怎么证明存储提供方、证明其真实有效的存储了指定的数据。

Filecoin实际上是通过PoREP以及PoST算法实现（其中就包括零知识证明）。PoREP是数据存储证明算法（证明用户数据被正确的处理）。而PoREP通过零知识证明，证明每一层的数据都经过VDE计算生成，并提供最后结果的Merkle树的树根。

在数据处理并存储后，每隔一段时间，需要提交存在性证明，也就是PoST算法。PoST算法的基本思想，随机挑选一个Merkle树的叶子节点位置，需要提供出一条Merkle路径的零知识证明。

其次，zk-SNARKs 允许证明者有效地说服验证者证明者知道某些信息，而无需透露信息本身。此属性可在区块链设置中实现安全和私密的交互。今天Filecoin所依赖的主要属性是它们的效率，因为zk-SNARK使我们能够在比其他方式更少的空间内证明存储的有效性。

所以，从整个零知识证明技术角度看，Filecoin之所以在存储方面实现了从0到1的突破，也是应用零知识证明技术解决了去中心化的存储信任。并且Filecoin整个机制的设计是允许矿工通过可证明地存储客户数据来赢得区块奖励，从而避免浪费大量的工作证明。以确保矿工在存储数据时声称数据的唯一副本的可靠性，并且时空证明也能确保他们随着时间的推移维护复制数据的可访问副本。所以，自主网启动以来，实验室就在不断进行新的研究以进一步提高性能，使提出的zk-SNARK变得切实可行。