-evm

ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 在 X 平台发文表示，以太坊扩容分为短期和长期两部分。 短期方面，Glamsterdam 升级将引入区块级访问列表以实现并行验证，ePBS 将允许使用更大比例的时隙进行区块验证，Gas 重新定价将确保操作成本与实际执行时间对齐。 多维 Gas 机制将分阶段推进，首先在 Glamsterdam 中将“状态创建”成本与“执行和 calldata”成本分离，状态创建 Gas 不计入约 1600 万交易 Gas 上限。EVM 层面引入“reservoir”维度机制，默认优先消耗专用维度 Gas，不足时从 reservoir 消耗，后续将过渡到多维定价，不同维度可有不同浮动 Gas 价格。 长期扩容包括 ZK-EVM 和 blob 两部分。blob 方面，计划持续迭代 PeerDAS，目标达到约每秒 8MB 数据处理能力，未来以太坊区块数据将直接进入 blob。 ZK-EVM 方面分阶段推进：2026 年将有支持 ZK-EVM 的验证者客户端，允许约 5%网络依赖运行；2027 年扩大至更大比例的少数节点，同时推进形式化验证；待条件成熟后过渡到五选三强制证明机制，最终持续提升 ZK-EVM 的安全性与形式化验证水平，并涉及 RISC-V 等 VM 变更工作。

ChainCatcher 消息，Vitalik Buterin 表示，当前 ZK-EVM 已进入 alpha 阶段，具备生产级性能，剩余主要工作集中在安全性；与此同时，PeerDAS 已正式在以太坊主网上线。Vitalik 指出，这并非渐进式优化，而是正在将以太坊转变为一种同时具备去中心化、共识机制与高带宽的新型 P2P 网络形态。 他回顾称，BitTorrent 具备高带宽但无共识，比特币具备共识但因全量复制导致带宽受限；而以太坊在引入 PeerDAS（数据可用性采样）与 ZK-EVM 后，有望同时实现去中心化、共识与高吞吐，三难困境已通过“主网上运行的真实代码”被解决。其中，PeerDAS 已在主网运行，ZK-EVM 在性能层面已达到生产级。 Vitalik 预计，2026 年起，随着 BAL、ePBS 等机制推进，Gas 上限将逐步提高，并出现运行 ZK-EVM 节点的实际机会；2026–2028 年将进行 Gas 重新定价、状态结构调整及执行负载进入 blob；到 2027–2030 年，ZK-EVM 有望成为网络验证区块的主要方式，进一步推动 Gas 上限提升。此外，他还提到分布式区块构建的重要性，长期目标是避免区块在任何单一地点被完整构建，并通过协议内或协议外方式分散区块构建权力，以降低中心化干预风险并提升地域公平性。

ChainCatcher 消息，Vitalik Buterin 发推表示，modexp 预编译因对 ZK-EVM 极度不友好，最差情况达平均区块 50 倍计算开销，呼吁通过 EIP 以等价 EVM 代码替代，即使需更高 gas。他承认作为 modexp 设计者“羞愧低头”，并指出其使用率极低且增加共识失败风险，不应为极少数需求牺牲整个以太坊生态效率。

ChainCatcher 消息，针对 Brevis 发布的多 GPU 零知识虚拟机（zkVM）Pico Prism，Vitalik 评价表示，“很高兴看到 Brevis 的 Pico Prism 正式进军 ZK-EVM 验证领域。ZK-EVM 验证速度和多样性迈出了重要一步。” 此前消息，Pico Prism 已在消费级硬件上实现了以太坊实时证明：使用 64 块 RTX 5090 显卡，在 12 秒内完成了 99.6% 的以太坊 L1 区块证明，其中 96.8% 的区块证明时间低于以太坊基金会设定的 10 秒内标准。在 9 月 1 日的测试中，在以太坊当前 45M 的 gas 限制情况下，Pico Prism 平均证明时间仅 6.9 秒。

ChainCatcher 消息，据 The Block 报道，专注于机器学习和强化学习的项目 GadlingX 宣布推出高性能以太坊虚拟机 GPU-EVM。其开发团队表示，GPU-EVM 可用于在其之上训练基于强化学习 (RL) 的尖端人工智能代理，利用各种以太坊应用程序的并行执行来帮助训练人工智能代理发现安全错误。 GPU-EVM 推出的初始阶段侧重于创建硬件规模的 EVM 基础设施，以促进 AI 和 RL 模型的训练。下一阶段预计在一年内，将包括为高性能计算应用程序提供 API 访问，最终目标是在保护智能合约和去中心化应用程序方面超越人类的能力。

ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 发文深入探讨了“ZK-EVM”（Zero-Knowledge Ethereum Virtual Machine）的概念及其可能实现形式。 文章指出，当前的 Layer-2 EVM 协议（如 Optimistic Rollups 和 ZK Rollups）需要依赖于 EVM 的验证机制，但这同时意味着他们必须信任庞大的代码库。一旦代码库中存在漏洞，这些虚拟机可能面临被攻击的风险。此外，即便是希望与 L1 EVM 保持完全等效的 ZK-EVM，也需要一定形式的治理机制，以便将 L1 EVM 的变更复制到自己的 EVM 实现中。 Buterin 提出的 ZK-EVM 概念，旨在减少 Layer-2 项目对 Ethereum 协议功能的重复实现，并提高其在验证 Layer-1 Ethereum 区块时的效率。他还展望了未来光客户端（light clients）将更加强大，甚至可能利用 ZK-SNARKs（零知识证明）完全验证 L1 EVM 执行，届时 Ethereum 网络将实质上具备内置的 ZK-EVM 功能。 文章还讨论了实现 ZK-EVM 的不同版本，包括它们的设计挑战、权衡利弊，以及为何某些方向可能不被采纳。强调了在实现协议功能时，应权衡其优势与保持基础协议简洁性的好处。对于 ZK-EVM 的关键属性，Buterin 强调了其基本功能性、与 Ethereum 多客户端哲学的兼容性、数据可用性要求、可审计性和可升级性。此外，他还提到了对“almost-EVM”的支持，即允许 L2 的 VM 在与 EVM 只有微小差异的情况下，仍能使用协议内的 ZK-EVM，同时也为 EVM 的部分定制化提供了灵活性。

