ETHPrague 2026 深度回顾：以太坊 Hegata 分叉与 ZK 证明关键进展

gm gm，下面是我在 @EthPrague 上重点关注的演讲摘要，你就不用逐个去看了。我利用 @runneragent 通过 YouTube 转录并结合 AI 剪辑了所有视频，所以可以在这里以最直观的方式向你推荐我最看好的内容。

全场最强信号

1. Hegata 是即将到来的重大硬分叉——EIP-8141 帧交易、EIP-8205 质押修复、EIP-8025 可选证明都已列入日程。
2. L1 的实时证明时代已经到来——ZisK 能够实时证明区块；目前 91% 的区块都已满足约 10 秒的出块预算。
3. 隐私终于可以产品化了——Privacy Pools v2 + Kohaku + Cloaked 正在聚合，以实现一键屏蔽余额。
4. Solidity 终于迎来了严峻的挑战——Core Solidity 和 Plank 都将在 2026 年发布。

如果你想查看所有演讲，这里是完整的播放列表：EthPrague 2026 YouTube

以太坊协议与路线图

• The Ethereum Kernel — Martin Hansen (EF) — 梳理了必须保持中立资助的最小核心组件（EL+CL 客户端、协调、研究、安全、语言栈、钱包、关键工具）。从零基线开始计算，每年最低约需 1800 万美元。
• Fusaka 的前 100 天 — LEO (Migalabs) — PeerDAS 运行状况良好（无 Slot 丢失关联），但严重利用不足：目前约 4-5 个 blob/Slot，目标是 15，上限为 21。KZG 也并不抗量子 → FRIDA 是候选替代方案。
• 减少 PeerDAS 带宽 — Daniel Knopik (Lighthouse) — 部分消息协议利用 EL 内存池跳过冗余的数据单元。此举可将带宽降低约 3 倍（从 750 KB/s 降至 250 KB/s），且向后兼容，无需硬分叉。
• 用 EIP-8205 修复委托质押 — Dima Gusakov — 修复了一个存在 6 年之久的抢先交易漏洞，恶意操作者借此可窃取委托人的 32 ETH。方案提议用签名（公钥→提款凭证）承诺来取代 Lido 风格的守护委员会和 1 ETH 预存款，并提议纳入 Hegata 分叉。
• EIP-8141 帧交易 — Alexander Forshtat — 这是 Hegata 中最具雄心的原生 AA 提案，引入了类型化嵌套帧（verify/default/sender）、新的 APPROVE 操作码、原生密钥（P-256）以及规范的 EOA 验证代码（无需迁移），旨在整合 4337 + 7702 + 未来的后量子签名。
• 低延迟时代的共识 — Alejandro Ranchal Pedrosa (Sale) — 颠覆性地论证了，将以太坊的最终性机制改为单轮投票（门槛设在 80–83%）在安全上反而是个胜利，可将经济安全性从 33% 提升至 60–80%。

L2、Rollup 与互操作

• Vitalik 与 Jordi Baylina 谈 EZ — 同步跨 Rollup 可组合性：每个 Rollup 保留自己的证明器，采用统一的最小收件箱/发件箱接口，且每个以太坊区块、每个证明系统只需一个聚合证明。潜在用例包括：原子化多链预订、跨链闪电贷。主网实验将在未来几个月展开；下个月的 Devcon Berlin 上会有相关工作坊。
• 剖析 Rollup — Adria Torralba Agell — 提供了一份排序器设计的分类法（独立式/流水线式/分布式），并剖析了每种设计易受哪些网络攻击。结论是：没有任何一种单一设计能同时兼顾吞吐量、去中心化和弹性。
• “已包含”与“已执行”之间的差距 — Kumar Satyarth (Puffer) — 清晰地区分了包含预确认（“交易被打包进某个区块”）与执行预确认（“达到我所承诺的确切状态”）。详细讲解了 Gattaca 的设计：包含带有再质押 ETH 的网关、分片流、活跃性与安全性罚没以及 Relic Protocol 的证明机制。
• 虚拟状态区块链 — German Abal — EVBM 让你能够在几分钟内，于任何 EVM 兼容的 L1/L2 上部署带有自定义规则（KYC、并行 nonce、x402、隐私）的“虚拟链”。定位是合规友好的稳定币试点项目；但其内部实现尚浅，使用前请自行验证。

ZK / 证明 / SNARK 化

• ZisK — Jordi Baylina — 一个专为低延迟而优化的 RISC-V zkVM。结合了功能电路与总线、RISC-V 到 x86 的转译、确定性分块并行处理以及跨大洲的去中心化证明网络。它已能实时证明以太坊区块，EZ 捆绑 低于 3 秒。1.0-beta 版本即将发布。
• 基于 ZK 的共识证明 — Steffen Kux (Kib Stateless) — 将 3 亿美元的 LayerZero /Lazarus 四月事件定性为一次“验证者未验证”的失败。递归 ZK 能将以太坊共识状态压缩至每 27 小时检查点约 260 字节，从而在浏览器或手机上实现真正的无状态轻客户端。
• 从 ZK Rollup 到 ZK 以太坊 — Sergey Shemyakov (L2Beat) — Drake 的 zkVM 计划：验证者只需验证证明，而不是重新执行交易。被纳入 Hegata 的 EIP-8025 就是可选证明。仅 L1 层面就面临挑战：3 倍客户端多样性、约 10 秒的实时证明预算（91% 已达成）、证明器经济性和升级治理。

