零知识证明如何与Filecoin网络结合
zk-SNARKs能够极大地降低各方验证存储的时间,提升Filecoin网络可扩展性和效率。同时,zk-SNARKs降低了矿工证明存储所需要传输的数据量,从而降低了在网络上提供其服务的成本。
最近,Protocol Lab研究团队发布了zk-SNARKs for the World site (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网络上的存储提供者继续为用户提供服务(并在过程中赚取回报),他们必须定期证明自己在链上持续存储其所承诺存储的数据。将他们放在零知识证明的关系中理解的话,这些存储提供者就成为了证明者(provers)。
这个公式的另一边就是全节点,他们负责为整个Filecoin网络维护共识。这些节点希望确保数据被存储、维护和保管好,而没有疏忽或损坏。这些参与方—— 验证者(verifiers)必须能确保存储提供者对数据被妥善存储所给出的证明是真实的。这要求在数据易手时,存储提供者和节点之间有一种形式的通讯。
对每一个区块来说,这个过程是(将是)对资源要求很高的。今天,个体的存储提供者为验证存储所需要证明的数据是海量的,而且随着时间推移只会增加。Filecoin网络的区块时间是30秒,为了维持这个区块时间并允许可扩展的方法,网络需要一个能提供快速、高效和强大的验证过程的解决方案。
了解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 Lab研究团队已长期投入了Filecoin网络上的零知识证明工作。他们的努力已为网络提供了关键的效率解决方案。随着新的验证系统的出现,团队会继续为未来的Filecoin网络实施最有效率的解决方案。
请访问zk-SNARKs for the World site(https://research.protocol.ai/sites/snarks/) 网站并深入了解Filecoin上的零知识证明。
比推快讯
更多 >>- XEROF联创:贝莱德等比特币ETF削减了比特币增长空间
- Ola:首次代币发行快照已完成
- 比特币矿企Cleanspark今年Q1净利润突破1.267亿美元
- CME美联储观察:美联储6月维持利率不变的概率为96.5%
- Justin Sun通过2个地址向HTX充值2423万USDT
- 某巨鲸地址以843万美元的亏损清仓了ETH、OP以及ARB
- 摩根大通披露持有贝莱德等多个美国现货比特币 ETF 敞口
- ARK Invest 和 21 Shares 修改现货以太坊 ETF 备案,删减质押条款
- 哥伦比亚总统涉嫌接受50万美元非法加密货币捐款
- SEC称法院应驳回Coinbase的中间上诉请求
- Curve原生稳定币crvUSD铸造数量超过1.28亿枚
- ShapeShift 创始人 Erik Voorhees 推出生成式 AI 平台 Venice
- Rubric Capital Management持有超6000万美元的贝莱德现货比特币ETF
- 分析师:6 月底到期的比特币看涨期权未平仓合约集中在 75,000 美元
- EigenLayer 基金会:EIGEN空投申领和质押已开放
- Celo社区批准将 Optimism 的 OP 堆栈用于新的Layer2链的计划
- 美 CFTC 投票提议禁止通过赛事合约押注政治事件的规则
- 美司法部选择咨询公司Forensic Risk Alliance作为币安外部监管机构
- Jack Dorsey:2030 年比特币价格将突破 100 万美元
- Fireblocks推出受NYDFS监管的加密托管公司,将向美国客户提供冷存储托管服务
- 美联储理事Bowman:认为今年不需要降息
- 富国银行持有美国现货比特币ETF敞口
- 以太坊失守2900美元,日内跌幅4.53%
- 分析师:贝莱德IBIT和富达FBTC资管规模达到100亿美元仅用时49和77个交易日
- 一交易者花费3540美元买入michi,获利188万美元,回报达533倍
- 数据:4 月 CEX 累计现货交易量降至 1.6 万亿美元,为七个月来首次出现环比下降
- Kraken 律师再次推动驳回 SEC 诉讼,听证会将于 6 月进行
- 10x Research创始人:以太坊或将跌至 2500 美元
- 九只美国现货比特币 ETF 今日净流入约 4376 万美元
- 分析师:美元指数的低迷可能有利于比特币和股市
比推专栏
更多 >>观点
项目
比推热门文章
- XEROF联创:贝莱德等比特币ETF削减了比特币增长空间
- Ola:首次代币发行快照已完成
- 【比推一周Web3新闻精选】SEC向Robinhood美国加密业务发出Wells通知;美CFTC主席:针对加密的“执法行动周期”将在未来六个月到两年内进行;美国众议院投票废除有争议的 SEC 会计公告
- 比特币矿企Cleanspark今年Q1净利润突破1.267亿美元
- CME美联储观察:美联储6月维持利率不变的概率为96.5%
- Justin Sun通过2个地址向HTX充值2423万USDT
- 某巨鲸地址以843万美元的亏损清仓了ETH、OP以及ARB
- Bankless:这个周期会跳过以太坊吗?
- 美联储「印钞」套路大揭秘,洞悉发债背后的深层原因
- 生态建设突飞猛进,盘点处于价值洼地的 RGB++ 项目