ChainCatcher 消息，链游 Abyss World 官方在社交媒体上发文表示，Abyss World 团队决定基于 Polygon zk-EVM 来打造这款游戏。 据悉，这将使 Abyss World 中智能合约的执行更加高效，并能够处理更多的用户交互，希望与 PolygonGaming 的合作将释放 Web3 游戏创造力的全部潜力。（来源链接）

ChainCatcher 消息，以太坊创始人 Vitalik 在最新文章《以太坊的多客户端理念将如何与 ZK-EVM 交互?》中强调了以太坊的多客户端理念在维护其安全性和去中心化方面的重要性。以太坊没有每个人都运行的默认“参考客户端”，相反有一个协作管理的规范并且有多个团队实现规范（即“客户端”）。 Vitalik 强调了 ZK-EVM 作为一种新的过渡的重要性，它使用了 EVM 执行的 SNARK 证明，并积极支持主网上的 ZK Rollup 等第二层协议。 然而，ZK-EVM 的挑战在于它如何与多客户端理念进行交互。为了解决这个问题，Vitalik 建议每个客户端在接受一个有效的块之前，都要等待一个与自己的实现兼容的证明。这种方法牺牲了多客户端范例的一些好处，但在能够正式证明所有 ZK-EVM 实现彼此等价之前，它是理想的。ZK-EVM 将成为以太坊的第三种客户端，对网络的安全和去中心化至关重要。然而，这种方法也存在一些挑战，例如处理恶意攻击者可能会延迟发布块以及对一个客户机有效的证明所带来的延迟挑战。（来源链接）

ChainCatcher 消息，基于 zkRollup 的以太坊二层网络 Taiko 已上线 ZK-EVM alpha-2 测试网“Askja”，现已允许开发人员部署智能合约。该测试网目前部分集成了 ZKP 有效性证明，让验证者无需许可即可生成证明。 此外 Taiko 启用协议经济学，对验证者给予真实奖励以补偿其资源消耗。Taiko L2 测试网对应的 L1 是以太坊测试网 Sepolia，并部署了 Uniswap V2 分叉以支持交易。（来源链接）

Chaincatcher 消息，以太坊 ZK-Rollup 扩容方案 Taiko 发文公布路线图，计划在本月推出 Alpha-2 测试网，其中包含无需许可的 provers 和部分 ZK-EVM 电路，并在 2024 年初上线主网，实现完整的 ZK-EVM 电路、去中心化 proposers 和去中心化 provers。（来源链接）

ChainCatcher 消息，跨链桥 Hop Protocol 近日宣布，ConsenSys zk-EVM 已集成到 Hop 的测试网站点，当测试网向公众开放时，用户将能够从任何支持的测试网链中发送 Goerli ETH 到新的 ConsenSys zk-EVM。 Hop 称，该集成最初是 ConsenSys zk-EVM 团队在 Hop 治理论坛上提出的建议，并一致通过了治理周期的所有阶段。（来源链接）

ChainCatcher 消息，零知识证明技术开发公司 StarkWare 在推特上宣布，已使用 STARK 证明系统语言编程语言 Cairo 写出编写完成 ZK-EVM，将于明天邀请以太坊联合创始人 Vitalik Buterin、ZK-STARK 合作发明者 Eli Ben-Sasson、StarkWare 成员 Shahar Papini 等人进行 Twitter Space。据悉，Cairo 为图灵完备的零知识证明系统语言，尚处在早期开发阶段。（来源链接）

ChainCatcher 消息，以太坊基础设施开发公司 ConsenSys 发布新的 EVM 等效以太坊虚拟机（zk-EVM) 规范，设计目标包括按照黄皮书中指定的 EVM 规范执行未更改的原生字节码（native bytecode）、100% 覆盖不同的操作码、交付 Vitalik 定义的 “Type 2” zk-EVM，使开发人员可以部署任何智能合约，使用任何工具，并完全按照他们在 L1 上构建应用的方式进行开发，目前测试版本已开放。 团队正在努力实现 zk-EVM 的完整设计，并将很快推出一个私人测试网以接收来自社区的反馈。欢迎所有 dApp 开发人员、用户、研究人员和现有协议加入并帮助扩展以太坊。（来源链接）