隐私与身份

• OpenAC：日常使用的匿名验证 — Nicole (EF PSE) — 一个在现有数字 ID 之上的匿名凭证层（无需发行方变更、无需可信设置、移动端可用、出示不可链接）。已在台湾有过两次部署：2026 年 11 月大选前的匿名论坛“真实台湾人”检查，以及在线酒精购买年龄验证。
• Privacy Pools v2 — Mike McCabe — 将 2026 年定义为“网络灾难”年。他指出，目前不到 0.01% 的以太坊活动使用了隐私工具。v2 版本将发布功能齐全的屏蔽余额功能，并支持 Venmo 风格支付、薪资、订单簿、Safe 钱包、查看密钥，并优先提供 SDK 以便嵌入其他钱包（如 Kohaku / Cloaked）。
• x511：HTTP 层的人类身份证明 — Viki Val — 方案结合了 HTTP 511 状态码、二维码、来自 Self / ZK Passport 的 ZK 证明以及 30 天有效期的 cookie。集成仅需约 15 行代码。但需注意，该设计易受证明租赁市场攻击（问答环节未给出明确答案）。
• 通过无速率编码多提议者分发实现抗审查与隐私 — Alejandro Ranchal Pedrosa — Sedna：在 N 个提议者之间用无速率擦除编码来分片交易。它不仅抗审查，还提供 MEV 保护和部分隐私，延迟仅增加约 1–3 毫秒。其采用的棘轮策略和 pivot-k bounty 是一种可复用的博弈论模式。约 2 美元的成本即可保护高达 5000 美元的 MEV 风险敞口。

智能合约 / 语言 / 安全

• EVM 模糊测试的过去、现在与未来 — Gustavo Grieco (Echidna/ToB) — 梳理了模糊测试的演进历程：从符号执行时代，经 Echidna / Harvey，到 Foundry，再到如今的覆盖引导不变量驱动时代。Echidna 即将发布 MCP 支持，让 AI 智能体可以引导实时模糊测试活动。
• Solidity 下一步是什么 — Jacob (Argo Collective) — 0.8.35 版本刚刚发布了第一个编译时内建函数和实验性的 via-SSA-CFG 代码生成器（计划在 Q2 末解决 stack-too-deep 问题）。长期目标是 Core Solidity，它将引入 ADT、模式匹配、泛型、trait（无继承），以及可形式化验证的 SAIL IR。两者共享相同的 EVM 后端。预计 2026 年还无法投入生产。
• Plank：一种新的 EVM 语言 — Philogy — 一种新语言，其核心论点是：Solidity 的 Gas 成本会随着项目规模的扩大而对开发者不利。它支持编译时求值和零成本结构体，语法类似于 Rust 或 Zig。在现场工作坊中，演示者从原始的 init/run 入口点构建了一个 ERC20 代币。

钱包、基础设施与哲学

• AI 时代的硬件钱包 — Tomas Martykan (Trezor) — 针对智能体驱动交易的基于策略的签名：Trezor 作为信任根，策略部署在智能账户上，AI 智能体则在既定边界内操作。方案基于 EIP-7702 + ERC-7710 + ERC-7730。Trezor Suite MCP 服务器 也即将面世。
• 太空织物 — Filip Rezabek (Space Computer) — 在卫星上实现机密计算，通过在轨生成认证密钥来增强 TEE 抵御物理篡改的能力。它采用了双安全元件，并通过地面站仲裁的“执行证明三角测量”方案。预计在十月份进行首次发射。
• 去中心化栈：我们还在哪些方面自欺欺人？ — 小组讨论（Logos / EF / Freedom Browser / Swarm）— 对当前瓶颈进行了一次诚实的盘点：ENS 依赖于可信 RPC，协调依赖 GitHub、Discord 和 Twitter，WalletConnect 的中心化服务器，盲目签名，以及移动端的围墙花园问题。讨论中重新提出了 NatSpec + Swarm 作为合约意图认证的方案，被认为是值得重拾的思路。

• 原文链接： x.com/dcbuilder/status/2...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～

在瞬息万变的 Web3 技术浪潮中，每一次硬分叉和底层协议的突破都可能重塑整个生态的格局。如果你希望对 Hegata 分叉中的 EIP 细节、ZK 证明的落地路径以及 EVM 语言的演进有更深入的探讨，欢迎访问 云栈社区，与众多一线开发者和研究者一起交流技术前沿与实战心得。