以太坊:三分钟了解Laye 2扩容明星Plonky2

原标题|Plonky2入门指南———关于全世界最快的ZK技术

PolygonZero的宗旨很简单：在不影响去中心化或安全性的前提下，使用零知识证明将以太坊扩展到十亿用户。实现这一点需要快速有效的验证系统。今天，我们很高兴与大家分享Plonky2——零知识密码学的一个重要里程碑。

Plonky2是一种递归zk-SNARK(Zero-KnowledgeSuccinctNon-InteractiveArgumentofKnowledge,?零知识简洁的非交互式知识论证)，比现有其他方案快100倍，并且与以太坊原生兼容。它结合了PLONK和FRI以获得最好的STARK(Zero-KnowledgeScalableTransparentArgumentofKnowledge，零知识可扩展的透明知识论证)，具有快速证明和无可信设置，以及最好的SNARK，支持递归和以太坊上的低验证成本。

美SEC确认收到Bitwise的现货比特币ETF重新申请:金色财经报道，美国证券交易委员会（SEC）已正式确认收到（acknowledged）Bitwise的现货比特币申请。这家总部位于旧金山的数字资产管理公司于2021年10月首次申请了现货比特币ETF，但于今年6月28日修改并重新提交了申请。

美国SEC称，根据纽约证券交易所ARCA规则8.201-E（基于商品的信托股票）提交拟议规则变更的通知，以列出和交易Bitwise比特币ETP信托的股票。[2023/7/14 10:55:53]

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

Gary Gensler曾于任教麻省理工期间将其学生撰写的BNB报告发给CZ:6月8日消息，Manta Network 联合创始人兼首席运营官 Kenny 在社交媒体上发文表示，其曾在 Gary Gensler 于麻省理工学院斯隆管理学院加密金融与区块链实验室任教时担任助教职务，作为 Gensler 班上的学生，Gary Gensler 曾将他写的关于 BNB 的报告发给 CZ 看，并激励 Kenny 更多地参与加密，Kenny 也曾于担任助教期间和 Gensler 深入交流和探讨加密项目。

Kenny 表示，如今看到 Gensler 对 Binance 和 CZ 的诉讼是一个不幸的结果，就像看到父母争吵一样，希望不管这件事情的结果如何，都能够充分考虑到那些智者为改变世界而在这个领域付出的辛勤努力。[2023/6/8 21:23:53]

递归

澳大利亚通信和媒体管理局：币安因垃圾邮件违规行为被处罚200万美元:金色财经报道，澳大利亚通信和媒体管理局 (ACMA) 宣布 Binance 因在 2021 年 10 月至 2022 年 5 月期间发送垃圾邮件的违规行为被处以 200 万美元的罚款。据澳大利亚通信和媒体管理局周四发布的更新信息显示，币安此前发送了超过 570 万封电子邮件，这些电子邮件要么无法取消订阅，要么很难选择退出（只能登陆账户才能执行退出操作）。

澳大利亚通信和媒体管理局声称，此前已就此事联系了 Binance Australia 但没有采取执法行动，目前币安已完成了相关罚款的支付并将履行一项可由法院强制执行的为期三年的承诺，包括允许对其线上营销活动的独立审查等。（smartcompany）[2022/12/15 21:45:51]

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

赵长鹏：投资Terra理论上亏损了16亿美元:6月5日消息，币安首席执行官赵长鹏在接受《财富》杂志采访时表示，币安在2018年向Terra投资了约300万美元，并收到一些LUNA代币作为回报。这些代币被保存在一个公开的加密货币钱包地址中，没有人碰过，金额约为5000万枚。赵长鹏称，币安未从投资Terra中获利，理论上甚至亏损了16亿美元。（U.today）[2022/6/5 4:03:08]

要了解它为何有用，我们可以来做一个假设。假设：我们要证明一批总计1,000笔的交易是有效的，而且一次生成一个证明来依次验证1,000笔交易将是昂贵且耗时的。

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

递归方法更快，资源密集度更低，并且可以更加分散。

效率

递归证明对于区块链的可扩展性至关重要。当我们在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，您可以拥有大型的快速证明，或者您可以选择小型的慢速证明。正如Starkware在其ZK-rollups中使用的STARK，使用FRI的构造必须进行选择。他们不能拥有足够快的证明时间和足够小的证明大小以在以太坊上进行合理验证。

Plonky2消除了这种权衡。在证明时间很重要的情况下，我们可以优化最快的证明。当这些证明被递归聚合时，我们只剩下一个可以在小电路中验证的证明。此时，我们可以优化证明大小。我们可以将证明大小缩小到45kb，只需20秒的证明时间，相对于Starkware，大大降低了成本。

兼容性

令人兴奋的是，Plonky2原生兼容以太坊。Plonky2只需要keccak-256来验证证明。我们估计，在以太坊上验证plonky2大小优化证明的燃料费成本约为100万Wei。

然而，这个成本主要是在以太坊上发布证明的CALLDATA成本。如果CALLDATA在EIP-4488中重新定价，plonky2证明的验证成本将下降到170-200kgas之间，这可能使其不仅是最快的证明系统，也是在以太坊上验证的最便宜的系统。

结论

去年，Polygon承诺支持零知识证明扩容。这代表了一个重要的转变，因为Polygon从提供当前的基本解决方案转向构建以太坊扩展的未来。Plonky2是这一旅程的重要一步，也是整个空间的重大突破。

ZKL2受益于大量炒作，但当前的解决方案依赖于低效且限制可扩展性的密码原语。最终，L2将在吞吐量和成本上展开竞争，而Plonky2为Polygon生态系统提供了构建性能最高和可扩展的L2的机会。

标签：PLOLON以太坊ARKWhale ExploderPokelon.Finance以太坊币最新价格美元行情Credmark

AVAX热门资讯