如何将零知识证明与Filecoin网络相结合

释放双眼,带上耳机,听听看~!

最近,协议实验室研究团队发布了世界网站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零知识证明的更多信息。

给TA买糖
共{{data.count}}人
人已赞赏
头条资讯

观察|腾讯安全玄武实验室披露多个漏洞报告

2021-8-3 13:59:30

头条资讯

分析Cosmos与Polkadot的未来走势

2021-8-3 14:05:14

0 条回复 A文章作者 M管理员
    暂无讨论,说说你的看法吧
个人中心
购物车
优惠劵
今日签到
有新私信 私信列表
搜索