亲爱的朋友们，
Layer 2 生态系统的发展势头丝毫没有放缓的迹象，一些令人兴奋的进展成为头条新闻。其中最有趣的是Pepe Unchained (PEPU)，这是以太坊上专为meme币打造的全新 L2。该项目的预售额最近达到 1100 万美元，表明meme社区的热情高涨。
与此同时， Arbitrum正准备推出 Stylus，这是一项突破性的开发，将于 2024 年 9 月 3 日上线，恰逢该平台的周年纪念日。Stylus 允许开发人员使用更多开发人员原生语言（如 Rust、C 和 C++）在Arbitrum上进行Buidl。再加上更快的计算效率和更高效的内存使用， Arbitrum将迎来大量开发人员的涌入。
随着Soneium 被引入其超级链，Optimism也成为头条新闻。索尼区块解决方案实验室正式推出了Soneium，这是在OP Stack 上开发的以太坊第 2 层，旨在弥合 web3 与传统互联网服务之间的差距，使区块链技术对普通消费者更具可扩展性和用户友好性。
这些发展只是第 2 层生态系统正在发生的进步的冰山一角。
探索 zkEVM 的世界，本期社论将带我们了解通用 zk-rollups 背后的技术。请继续阅读，我们将为您带来重塑区块链未来的顶级第 2 层项目的最新见解和更新。
贡献者： Lucent、 Melasin 、 Tonytad 、 Boluwatife 、 Kornekt 、 WinVerse
这是BanklessDAO的官方新闻通讯。请订阅和分享，以帮助我们扩大受众群体，实现构建用户友好型加密货币入口的使命。
🗞️ 生态系统更新
⛓️超级链如何（以及为什么）将费用转给Optimism Collective
🔥 热点新闻
索尼的 Soneium 正通过其创新的第 2 层解决方案连接娱乐和区块链行业
索尼集团的区块链子公司已向 web3 领域迈出了重要一步，推出了其以太坊第 2 层区块链 Soneium 的“Minato”测试网。此举表明索尼的战略举措是利用其在区块链上的娱乐和游戏专业知识，旨在创建可增强用户体验的实用应用程序。
Soneium 旨在将区块链技术带到游戏和娱乐的前沿，改善通过 NFT 管理游戏内资产的方式，并探索行业内的新金融模式。
Soneium 的推出正值区块链技术在各个领域受到广泛关注之际。索尼的加入可能会加速用户友好型、可扩展的区块链解决方案的采用和开发。这一举措表明，传统娱乐巨头如何适应发展中的技术，为观众创造新价值。
对于开发者来说，Soneium 提供了一个激动人心的机会。与 Minato 测试网同时运行的“Soneium Spark”孵化计划提供了全面的支持系统。其中包括技术研讨会、行业领袖的指导以及对 Soneium 高级功能的访问。最值得注意的是，符合条件的项目可以获得高达 100,000 美元的资金，并有可能通过索尼的合作伙伴网络进行进一步投资。
有关 Soneium 的更多详细信息以及如何参与，请务必查看下面的推文。👇🏾
🏛 治理
💬正在讨论的提案
Arbitrum
Optimism
Polygon
星网
zkEVM 的世界
作者： Kornekt
在之前的一篇文章中，我 介绍了零知识 (zk) 证明以及扩展解决方案如何应用该技术来增强以太坊的可扩展性。虽然 zk 技术非常高效，但其固有的复杂性带来了限制其通用应用的挑战。
如果我们只想使用 zk-rollups 来实现一些特殊功能，比如促进代币支付和交易，那么它就很完美了。然而，在尝试扩展其功能以进行通用智能合约操作的同时仍保持与以太坊虚拟机 (EVM) 的兼容性时，出现了一些问题。
与 Optimistic 版本不同，基本形式的 zk 计算与 EVM（以太坊智能合约运行的环境）并不兼容。EVM 的设计并未考虑到这些因素。因此，需要创建一个适合零知识计算且仍与 EVM 兼容的环境。这样 zk-rollups 才能提供与以太坊相同的智能合约功能。这就是 zkEVM 发挥作用的地方。
利用 zkEVM 弥补差距
zkEVM（即零知识以太坊虚拟机）是 zk-rollups 的扩展，旨在使其与 EVM 完全兼容。这意味着 zkEVM 可以在链下执行以太坊智能合约，并生成零知识证明，证明这些执行已正确完成。然后可以将这些证明提交给以太坊主网进行验证，就像传统的零知识交易证明一样。
创建 zkEVM 的挑战在于在零知识证明友好的环境中复制 EVM 的行为。EVM 很复杂，支持各种操作，包括算术、存储访问、条件分支等等。为任意 EVM 计算生成零知识证明需要以适合零知识证明生成和验证的方式对这些操作进行编码。
zkEVM 的工作原理
为了实现这一目标，zkEVM 具有与 EVM 类似的智能合约执行层，以及用于生成 zk 证明的证明电路，以验证执行层产生的状态变化。然后，这些证明被提交给以太坊上的验证者合约，该合约负责验证主网的状态变化。
通过这样做，zkEVM 使开发人员能够无需修改地部署和运行他们的以太坊智能合约，同时受益于 zk 技术的可扩展性和成本效益。
虽然听起来很简单，但它需要大量计算，并且需要对密码学和 EVM 本身有很好的了解。在 zk 环境中完美地建模 EVM 可能是一项艰巨的任务。因此，zkEVM 的开发人员会做出一定的权衡，以平衡 EVM 兼容性需求和系统性能。
这些权衡导致了 zkEVM 开发人员在构建方法上存在一些区别。Vitalik Buterin 为不同类型的 zkEVM 创建了一个“分类法”，根据 EVM 兼容性和性能之间的权衡将它们分为四大类。
zkEVM 的分类
第 1 类：完全以太坊等价物
这些 zkEVM 旨在完全匹配以太坊，而不会对共识层进行任何更改。这意味着它们不会改变以太坊在其 zkEVM 中工作方式的任何核心方面。由于它们与原始设计非常接近，因此这些 zkEVM 确保与以太坊的最高兼容性。然而，这也意味着生成证明需要更长的时间并且成本可能更高。
类型 2：完全 EVM（非以太坊）等效
这种类型的 zkEVM 非常类似于以太坊虚拟机 (EVM)，但修改了以太坊堆栈的某些部分，使 zk 证明速度更快。这些更改使证明生成速度更快，同时仍保持与现有以太坊应用程序的兼容性。但是，它们并不像类型 1 zkEVM 那样与以太坊的结构完全匹配。
第 3 类：几乎与 EVM 相当
这些 zkEVM 的设计与 EVM 非常相似，但针对零知识证明效率进行了优化。它们简化或删除了 EVM 的某些功能，以使证明生成过程更快、更高效。因此，开发人员可能需要修改他们的智能合约以在这些 zkEVM 上运行。虽然这些类型现在存在，但许多人的目标是最终发展成为一种与 EVM 紧密匹配的类型，而无需进行这样的权衡。
类型 4：与 EVM 相当的高级语言
这些 zkEVM 采用不同的方法，将智能合约代码（通常用 Solidity 编写）转换为针对零知识证明系统优化的定制语言。这种方法大大加快了证明生成过程，但不会直接执行原始 EVM 字节码。相反，它将代码转换为更适合证明的格式。
zkEVM 在 Layer 2 Rollups 中的当前实现
多个项目正在积极开发和实施 zkEVM，以便为以太坊第 2 层带来可扩展且保护隐私的智能合约功能。其中值得注意的是ZKsync 、 Polygon zkEVM 、 Scroll 、 Linea和Starknet 。
这些项目根据易用性和用户友好性采用不同的方法来构建 zkEVM。然而，许多项目的目标都是最终成为与以太坊或 EVM 完全等同的 1 型或 2 型 zkEVM。
“就我个人而言，我希望随着时间的推移，一切都会变成 1 型……然而，我们还需要相当长一段时间才能实现这样的未来。” —— Vitalik Buterin 。
zkEVM 的复杂性使得通用 zk-rollup 的开发速度比 Optimistic 版本慢。例如，没有一个 zkEVM Rollup达到第一阶段的去中心化。但就像 Vitalik 在他的Rollup入门中所说的那样：
“总的来说，我个人的观点是，在短期内，Optimistic Rollups 可能会在通用 EVM 计算中胜出，而 ZK Rollups 可能会在简单支付、交换和其他特定于应用程序的用例中胜出，但从中长期来看，ZK Rollups 将在所有用例中胜出……”
零知识的未来
zkEVM 代表了以太坊扩展方面的重大进步，为可扩展性、隐私性和成本效益等挑战提供了有希望的解决方案。该技术的一个主要讨论点是不同 zkEVM 之间的可组合性和互操作性。由于单个排序器上的处理集中化，还存在去中心化和安全性问题。尽管目前面临挑战，但随着多个项目积极开发和实施 zkEVM，该技术只会变得更好，使以太坊的未来越来越可扩展和用户友好。
📈 数据
L2 上锁定的总价值约为 360 亿美元！
按总锁定价值排名前十的项目：
