链资讯 链资讯
Ctrl+D收藏链资讯
首页 > Ethereum > 正文

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

作者:

时间:

最近,Protocol Labs研究团队发布了zk-SNARKs for the World site网站。这个网站介绍了目前在Filecoin网络上整合零知识证明密码学所完成的工作。这些努力已持续三年,已让Filecoin成为目前最大的zk-SNARK部署网络,并且每天生成了600万到700万个零知识证明。

zk-SNARKs对Filecoin网络的价值

为了让Filecoin网络上的存储提供者继续为用户提供服务(并在过程中赚取回报),他们必须定期证明自己在链上持续存储其所承诺存储的数据。将他们放在零知识证明的关系中理解的话,这些存储提供者就成为了证明者(provers)。

这个公式的另一边就是全节点,他们负责为整个Filecoin网络维护共识。这些节点希望确保数据被存储、维护和保管好,而没有疏忽或损坏。这些参与方—— 验证者(verifiers)必须能确保存储提供者对数据被妥善存储所给出的证明是真实的。这要求在数据易手时,存储提供者和节点之间有一种形式的通讯。

报告:尽管加密货币低迷,Web3开发仍然强劲:金色财经报道,数据风险投资公司Telstra Ventures发布了一份新报告,这份题为“区块链开源开发者对 Web3 社区的信号强度”的报告审查了以太坊、比特币和 Solana 区块链上的开发者活动。以太坊的贡献者社区的复合年增长率接近 25%,Solana 的复合年增长率为 173%,比特币的复合年增长率为 17%。Telstra Ventures 报告指出,风险投资者和企业投资者支持了三个区块链中 10 个最活跃的项目中的 7 个。上个月,Crunchbase 的数据显示,虽然风险投资对加密公司的投资同比下降了 26%,但小型交易的数量却有所增加。(coindesk)[2022/8/3 2:56:47]

对每一个区块来说,这个过程是(将是)对资源要求很高的。今天,个体的存储提供者为验证存储所需要证明的数据是海量的,而且随着时间推移只会增加。Filecoin网络的区块时间是30秒,为了维持这个区块时间并允许可扩展的方法,网络需要一个能提供快速、高效和健壮的验证过程的解决方案。

ZEC跌破68美元关口:火币全球站数据显示,ZEC短线下跌,跌破68美元关口,现报67.98美元,日内涨幅达到0.06%,行情波动较大,请做好风险控制。[2020/12/14 15:05:37]

了解zk-SNARKs

对Filecoin网络来说,zk-SNARKs提升了网络可扩展性和效率,这是通过极大地降低各方验证存储的时间来实现的。这对维持Filecoin的30秒区块时间很重要。

对存储提供者来说,zk-SNARKs降低了他们证明存储所需要传输的数据量,从而降低了在网络上提供其服务的成本。

zk-SNARKs实践

为了在Filecoin上验证存储,会涉及到两个证明:_复制证明——Proof of Replication (PoRep)和时空证明——Proof of Spacetime (PoSt)。在复制证明中,存储提供者需证明他们正存储一份数据或信息的独特副本。复制证明只会发生一次,这是在用户和存储提供者达成最初存储交易提议且数据首次被存储提供者存储时发生的。每一个被链上记录的复制证明包括了10个独立的的SNARKs证明,它们一起证明了该过程是通过概率挑战(probabilistic challenges)而正确完成的。

另一方面,时空证明用于证明存储提供者随着时间推移依然持续存储原始的数据,而没有被操纵或损坏。当一个存储提供者刚开始同意为用户存储数据时,他们必须以FIL的方式投入质押品。如果存储提供者在这个协议中间的任何时点无法提供时空证明,他们会被惩罚并可能损失部分或所有的FIL抵押品。

在 证明者(prover)和验证者(verifier)的链上互动中,它们同意数据已被正确地存储和维护,那么这就是一个证明(proof)。如前所述如果缺乏让这些证明足够小和高效的解决方案,它们就会占据大量的网络带宽并为存储提供者和矿工带来很高的运作成本。不过如果通过使用zk-SNARKs来生成证明,那么所生成的证明就会很小,验证过程也会非常快(因此就很便宜了)。例如,通常要占据几百kb来验证的证明可以使用zk-SNARKs来压缩到192字节。前面已经提到过,每一个复制证明包括了10个SNARKs,这就意味着它只会占据1920字节(10*192字节)。

zk在Filecoin的过去和未来

从10月份的发布开始,Filecoin网络对zk-SNARKs的使用就已经上线了。故事是这样的:零知识证明长期是Filecoin网络的一部分,也会继续被证明是网络未来演变的关键一环。随着越来越多的数据在Filecoin上被存储、维护和访问,生态系统需要继续提供高效、划算和安全的验证解决方案。零知识证明是Filecoin网络的游戏规则改变者,将复杂的验证流程的大小降低到原始体积的一小部分,而没有影响安全性、可信性或信心。

Protocol Labs研究团队已长期投入了Filecoin网络上的零知识证明工作。他们的努力已为网络提供了关键的效率解决方案。随着新的验证系统的出现,团队会继续为未来的Filecoin网络实施最有效率的解决方案。

请访问zk-SNARKs for the World site网站并深入了解Filecoin上的零知识证明。

标签:COIFILENARARKSHUGCOINfilecoin币哪里能交易GENARTMARKS币

Ethereum热门资讯
Arbitrum的秘密武器:交互式欺诈证明

Arbitrum One 已经在主网开放,我们计划推出一系列的文章,讲解 Arbitrum 的内部构件。本文摘自?Inside Arbitrum,该原文深入讲解了 Arbitrum 的工作原理。?? 围绕?optimistic rollups,最主要的设计抉择是,如何解决争议。

Town Star新手小白如何成为高手玩家并获取奖金

首先,进入Gala Games的官方网站: “https://app.gala.games/”。然后点击左上角的“Register”进行注册。 如图,设置好邮箱号、密码和用户名等基本信息后,点击“Create Account”进入下一页。 在用户须知中,向下滑动到最后一行,并勾选下方的知情栏,再点击“I agree”。

为什么说Polygon是Commit Chain而不是侧链

那么什么是提交链(commit chain)?它与侧链有何不同?是什么让 Polygon Commit Chain 成为一条提交链而不是侧链?我们将在本文中回答所有这些问题。 让我们从了解究竟什么是侧链开始。 侧链本质上是一个单独的区块链,可用作扩展第 1 层区块链(如以太坊或比特币)的一种方式。顾名思义,侧链与主链并行运行或在主链“一侧”运行。

DeRace:7000亿美元的市场颠覆者

DeRace的代币已于7月26号12点在DAO Maker平台上公开发行。 NFT赛马平台DeRace官方前几日宣布完成170万美元的私募轮融资,本轮融资由DAO Maker、Animoca Brands领投,LD Capital, Au21, CMS, AC Capital, X21, Dweb3, Hillrise Ventures, Kyros。

为什么除了Flutter我们还需要另一个跨平台开发框架

不久前,谷歌正式推出 Jetpack Compose 1.0 版本。近日,JetBrains 在此基础上发布了 Compose Multiplatform Alpha 版本,旨在将 Compose 扩展到桌面和 Web 端。

Mintbase :你想开一家nft淘宝店吗?

Mintbase其实是一个非常老牌的以太坊项目,很多知名的NFT数字收藏品都是通过Mintbase铸造的。 目前Mintbase已经有了1000多家商店,交易数量突破了8万笔,售出的NFT卡片数量超过了 2400张。 目前Mintbase已获得了种子轮融资,并且为即将在NEAR上发行的版本,增加了各种支持构件,以增强用户体验。