最近，协议实验室研究团队发布了世界网站ZK SNARK（https://research.protocol.ai/sites/snarks/ )网站。本网站介绍了在Filecoin网络上集成零知识证明加密的工作。这些努力已经持续了三年，使filecoin成为最大的ZK snark部署网络，每天产生600-700万张零知识证书。
想知道零知识证明和filecoin的存储验证过程吗？要查看protoschool的filecoin存储验证教程，请执行以下操作：
https://proto.school/verifying-storage-on-filecoin
ZK snarks对Filecoin网络的价值
为了让filecoin网络上的存储提供商继续向用户提供服务（并在这一过程中获得回报），他们必须定期证明他们继续存储承诺存储在链上的数据。如果在零知识证明的关系中理解它们，则这些存储提供者将成为验证者。
这个公式的另一面是整个节点，负责维护整个filecoin网络的一致性。这些节点希望确保数据在没有疏忽或损坏的情况下得到存储、维护和保护。这些参与者（验证者）必须能够确保存储提供商提供的数据正确存储的证据是真实的。这需要在数据易手时存储提供程序和节点之间进行某种形式的通信。
对于每个区块，这个过程都非常需要资源。如今，单个存储提供商需要证明以验证存储的数据是海量的，并且只会随着时间的推移而增加。Filecoin网络的阻塞时间为30秒。为了保持这种阻塞时间并允许许可证扩展方法，网络需要一种能够提供快速、高效和强大验证过程的解决方案。
了解ZK Snarks
对于filecoin网络，ZK snarks通过大大减少各方的验证存储时间，提高了网络的可扩展性和效率。这对于保持filecoin的30秒阻塞时间非常重要。
对于存储提供商来说，ZK SNARK减少了他们需要传输的数据量以证明存储，从而降低了在网络上提供服务的成本。
ZK Snarks实践
要验证filecoin上的存储，需要两种证明：复制证明（porep）和时空证明（post）。在复制证明中，存储提供商需要证明他们正在存储数据或信息的唯一副本。
当用户和存储提供商达成初始存储事务建议，并且存储提供商首次存储数据时，复制证明仅发生一次。链上记录的每个复制证明包括10个独立的SNARK证明，这些证明一起证明该过程通过概率挑战正确完成。
另一方面，时空证明用于证明存储提供商在一段时间内继续存储原始数据，而不会受到操纵或损坏。当存储提供商首次同意为用户存储数据时，他们必须以Fil的形式进行投资。如果存储提供者未能在本协议中间的任何时间点提供时空证明，则它们将受到惩罚，并可能失去部分或全部FIL抵押品。
在验证人和验证人之间的链式交互中，他们一致认为数据已正确存储和维护，因此这是一个证明。
如前所述，如果没有经验证的小高效解决方案，它们将占用大量网络带宽，并给存储提供商和矿工带来高昂的运营成本。但是，如果使用ZK SNARK生成证明，生成的证明将很小，验证过程将非常快（因此非常便宜）。例如，通常占用数百KB进行验证的证明可以使用ZK SNARK压缩到192字节。如前所述，每个副本证书包含10个SNARK，这意味着它将只占用1920字节（10*192字节）。
ZK在Filecoin中的过去和未来
自10月份发布以来，ZK SNARK在Filecoin网络上的使用已经上线。故事是这样的：零知识证明长期以来一直是Filecoin网络的一部分，并将继续被证明是网络未来发展的关键环节。随着越来越多的数据在Filecoin上存储、维护和访问，生态系统需要继续提供高效、经济高效和安全的身份验证解决方案。零知识证明是Filecoin网络的一个游戏规则改变者，它将复杂的验证过程缩减到原始体积的一小部分，而不影响安全性、可信度或可信度。
协议实验室研究团队长期从事Filecoin网络的零知识证明工作。他们的努力为网络提供了关键的效率解决方案。随着新验证系统的出现，团队将继续为未来的Filecoin网络实施最有效的解决方案。
访问ZK Snarks了解世界网站（https://research.protocol.ai/sites/snarks/ )网站，了解有关Filecoin零知识证明的更多信息。
文章链接：https://www.btchangqing.cn/307611.html
更新时间：2021年08月03日
本站大部分内容均收集于网络，若内容若侵犯到您的权益，请联系我们，我们将第一时间处理。
