Filecoinzk-SNARKs：Filecoin网络已成为最大的零知识证明网络

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

zk-SNARK是什么？

zk-SNAR是一种加密技术，可以让证明者有效地说服验证者知道某些信息，而不会泄露信息本身。该属性保证了区块链环境中交互的安全性和隐私性。目前，Filecoin 依赖的主要属性是它的效率。zk-SNARK 的诞生，使得用更少的空间来证明存储的有效性成为可能。

根据官方数据，Filecoin网络目前每天运行6到700万个零知识证明，每个零知识证明包含超过1亿个约束电路证明。目前Filecoin网络的可信配置已经支持最大128M的电路证明，最大单个证明已经超过100M，而Zcash只支持最大2M。

此外，Filecoin 已经通过 SnarkPack 实现了将 10 个零知识证明捆绑成一个单一证明，并正在研究零知识证明聚合，以实现将数千个零知识证明聚合成一个单一证明。在硬件支持方面，Filecoin 将零知识证明中高度并行化的部分转移到了 GPU 上，释放了 CPU 和内存用于更复杂的计算，进一步提高了零知识证明的效率。

过去两年，CryptoComputeLab和CryptoNetLab（均为Protocol Lab研究开发实验室）致力于将 zk-SNARK 融入世界和 Filecoin 网络。证明 Filecoin 是迄今为止部署的最大的 zk-SNARK 网络，并强调使 Filecoin 扩展到这一级别的关键改进。

虽然这个动作需要大量的证明，但 Filecoin 允许存储提供商通过证明用户数据实际存储来赢得区块奖励，从而避免消耗资源的工作证明。我们需要复制证明以确保存储提供者存储其承诺的数据的唯一副本；同时，我们还需要时间和空间证明，以确保存储提供者继续长期维护复制数据的可访问副本。

成为最大的zk-SNARK网络对生态有何利好？

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

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

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

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

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

V:jsy18186455993

—-

编译者/作者：鲸链科技

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