抚州云动洛希云|Filecoin成为最大的zk-SNARK证明网络

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

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

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

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

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

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

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

所以，从整个零知识证明技术角度看，Filecoin之所以在存储方面实现了从0到1的突破，也是应用零知识证明技术解决了去中心化的存储信任。

—-

编译者/作者：洛希云

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。