NFTS:一文了解Polygon新扩容技术Plonky2,为何它比现有替代方案快100倍?_FTSY

原文:Polygon

PolygonZero的任务很简单:使用零知识证明将以太坊扩展到十亿用户,同时不影响去中心化或安全性。实现这一点就需要一种快速有效的证明系统。今天,我们很高兴与大家分享Plonky2,这是零知识密码学的一个重要里程碑。

Plonky2是一种递归SNARK,比现有替代方案快100倍,并且与以太坊原生兼容。它结合了PLONK和FRI以获得最好的STARK,具有快速证明和无可信设置,以及最好的SNARK,支持递归和以太坊上的低验证成本。

Plonky2代表了Polygon持续致力于构建以太坊未来的最新一步,我们很自豪能与以太坊社区分享我们的工作。

一英国男子因向朝鲜提供加密货币咨询服务被拘留:2月23日消息,俄罗斯电报频道Baza报道,俄罗斯国际刑警局已应美国要求逮捕了一名被国际刑警组织通缉的英国公民Christopher Douglas Emms,该男子因涉嫌密谋违反《国际紧急经济权力法》(IEEPA),美国当局声称他正在协助朝鲜人使用加密技术规避制裁。

据悉,Emms与一名美国公民合作,向朝鲜非法提供加密货币和区块链技术服务,两人都回答了朝鲜观众关于区块链和加密技术的问题,包括为平壤政府工作的人。他们还提出了为朝鲜创建智能合约的计划,并制定了旨在避免美国制裁的加密交易。Emms的美国同伴已于2019年11月被捕。[2023/2/23 12:25:15]

递归

BUSD超越XRP成为市值第六大加密货币:11月8日消息,据Coingecko数据显示,Binance发行的Stablecoin BUSD市值已达到22,612,083,290美元,超过XRP(当前市值为22,054,643,628美元),成为市值第六大加密货币,仅次于比特币、以太坊、Tether、BNB和USDC。[2022/11/8 12:32:09]

如果零知识证明有一种超能力,那就是递归。SNARK可以验证任意计算,并且由于验证SNARK是一种计算,因此SNARK也可以用于验证其他SNARK。

要了解它为何有用,假设我们要证明一批1,000笔交易是有效的。一次生成一个证明来逐个验证1,000笔交易将是昂贵且耗时的。

Flashbots的MEV-Boost现已在Coinbase Cloud上运行:11月2日消息,Coinbase Cloud在推特上宣布,Flashbots的免费开源中间件MEV-Boost现已在Coinbase Cloud上运行,其以太坊质押客户现在可以选择在其基础设施中运行MEV-Boost,接收由Proposer-Builder Separation (PBS) 启用的MEV(最大可提取价值)奖励,据估计获得的平均区块奖励可能增加100-200%。质押以太坊的Coinbase Prime和零售客户将自动获得额外奖励。

此外,Coinbase Cloud表示为实现去中心化和抗审查将鼓励中继多样性,计划订阅所有符合其技术要求的可行中继,且将继续在没有MEV-Boost的情况下运行一些验证器。[2022/11/2 12:08:09]

相反,我们可以使用1,000台机器并行生成1,000个证明,每个交易一个。接下来,我们可以获取这些交易证明,并通过生成一层递归证明来递归聚合它们,每个证明都验证两个交易证明。我们重复这个过程,直到我们得到一个可以验证1000笔交易的证明。

资深交易员Peter Brandt:比特币价格到2024年才会出现新高:6月19日消息,资深交易员Peter Brandt表示,比特币价格到2024年才会出现新高,到那时,比特币将处于一个巨大的上升趋势。“加密寒冬”的平均持续时间是4年。

据悉,Peter Brandt是预测比特币价格将在2017年骤降的人之一,他经常将比特币近期的价格走势与2017年比特币价格最高点的走势进行比较。(Zycrypto)[2022/6/20 4:39:01]

递归方法更快,资源密集度更低,并且可以更加去中心化。

效率

递归证明对于区块链的可扩展性至关重要。当我们在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的机会。

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

区块博客

[0:15ms0-4:480ms