近日，Protocol Lab研究团队发布了世界网站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 Network的价值
为了让filecoin网络上的存储提供商继续为用户提供服务(并在这个过程中获得回报)，他们必须定期证明他们继续存储他们承诺在链上存储的数据。如果在零知识证明的关系中理解这些存储提供商，他们将成为验证者。
这个公式的另一面是整个节点，负责维护整个filecoin网络的一致性。这些节点希望确保数据在没有疏忽或损坏的情况下得到存储、维护和保护。这些参与者(验证者)必须能够确保存储提供商提供的数据被正确存储的证据是真实的。当数据转手时，这需要存储提供商和节点之间某种形式的通信。
对于每个区块，这一过程都是资源密集型的。如今，单个存储提供商需要证明存储的数据是海量的，并且只会随着时间的推移而增加。Filecoin网络的阻塞时间是30秒。为了保持这种阻塞时间并允许许可证扩展方法，网络需要一种能够提供快速、高效和强大的验证过程的解决方案。
了解ZK Snarks
对于filecoin网络，ZK snarks通过大幅减少各方验证存储时间，提高了网络的可扩展性和效率。这对于维持filecoin的30秒阻断时间非常重要。
对于存储提供商来说，ZK SNARK减少了他们需要传输以证明存储的数据量，从而降低了在网络上提供服务的成本。
ZK Snarks实践
要验证filecoin上的存储，需要两个证明:* * proof (porep)和time 空 proof (post)。在* *认证中，存储提供商需要证明他们存储的是数据或信息的唯一副本。
当用户与存储提供商达成初始存储交易提议，存储提供商第一次存储数据时，* *证明只发生一次。链上记录的每个* *证明包括10个独立的SNARK证明，它们一起通过概率挑战证明过程正确完成。
另一方面，time 空 certificate用于证明存储提供者将在一段时间内继续存储原始数据，而不会被操纵或损坏。当存储提供商最初同意为用户存储数据时，他们必须以Fil的形式进行投资。如果存储提供商未能在本协议期间的任何时间点提供时间证明空
在验证者和被验证者的链式交互中，他们同意数据已经被正确地存储和维护，所以这是一个证明。
如前所述，如果没有小而高效的成熟解决方案，就会占用大量网络带宽，给存储提供商和矿商带来高昂的运营成本。然而，如果使用ZK·斯纳克来生成证明，则生成的证明将会很小，并且验证过程将会非常快(因此非常便宜)。例如，通常需要数百KB验证的证书可以使用ZK SNARK压缩到192字节。如前所述，每个副本证书包含10个SNARK，这意味着它将只占用1920字节(10*192字节)。
《档案硬币》中ZK的过去和未来
自10月发布以来，ZK·斯纳克一直在Filecoin网络上使用。故事是这样的:零知识证明作为Filecoin网络的一部分由来已久，并将继续被证明是网络未来发展的关键环节。随着Filecoin上存储、维护和访问的数据越来越多，生态系统需要继续提供高效、经济高效且安全的身份认证解决方案。零知识证明是Filecoin网络中的游戏改变者，在不影响安全性、可信度或可信度的情况下，将复杂的验证过程减少到原始卷的一小部分。
协议实验室的研究团队长期从事Filecoin网络的零知识证明。他们的努力为网络提供了一个关键的效率解决方案。随着新验证系统的出现，该团队将继续为未来的Filecoin网络实施最有效的解决方案。
访问https://research.protocol.ai/sites/snarks/世界网站，了解更多关于Filecoin的零知识证明。
温馨提示：注：内容来源均采集于互联网，不要轻信任何，后果自负，本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权，请给我们来信(j7hr0a@163.com)，我们会及时处理和回复。
原文地址"零知识证明 区块链 应用，零知识证明有哪些算法"：http://www.guoyinggangguan.com/qkl/137201.html。
微信扫描二维码关注官方微信
▲长按图片识别二维码
