ZK-proofs之年:2023年助力以太坊扩容的4层2层解决方案
以太坊在2023年的发展与进化简直像坐上了火箭,生态系统将重点转向了扩容方案和协议以提高去中心化应用程序(DApps)和用户的吞吐量并降低成本。
从能耗密集型的工作量证明挖矿转向权益证明共识机制,也为“合并”之前看似不可能的扩展升级奠定了基础。出现了几种方法,让网络能够处理更多交易而不必增加节点的大小。
第2层解决方案已经成为扩展以太坊生态系统最受欢迎的机制。这些独立于以太坊主链运行的网络处理和批量处理交易,作为“汇总”后,再将摘要数据提交给以太坊。汇总的目的是提高以太坊的吞吐量并降低用户交易的成本。
相关:ZK证明是否是比特币的序数和 BRC-20 问题的答案?
相关:ZK证明是否是比特币的序数和 BRC-20 问题的答案?以太坊有两种类型的汇总目前帮助网络实现扩展。第一种是乐观汇总,它将交易执行在链外,将交易数据作为调用数据发布到主网。
正如以太坊信息数据库所解释的那样,这些汇总被冠以“乐观”之名,因为它们假设链外交易是有效的,并不会发布链上提交的交易批次的验证证明。
这与其说是零知识汇总(ZK汇总)的区别,ZK汇总也将交易打包在链外,但会提交更改所有交易批次的验证证明。验证证明是对汇总提出的让状态变更从实际执行交易本身而来这一点的加密保证。ZK汇总只需要提供验证证明来最终确定交易,而不是像乐观汇总那样在链上发布所有交易数据。
相关:以太坊的 proto-danksharding 使 rollups 成本降低 10 倍 — Consensys zkEVM Linea 领头
相关:以太坊的 proto-danksharding 使 rollups 成本降低 10 倍 — Consensys zkEVM Linea 领头从ZK汇总转移到以太坊主网没有延迟,因为交易是在ZK汇总合同验证验证证明时执行的。乐观汇总的提款有延迟,允许用户执行欺诈证明以双重检查批量交易的有效性。
尽管意见不一,但2023年,由ZK驱动的第2层变得越来越流行,因为它们绕过了欺诈证明的需要。一些由该技术支持(solution)的解决方案脱颖而出,币讯网也将回顾今年出现的这些领先玩家。
Polygon zkEVM
Polygon已经成为以太坊扩展生态系统中的一个家喻户晓的名字,2023年其在技术栈的开发方面取得了显著的进步。这包括其自身的Polygon zkEVM和Chain Development Kit的发展,后者允许开发者在其以太坊项目需求的基础上启动定制的ZK驱动的第2层协议。
Polygon于2023年3月发布了开源zkEVM主网的测试版,它提供了降低交易成本和提高智能合约部署吞吐量的功能。该技术允许成千上万的交易在链外批量处理,并以包含最小数据摘要的加密证明的形式提交到以太坊主网。

Polygon的zkEVM模仿了以太坊主网的交易执行环境。开源zkEVM允许DApps通过交易批量处理扩展,提高性能。
Polygon zkEVM浏览器反映了自2023年3月网络成立以来的使用情况,至今已处理超过860万笔交易。在过去六个月里,该网络每天处理的平均交易量在2万到4万笔以太坊交易之间。
ZkSync Era
ZkSync Era号称是第一个推出其网络alpha版本的以太坊虚拟机兼容ZK汇总,它于2023年2月推出,之前Matter Labs开发了长达四年。
第二个月的alpha发布引起了关注,包括Uniswap、Sushi、Maker和Curve在内的主要去中心化金融(DeFi)玩家都推出了zkEVM。

自那时以来,该网络吸引了许多用户基础,截至写作时,据DappRadar数据反映,已超过150个活跃的DApps。据L2scan信息,该网络拥有620万个独特的活跃钱包,至今已处理超过2亿次交易,且交易速率为每秒七笔。
Linea
MetaMask和核心以太坊产品(如MetaMask)背后的开发公司ConsenSys加入了ZK汇总竞赛,推出了zkEVM网络Linea。
该平台允许以太坊开发者构建或迁移DApps到其网络,并在2023年7月推出了alpha版本。Linea与以太坊基于浏览器的钱包MetaMask集成,为Linea用户提供访问其代币桥、交换和购买功能的权限。

Linea于2023年8月完成公开发布,在其存在的第一个月里就桥接了超过2600万美元的以太币(ETH)。Linea目前拥有超过200万个独特的活跃钱包,自推出到主网以来已处理了3400万笔交易。据L2scan的数据还显示,该网络每秒可以处理五笔交易。
Starknet
Starknet加入了这个已扩展以太坊的2层列表,作为一个有效性汇总或ZK汇总运行。它不是zkEVM,因为它在其本地的Cairo虚拟机和定制编程语言上运行。
根据Starknet的开发者资源,Cairo VM是为了有效性证明系统定制的,并且宣扬为优化内存访问。Starknet指出,EVM读取和写入内存需要更多的计算来生成证明。

尽管在不同的虚拟机上运行,但Starknet提供了与Polygon zkEVM、Linea 和zkSync Era相同的功能,即将交易打包成一个链外计算好的STARK证明。
截至写作时,Starknet的生态系统指标显示,已将48,104个ETH桥接到网络,价值为1亿美元。该2层已处理了1900万笔交易。
持续关注
ZK汇总继续吸引着以太坊生态系统的巨大价值,因为前面提到的核心玩家提供了吞吐量增加和成本降低。
2023年下半年,类似Scroll这样的另一直接zkEVM的上线,也展示了越来越多的ZK驱动的第2层正在上线。
不过,仍有很大的竞争空间。几位项目负责人明确地告诉币讯网,各种各样的ZK平台有助于使以太坊生态系统更加稳固。
杂志:大问题:中本聪对ZK证明有什么看法?
杂志:大问题:中本聪对ZK证明有什么看法?