原文:Polygon
PolygonZero的任务很简单:使用零知识证明将以太坊扩展到十亿用户,同时不影响去中心化或安全性。实现这一点就需要一种快速有效的证明系统。今天,我们很高兴与大家分享Plonky2,这是零知识密码学的一个重要里程碑。
Plonky2是一种递归SNARK,比现有替代方案快100倍,并且与以太坊原生兼容。它结合了PLONK和FRI以获得最好的STARK,具有快速证明和无可信设置,以及最好的SNARK,支持递归和以太坊上的低验证成本。
分析师对COIN的平均目标价从每股69.17美元上涨至69.70美元:金色财经报道,根据TheBlockResearch编制的数据,由于分析师的平均目标价略有上升,Coinbase的股价在上周上涨了近6%。Coinbase上周上涨5.93%,尽管美国证券交易委员会对该交易所运营商的诉讼悬而未决,但本周收于55.59美元。自SEC于6月6日宣布诉讼以来,该股已上涨超过7%。
与此同时,截至6月18日,分析师对COIN的平均目标价从每股69.17美元小幅上涨至69.70美元。上涨的原因是一家经纪商取消了对该股的卖出评级覆盖范围,这反过来又提高了普遍覆盖范围评级。[2023/6/18 21:45:34]
Plonky2代表了Polygon持续致力于构建以太坊未来的最新一步,我们很自豪能与以太坊社区分享我们的工作。
百度发布希壤元宇宙底座MetaStack:金色财经报道,百度副总裁马杰透露,百度即将在1月10日的Create开发者大会上,发布全球首个独立元宇宙解决方案——希壤元宇宙底座MetaStack。据介绍,基于一系列元宇宙组件化基础设施和一站式开发平台,原本需要6个月到一年的元宇宙开发,如今最快40天即可完成。[2023/1/4 9:52:15]
递归
如果零知识证明有一种超能力,那就是递归。SNARK可以验证任意计算,并且由于验证SNARK是一种计算,因此SNARK也可以用于验证其他SNARK。
要了解它为何有用,假设我们要证明一批1,000笔交易是有效的。一次生成一个证明来逐个验证1,000笔交易将是昂贵且耗时的。
链上开源软件构建平台Tea完成890万种子扩展轮融资:12月6日消息,链上开源软件构建平台Tea宣布完成890万美元种子扩展轮融资,Acuitas Group Holdings领投,Betaworks Ventures、Percival VC、Round13Digital Assets Fund、Strong Block和Wax Blockchain等参投。Tea是面向软件开发人员的开源统一package管理器,提议的协议将使软件包维护者在完成软件包提交时收到一个NFT,并用于证明他们的工作以及指导Tea奖励的关键。
此前消息,3月23日,Tea完成800万美元种子轮融资,Binance Labs领投,XBTO Humla Ventures、Lattice Capital、DARMA Capital、Coral DeFi、Woodstock、Rocktree、SVK Crypto和MAKE Group等参投。(TechCrunch)[2022/12/6 21:26:22]
相反,我们可以使用1,000台机器并行生成1,000个证明,每个交易一个。接下来,我们可以获取这些交易证明,并通过生成一层递归证明来递归聚合它们,每个证明都验证两个交易证明。我们重复这个过程,直到我们得到一个可以验证1000笔交易的证明。
道明证券:若全球经济动能回升 美元的强势将面临挑战:8月16日消息,道明证券外汇策略师Mark McCormick和Ray Ng表示,全球经济动能的回升将对美元表现构成重创。“大举看空美元的一个关键因素是全球增长势头的提升,”他们在分析了全球数据的意外表现和趋势后指出。“结果显示,意外表现和数据均‘积极’时,将令美元表现最糟。”物价压力加大、金融状况收紧正在强化美元,使得整体环境支撑美元。“即便如此,全球数据意外指标过去几周持续改善,可能很快变为正面。再加上通胀触顶和美联储终期利率,可能在第四季度再次改变外汇市场态势和驱动力。简而言之,不要过于自满。”(金十)[2022/8/16 12:27:43]
递归方法更快,资源密集度更低,并且可以更加去中心化。
效率
递归证明对于区块链的可扩展性至关重要。当我们在2019年启动Mir时,在一台快速计算机上需要两分钟才能生成一个递归证明。2020年为以太坊带来了证明时间为60秒的递归证明,Halo的发明提供了更快的递归证明,但它不兼容以太坊。
2021年,我们有了一个大胆的目标:在以太坊上实现不到1秒的递归证明。我们意识到,STARKS中使用的多项式承诺方案FRI可以为递归SNARK提供显着的性能改进。在当时,这并不明显。Fractal是递归FRI的唯一现有实现,大约需要10分钟才能生成证明。
然而,FRI有一些令人兴奋的特性。它允许我们使用64位字段,我们的团队发现了Goldilocks字段,它的模数可以在现代CPU上实现极其高效的字段运算。当与PLONK结合使用时,FRI允许我们编写具有更多线程的自定义门关,因此我们可以编写针对高效递归进行优化的回路。
这种数学洞察力、零知识密码学方面的深厚专业知识和惊人的低级优化相结合,使我们能够取得重大突破。Plonky2的递归证明在MacbookPro上仅需170毫秒就能完成,比现有替代方案提高了100倍。
证明大小
Plonky2还允许我们加快不涉及递归的证明的证明时间。使用FRI,您可以拥有大型的快速证明,或者您可以拥有小型的慢速证明。使用FRI的构造,例如Starkware在其ZKRollup中使用的STARK,必须进行选择;他们不能拥有足够快的证明时间和足够小的证明大小以在以太坊上进行合理验证。
Plonky2消除了这种权衡。在证明时间很重要的情况下,我们可以优化最快的证明。当这些证明被递归聚合时,我们只剩下一个可以在小回路中验证的证明。此时,我们可以优化证明大小。我们可以将证明大小缩小到45kb,只需20秒的证明时间,相对于Starkware,大大降低了成本。
兼容性
令人兴奋的是,Plonky2原生兼容以太坊。Plonky2只需要keccak-256来验证证明。我们估计,在以太坊上验证plonky2大小优化证明的gas成本约为100万gas。
然而,这个成本主要是在以太坊上发布证明的CALLDATA成本。如果CALLDATA在EIP-4488中重新定价,plonky2证明的验证成本将降至170-200kgas之间,这可能使其不仅是最快的证明系统,而且是在以太坊上验证的最便宜的系统。
结论
去年,Polygon承诺支持零知识扩展。这代表了一个重要的转变,因为Polygon从提供当前的基本解决方案转向构建以太坊扩展的未来。Plonky2是这一旅程的重要一步,也是整个空间的重大突破。
ZKL2受益于大量炒作,但当前的解决方案依赖于低效且限制可扩展性的密码原语。最终,L2将在吞吐量和成本上展开竞争,而Plonky2为Polygon生态系统提供了构建性能最高和可扩展的L2的机会。
视频|链小6、林涵风?配音|?随易联合出品?|?DeFi之道2021年的加密世界混沌初开疯狂、混乱、魔幻但同时也孕育着生机 这一年DeFi交易平台Aurox以7500万美元估值寻求100万美元融.
1900/1/1 0:00:00据AFR1月5日消息,澳洲电信服务提供商TPG接班人JackTeoh与个人投资者IshanHaque合作推出5000万美元元宇宙基金GeminioCapital.
1900/1/1 0:00:00来源&作者:CoinMixGlobalResearch本文转自深潮财经前言:以太坊在用户使用量激增之后面临着链上拥堵和费用较贵等问题,在roadmap上.
1900/1/1 0:00:00此次突如其来的疫情将人们的线下生活转移到了线上,社会互动和影响力也在稳步向虚拟迈进,真实和虚拟的黏结似乎变得更加紧密.
1900/1/1 0:00:00据TheBlock1月12日报道,加密货币服务初创公司ZeroHash于本周三宣布,它在D轮融资中筹集了1.05亿美元的资金.
1900/1/1 0:00:00据CoinDesk消息,1月12日,Block创始人兼CEOJackDorsey在发给bitcoin-dev邮件列表的电子邮件中写道,提议为比特币开发者创建一个法律辩护基金.
1900/1/1 0:00:00