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

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

zk-SNARKs对Filecoin网络的价值

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

零知识证明公司RISC Zero与L2协议Layer N联合推出零知识欺诈证明系统:5月24日消息,零知识证明初创公司RISC Zero宣布与模块化L2协议Layer N联合推出零知识欺诈证明系统。该系统通过将Layer N的执行环境移植到RISC Zero的zk虚拟机上,以实现提升区块链性能的同时,保证区块链的可靠性和安全性。未来,zkVM还将实现与其他执行层的兼容,如EVM、SVM和WASM等。

此前报道,去年8月,零知识证明初创公司RISC Zero宣布完成1200万美元种子轮融资,Bain Capital Crypto领投。[2023/5/24 22:15:02]

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

GSR首席执行官:投资零知识证明、去中心化期权交易、借贷协议和去中心化保险感到兴奋:金色财经报道,GSR首席执行官Jakob Palmstierna表示,如果你真的相信这个领域,现在是部署资本的好机会。Palmstierna表示对投资零知识证明、去中心化期权交易、借贷协议和去中心化保险感到特别兴奋。

Palmstierna承认加密投资世界面临着充满挑战的时期。一方面,利率上升使美国国债等安全资产的回报更具吸引力,从而减少了投资者可用于加密货币和风险投资等另类投资的现金。另一方面,资本成本更高,LP资本已经更难获得了,筹集资金的环境要艰难得多[2022/12/2 21:18:10]

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

以太坊基金会更新支持的研发项目,涉及零知识证明的项目数量最多:4月27日消息,以太坊基金会公开了正在支持的研发团队的项目和领域,其中涉及“应用零知识证明”的团队和技术最多,近14个项目。

除了零知识证明之外,以太坊基金会还支持了关于ETH2研究、以太坊基金会官网、Ewasm、形式化验证、Geth客户端、Javascript团队、Remix、无状态客户端、Solidity等领域。[2021/4/27 21:03:39]

了解zk-SNARKs

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

零知识证明系统Bulletproofs+代码获准可在门罗币协议中使用:12月30日,门罗币发推宣布,零知识证明系统Bulletproofs+的代码现已获得许可,可在Monero协议中使用,以替代现有的Bulletproofs零知识证明系统。新系统将使得门罗交易结构变得更小,钱包交易速度更快以及网络验证速度更快。此外,官方表示,该代码具有功能性并包括对基础算法的测试,若考虑将来在门罗币网络升级中进行部署,则应该由第三方进行审核。[2020/12/30 16:04:23]

对存储提供者来说,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上的零知识证明。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

币赢深入了解The Graph Web3的核心基础架构—

去年七月首次向外界介绍The Graph时,我们分享了为Web3开发去中心化索引协议的愿景。此后团队一直兢兢业业,今天我非常高兴能够详细分享第一版The Graph去中心化网络的方方面面.

[0:15ms0-1:574ms