EF协议团队2026年7月月度更新

corcoranwill 发布于 2026-08-02 阅读 22

以太坊基金会(EF)协议团队自今年夏天EF重组后首次举行全协议月度同步会议,并宣布未来每月发布一次团队工作更新。本次更新涵盖协议集群各团队进展:Glamsterdam升级预计Q4上线主网,Devnet-7已通过严格混沌测试,Devnet-8即将发布;Hegotá升级处于范围界定阶段,重点优先解决FOCIL与Frame交易交互。密码学团队指出Poseidon哈希面临新代数攻击,但未被破解,同时二进制域证明系统(如Binius和Flock)取得突破,可能影响哈希路线图。研发工程团队推进zkEVM、后量子共识和形式化验证,其中EIP-8025与Glamsterdam开发网同步推进,后量子共识在LeanVM中实现二进制域重写。协议研究团队在终结性、状态树和隐私方面均有进展,隐私路线图已发布,关键EIP已提出。开发运维、安全、规范和客户端团队也报告了具体成果,包括AI辅助审计、规范可执行化、Geth v1.17.5发布等。

图像

今天早些时候,我们召开了首次月度全 Protocol 同步会议——这也是今年初夏 EF 重组 以来的第一次。今后,我们每月都会发布一期这样的内容:逐团队回顾整个 Protocol 集群中已交付的成果(highlights)和即将开展的工作(headlights)。

由于这是第一期,先做个简要说明。Protocol 是负责以太坊 L1 的 EF 集群:涵盖研究、规范、测试、安全以及协议本身的交付。我们的首要任务很简单:

让 Protocol 专注于那些只有 Protocol 才能做、也必将去做的事情——并完成 Strawmap 中能够让以太坊坚守 Mandate 的项目。

具体而言,这意味着:保障主网安全(P0),交付 Glamsterdam 和 Hegotá(P1),为后续分叉保留研究和规范能力(P2),并推进五个相互依存的研究方向(P3):快速最终性、隐私、后量子、状态和 zkEVM。Protocol 的独特优势在于,它能将想法沿着完整的成熟度管道一路推进:

研究 → EIP → 原型 → Devnet → PFI → CFI → SFI → 主网

该集群的头条新闻:Glamsterdam 正按计划于 Q4 上线主网。Devnet-7 承受住了高强度的混沌测试,没有出现根本性故障(感谢 @ethPandaOps);一个公开、规范已冻结的 devnet-8 即将推出。与此同时,Hegotá 的范围界定正在进行中,FOCIL × Frame Txs 的交互被确定为降低风险的关键优先事项;而更长期的研究路线图在全部 5 个研究方向上都在蓬勃发展。

图像

Protocol 集群的协调工作由我以及 @kevaundray@0xfredrik 共同负责。

Architecture

Architecture 团队中 75% 的成员是近几个月新加入的,可以把他们视为 4 位相当高产的个体,贡献主要体现在以下方面:

Cryptography

更新人: @asn_d6

亮点: 哈希函数几乎是 Strawmap 上一切事项的底层基础——状态树、PQ 共识和交易、ZK 隐私、zkEVM。在 Poseidon 计划 启动约两年后(涵盖赏金、资助和内部密码分析),新的代数攻击仍不断出现——Poseidon 并未被攻破,但这些攻击正在削弱人们的信心。与此同时,近期在二元域证明系统上的突破(如 Binius 和 Flock 论文)使得 SHA-2 这类经典哈希可以被快速证明,我们的基准测试结果也相当强劲。

前方展望: 关于哈希方向的决策即将到来TM,其影响将波及整个路线图。Ethproofs 第 10 次会议(8 月 14 日 14:00 UTC)将专门讨论二元域证明系统:Flock 的工作原理、优化以及 LeanVM 基准测试。

Research Engineering

Research Engineering 是一个由三个主要项目/工作流组成的团队:zkEVM、后量子(具体指共识)和形式化验证。

zkEVM

更新人: @ignaciohagopian

亮点: EIP-8025(可选证明)与 Glamsterdam devnet 周期保持紧密同步——其运作方式如同它已被纳入该分叉,从而降低了工作风险,也能更早暴露出真正的挑战。CL、EL 和 guest-program 团队之间展开了强有力的协作,并通过 EF 证明(GPU)集群积累了越来越多的运行经验。

前方展望: Glamsterdam 趋于稳定,并为 EIP-8025 在 Hegotá 中进入 CFI 撰写论证文档。

Post-Quantum

更新人: @tcoratger

亮点: PQ lean 共识持续走向成熟:新的签名方案及其 LeanVM 聚合、lean 客户端团队据以构建 devnet 的 Python lean 规范,以及稳定性显著提升的 PQ devnet。二元域相关的工作通过 Flock 得到加速——已在 Binius64 和 LeanVM-B(LeanVM 的完全二元域重写版)中实现。签名方案规范已移交至以太坊官方 GitHub 组织。

前方展望: 继续提升二元域性能、提高 devnet 稳定性,并可能将所有 PQ devnet 切换到二元域 LeanVM。

Formal Verification

更新人: @alexanderlhicks

Alex 和 @dhsorens 关于形式化验证工作的博客文章即将TM发布,敬请期待。这是一项庞大而全面的工作,涉及大量工具、大量研究、大量 AI,以及一个由贡献者组成的生态系统。

Protocol Research

