研究与开发

better.codes 现已上线，这是一个由以太坊基金会形式化验证团队与 Yukon 和 zkSecurity 合作构建的开放式自动化研究挑战赛。 better.codes 从 Proximity Prize 研究中提取了一个独立的问题，在 Lean 中进行了形式化，并将其可靠性界限（soundness bound）放在一个任何人都可以推动的公共排行榜上。 求解器（Solvers）引导他们自己的 AI 代理来提高 koalaIRS12 经过机器检查的可靠性界限，这是一个里德-所罗门（Reed-Solomon）邻近性问题，旨在推进现代简洁非交互式证明系统（SNARK）。 Lean 内核会检查每一次提交，每一个被采纳的证明都会将界限向固定的 128 位目标提升。每个被采纳证明的新引理、证明技术和不可能性结果随后会被合并到上游，以推动所有求解器和代理的进展。

来自以太坊基金会协议安全团队的笔记，关于针对真实协议代码运行协同 AI 代理的经验，包括我们如何组织工作、哪些内容经得起审查，以及客户端团队和安全研究人员可以从中借鉴什么。本文是一篇独立文章；后续文章将深入探讨各个客户端。

来自各个客户端团队的以太坊核心开发者最近在挪威斯瓦尔巴群岛举行了一次半定期的聚会，即 互操作（interop）。在为期一周的活动中，各团队专注于下一次升级——格拉姆斯特丹（Glamsterdam）的强化和准备工作。 这一周取得了几个重要的里程碑，包括： 确立了 2 亿 gas 上限底线：这是基于 ePBS、BAL 优化和 EIP-8037 重新定价的融合，得出的格拉姆斯特丹升级后的可靠目标 ePBS 趋于稳定：运行外部构建者流水线的多客户端格拉姆斯特丹开发网（Glamsterdam-devnet）在几乎所有客户端上进行了端到端测试 EIP-8037 已最终确定：采用了固定的 cost\per\state\_byte；完整的重新定价数据已于周五在 bal-devnet-6 上交付 奠定了 Hegotá 基础：FOCIL 原型已具备功能；原生账户抽象（AA）需求已确定范围；多客户端开发网是紧接着的下一步 此次互操作活动也标志着以太坊基金会协议集群领导层过渡的开始。 新的集群协调员将是： Will Corcoran Kev Wedderburn Fredrik

上周，100 多名以太坊核心贡献者齐聚北极圈内的斯瓦尔巴群岛朗伊尔城，参加 Soldøgn 互操作性会议（Interop）：为期一周的针对格拉姆斯特丹（Glamsterdam）网络升级的紧张工作。 Soldøgn 继去年的 Berlinterop 之后举办，但回归了 Amphora 🏺、Edelweiss 🏔️ 和 Nyota ✨ 所采用的形式：为期一周的单轨会议，专注于推动多客户端针对特定升级（在本次会议中是加固格拉姆斯特丹）取得进展。 到周五，该团队已经实现了其三个核心目标：就格拉姆斯特丹升级后 2 亿的 gas 上限底线达成一致，与外部构建者一起运行稳定的 ePBS 实现，并锁定最终的 EIP-8037 重新定价数值。在 FOCIL 和原生账户抽象等 Hegotá 功能以及许多其他主题上也取得了有意义的进展。

几个月前，我们宣布协议研发将重新聚焦于三个战略方向：扩展 L1、扩展 Blob、改善用户体验。继之前关于扩展 L1 和扩展 Blob 的更新之后，本篇说明将围绕我们的“改善用户体验”方向及其使命展开： 为个人和机构在整个以太坊生态系统中提供无缝、安全且无需许可的体验。 作为以太坊核心的公共研发团队，我们认为在未来 6-12 个月内，互操作性及本文介绍的相关项目，是在更广泛的用户体验领域中具有最高杠杆效应的机会。 近期的战略重点将集中在我们认为将继续成为互操作性基础组成部分的领域：基于意图的架构和通用消息传递。对于这两者，我们的目标是专注于清晰、可衡量的协议指标，以降低延迟和成本，同时提高安全性和去信任化程度。这些指标包括：每次操作的签名数、纳入时间、快速确认时间、最终性时间以及 L2 结算时间。 我们将工作分为三个流： 初始化： 使意图更加模块化和轻量级，并加强共享标准，以实现资产在所有链之间的无缝、安全流动。 加速： 降低延迟和成本，加速实现更快的纳入、确认、最终性和结算。 最终化： 集成前沿的共识（快速最终性）和密码学（具有实时证明的 SNARK）技术，以解锁快速、无需许可的跨链消息传递。

主网二进制大对象即将上线：在 ETHDenver 启动两年后，经过数十次测试调用和开发者网络测试，protodanksharding 终于要在主网上线了！ 2024 年 3 月 13 日 13:55（协调世界时），Dencun 升级将于时段269568在以太坊主网启动。 节点运营商和质押人必须将软件升级到本公告中列出的版本。 要接收未来网络升级公告的电子邮件提醒，请在此处订阅。 Dencun 网络升级已在所有测试网成功启动。 现在，该升级已准备就绪，可以在以太坊主网上部署，2024 年 3 月 13 日 13:55（协调世界时），Dencun 升级将于时段269568在主网启动。 此次升级是继去年 Shapella 升级之后的又一次升级，其中包括多项变更，最引人注目的是通过 EIP-4844 引入了临时数据二进制大对象（也称为“protodanksharding”），这将有助于降低二层网络交易费。 如果想观看升级过程，请加入社区直播。

Goerli 测试网的二进制大对象来了： 2024 年 1 月 17 日 6:32（协调世界时），Dencun 升级在 Goerli 测试网上线。 现在，可以在该测试网使用二进制大对象了！ Sepolia 和 Holesky 测试网将在未来两周内升级。 Dencun 升级将于时段“132608”（协调世界时 1 月 30 日 22:51）在 Sepolia 测试网启动，并于时段“29696”（协调世界时 2 月 17 日 11:35）在 Holesky 测试网上线。 本公告中述及的客户端版本适用于这两个测试网升级。 如果在 Sepolia 和 Holesky 测试网上升级进展顺利，将下来将计划在以太坊主网进行 Dencun 升级。 要接收有关网络升级公告（包括主网上的 Dencun 升级）的电子邮件提醒，请在此处 订阅。 Dencun 网络升级已于 2024 年 1 月 17 日在 Goerli 测试网成功启动。 现在计划在另外两个测试网 Sepolia 和 Holesky 上进行该升级，时间安排如下：

提款功能即将推出！ Shapella 网络升级计划于 2023 年 4 月 12 日 22:27:35（协调世界时）在以太坊网络启动，时段为 194048。 质押人和节点运营商应阅读本帖和提款回常见问题。 从现在起到 4 月 5 日期间，针对 Shapella 漏洞的以太坊漏洞悬赏计划奖励将翻倍。 现在可以注册，以接收有关这些升级公告的电子邮件。 要订阅，请滚动到页面底部📩 在顺利完成 Goerli 过渡后，客户端团队提出在主网启动 Shapella 升级的计划。 在第 157 次 AllCoreDevs 执行层会议期间，各方很快就 4 月 12 日这一日期达成共识。 此次升级将在合并之后启动，可以让验证者将其质押从信标链提取到执行层。 它还为执行层和共识层引入了新功能，详见下文。