ETHPrague 2026 以太坊生态技术全景

gm gm，以下是我在 @EthPrague 上特别关注的演讲摘要，这样你就不用一个个去看了。我用 @runneragent 通过 YT 转录 + AI 总结剪辑了所有 YouTube 视频，所以可以在这里以友好方式向你推荐我最喜欢的。

全场最强信号

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→250 KB/s），向后兼容，无需分叉。
• 用 EIP-8205 修复委托质押 — Dima Gusakov — 修复了一个存在 6 年的抢先交易漏洞，恶意操作者可以窃取委托人的 32 ETH。用签名（公钥→提款凭证）承诺取代 Lido 风格的守护委员会和 1 ETH 预存款。提议纳入 Hegata。
• EIP-8141 帧交易 — Alexander Forshtat — 最有雄心的 原生 AA 提案，用于 Hegata：类型化嵌套帧（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 计划：验证者验证证明而不是重新执行。EIP-8025 纳入 Hegata = 可选证明。仅 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 支持，让智能体可以引导实时模糊测试活动。
• 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 作为信任根，策略位于智能账户上，智能体在边界内操作。基于 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 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～