Protocol Research 是一个由三个主要项目/工作流组成的团队:最终性(及解耦共识)、状态和隐私。

Finality / Decoupled Consensus

更新人: @benjaminion_xyz

亮点: 解耦共识仍处于设计阶段,但设计中的很大一部分已趋于稳定。关于最终性需求的利益相关者研究(约 20 次访谈)已作为博客文章和研究报告发布;共识客户端团队接受了关于升级经验教训的访谈;快速最终性需求定义已发布供审查;快速确认规则论文的最终版本也已发布。快速确认规则现已在最新的 Glamsterdam devnet 上的所有支持客户端中启用。

前方展望: 填补剩余的规范空白、完成网络设计,并与外部贡献者一起启动初始原型开发。

State

更新人: @misilva73

亮点: 新状态树(部分二叉树)是该研究方向的第一优先事项,本月进展迅速:EIP 迭代、规范和测试大都已就绪,新增了一个离线迁移 EIP,多个执行客户端中的原型开发也正在进行。

前方展望: 在迁移 EIP 上达成一致(离线还是在线,是最大的开放问题)、推出第一个 PBT devnet,并与相邻团队(尤其是 @ethlabs_org)和 EF 集群就新类型状态展开协调。

Privacy

更新人: @soispoke

亮点: 隐私协议路线图已发布:在 L1 上实现原生隐私交易——无需信任、抗审查、PQ 安全且廉价。Keyed nonces(EIP-8250)和 recent roots(EIP-8272)已正式提议纳入 Hegotá,首个结合 frame 交易、keyed nonces 和 recent roots 的 devnet 正在运行。

前方展望: 将 keyed nonces 和 recent roots 推进到 SFI 是首要任务;推出首个多客户端 devnet;以及在 mempool 中推进递归证明聚合。

Protocol Devops

又名 @ethPandaOps

更新人: @parithosh_j

亮点: Devnet-7 经受住了大量的混沌和非最终性测试:除客户端 bug 外,没有发生任何根本性故障,所有问题都可恢复。我们正处于加固过程中最艰难的阶段:手头的工具正被逐一用尽,这其实是个好迹象。

前方展望: Glamsterdam devnet-8——一个公开、已命名(Platåberget)、规范已冻结的 devnet,任何人都可以部署合约和验证者,端到端测试 repricings、ePBS 和 BALs,预计将一直运行到主网上线。此外还计划部署一个大规模的非最终性网络,在以远超主网的极端条件下对节点进行压力测试。

Security

更新人: @nikosbaxevanis

亮点: 威胁格局正在转变——AI 拉低了外部漏洞发现的门槛,因此我们通过内部 AI 辅助审计来抢占先机,将瓶颈转移到了验证与披露的效率上。本月的工作包括对客户端 Glamsterdam 分支的针对性安全审查,以及大量其他敏感的 P0 事项。

前方展望: 继续推进 Glamsterdam 客户端审查,并协调进行中的审计竞赛。

Specifications

Specifications 是一个由两个主要项目/工作流组成的团队:CL 规范和 EL 规范。

CL specs

更新人: @JustinTraglia

亮点: EIP-7688 已集成到 Gloas 规范中;Gloas 大体上已稳定;自然语言的 gossip 验证检查已转换为可执行的 Python 代码;规范网站也有所改进。

前方展望: 集成改进后的 SSZ 库、为 Heze 及各项功能提供可执行的 gossip 规范、评估 FOCIL × Frames 交互,并审查已提议的 Hegotá EIP。

EL specs

更新人: @elbuenmayini

亮点: 本月发布了五个 Glamsterdam devnet 版本(!)以及头两个主网维护版本,并进行了大量测试返工,以确保在测试网之前不会遗漏任何内容。

前方展望: 为所有 Glamsterdam EL EIP 敲定测试清单,并加速推进 Hegotá 的规范与测试工作。

Clients

Clients 是一个由三个主要项目/工作流组成的团队:网络、Geth 和对外联络。

Networking

更新人: Felix(GitHub 上的 flj)

亮点: 匿名交易提交的工作已经启动(与 EL 侧的 @raulvk 合作,作为通往 ethp2p 的入口);与共识研究团队就解耦共识的网络需求展开了协作;此外,新的 mempool 可观测性工具 Mempool-Lens(由 Csaba 开发)也已发布。

前方展望: 在 EL 上构建基于 QUIC 的传输机制初始原型。

Geth

更新人: @lightclients

亮点: v1.17.5 已发布——涵盖一个月的 Glamsterdam EL 工作、稀疏 blobpool、同步修复以及广泛的性能改进——此外还有一项关于统一 EL/CL 二进制的概念验证合作,以及后量子 mempool 工作的启动。

前方展望: 完成 Glamsterdam 的收尾工作、尽快推出 frames devnet、统一 RPC 错误,并继续推进 REST-SSZ Engine API 的工作。

Outreach

更新人: @ladislaus0x

亮点: 一个新设立的对外连接职能,将 Clients 团队向外延伸——连接研究团队、其他集群和外部贡献者——专注于研究者 ↔ 实现者之间的关系。第一个证明点:发行量变更冲刺,已从概念阶段推进到一个具体的 Hegotá 提案,即将落地TM。

前方展望: 稳定的规范为中期研发工作扫清障碍,并建立跨集群的联络点。

感谢阅读。下次再见!

图像

  • 原文链接: x.com/corcoranwill/statu...
  • 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~

相关文章

0 条评论