零知识证明怎样与Filecoin网络融合_以太坊

零知识证明怎样与Filecoin网络融合

近期，Protocol Labs科学研究精英团队公布了zk-SNARKs for the World site网站。这一网站介绍了现阶段在Filecoin网络上融合零知识证明密码算法所进行的工作中。这种勤奋已不断三年，已让Filecoin变成现阶段较大的zk-SNARK布署网络，而且每日转化成了六百万到700万个零知识证明。

zk-SNARKs对Filecoin网络的使用价值

为了更好地让Filecoin网络上的储存提供者再次为客户给予服务项目（并在全过程中获得收益），她们务必按时证明自身在链上不断储存其所服务承诺储存的数据。将她们放到零知识证明的关联中了解得话，这种储存提供者就变成了证明者（provers）。

这一公式计算的另一边便是全连接点，她们承担为全部Filecoin网络维护保养的共识。这种连接点期待保证数据被储存、维护保养和存放好，而沒有粗心大意或毁坏。这种监管方—— 验证者（verifiers）务必能保证储存提供者对数据被妥当储存所得出的证明是真正的。这规定在数据易手时，储存提供者和连接点中间有一种方式的通信。

对每一个区块链而言，这一全过程是（将是）对資源规定很高的。今日，个人的储存提供者为验证储存所必须 证明的数据是大量的，并且伴随着时间流逝只能提升。Filecoin网络的区块链时间三十秒，为了更好地保持这一区块链時间并容许可拓展的方式 ，网络必须 一个能给予迅速、高效率和健硕的验证全过程的解决方法。

掌握zk-SNARKs

对Filecoin网络而言，zk-SNARKs提高了网络扩展性和高效率，它是根据巨大地减少多方验证储存的時间来完成的。这对保持Filecoin的三十秒区块链時间很重要。

对储存提供者而言，zk-SNARKs减少了她们证明储存所必须 传送的数据量，进而减少了在网络上给予其服务项目的成本费。

zk-SNARKs实践活动

为了更好地在Filecoin上验证储存，会牵涉到2个证明：_拷贝证明——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上的零知识证明。

响声 | CFTC运营专员：再次看中个人隐私币的零知识证明技术性:据AMBCrypto信息，近日，英国产品商品期货联合会（CFTC）运营专员Brian Quintenz接纳访谈时表明，虽然存有AML（合规管理）的难题，但对零知识证明协议书持积极心态。政府部门接纳一切方式的个人隐私币的概率不大，数字货币平台交易也严禁客户开展不会受到监管的买卖，这也是为什么Monero沒有在Coinbase发布的缘故。[2019/6/28]

动态性 | 非洲理工大学专家教授违背专利权要求创建零知识证明技术性企业:据Bitcoin.com报导，非洲理工大学专家教授Eli Ben-Sasson因违背了该院校专利权要求而起诉。据报道，Ben-Sasson运用在为该组织工作中时开发设计的专利权创建了一家零知识证明技术性企业。Ben-Sasson是区块链应用新成立公司Starkware的创始人兼首席科学家，非洲理工大学在法院提出要求Ben-Sasson出让其在该企业的50%股权。[2019/4/23]

响声 | ALabs责任人王增新：改善后的零知识证明是处理数据易用性难题的行得通计划方案:今日，在日本日本东京举行的SmartBlock2018国际性学术会上，区块链技术研究所ALabs责任人王增新干了关于区块链安全性个人隐私及扩展性的学术研究共享，他觉得数据易用性难题是区块链技术广泛运用的短板，改善后的零知识证明是处理数据易用性难题的行得通计划方案，将要的共识的复杂性减少到多数等级，提升数据的互换与验证高效率。ALabs将紧紧围绕这一方位开展探寻，促进区块链市场行业运用发展趋势。 SmartBlock2018国际性学术研究高峰会由Springer、早稻田大学、宾夕法尼亚大学、北理工、谢菲尔德城市大学等顶级学术研究学校协同举办，大会紧紧围绕前沿技术发展趋势开展讨论，包含人工智能技术、大数据、区块链技术等前沿科技，百余名学术研究大拿及企业管理人员出席活动。[2018/12/1

标签：

区块链热门资讯