以太坊正迈向一个根本性变革，即从「执行交易」转向「验证证明」的模式。这一策略背后的哲学基础可追溯至密码朋克运动，即用数学和物理学保障系统的正确性，而非依赖法律或社会信任。在技术层面，这意味着以太坊要用零知识证明（ZKP）取代每个节点重复执行所有交易的模式，使得节点只需验证一个证明即可。这项转型的终极目标是实现 L1 每秒 10,000 笔交易（1 Ggas/s）的吞吐量，同时通过约 1000 条 L2 实现总计 10M TPS 的「Teragas」生态系统。这一变革不仅是对当前网络瓶颈的回应，也是一种经济战略：如果 L1 性能停滞，关键的高价值应用和流动性将流向其它链。Ethereum Foundation 因此推动 EIP-7938，通过默认客户端行为逐年提升 gas 上限，并借由 Vitalik 提出的 ENDGAME 概念，确立中心化出块 + 去中心化验证的架构，强调最终目标是让用户能在极简硬件（如 Raspberry Pi Pico）上运行验证节点，确保真正的去中心化与可访问性。 Ethereum Foundation（EF）并未将 zkEVM 看作一项前沿实验，而是将其确立为核心发展方向，并重组组织架构以全面推进。EF 成立专门的 zkEVM 团队，明确目标是「让 zkEVM 在主网跑起来」，并在博客发布《Shipping an L1 zkEVM #1: Real-Time Proving》一文，提出详细的技术指标，包括证明延迟低于 10 秒、硬件成本不高于 10 万美元、电力消耗控制在 10kW 以内等。这一「实时证明竞赛」吸引了像 Succinct 等团队积极参与，推动 zk 技术快速进化。安全性方面，EF 投入 2000 万美元用于 zkEVM 形式化验证，并开发 Picus 工具，专门检测 ZK 系统中最常见的漏洞 —— 约束不足电路（under-constrained circuits）。此外，还通过「Prover Killers」测试极限场景，并制定「你构建，你证明」的激励机制防止恶意行为。EF 的系统性投入，使 zkEVM 从理论走向实践，为后续升级 L1 奠定坚实基础。 以太坊的 ZK-L1 愿景建立在 Succinct 等团队实现的「实时证明」突破之上。Succinct 的 SP1 Hypercube 是首个公开能在 12 秒内完成主网区块证明的系统，代表 ZK 技术从理论迈入工程现实。其核心创新在于将区块切分为可并行处理的「子块」，并采用多项式承诺系统（Jagged PCS）提高效率。这项技术已在 Sepolia 测试网部署，普通用户拥有 GPU 即可参与网络证明。此外，EF 提出多阶段 ZK-Rollout 路线图，从 2025 年的可选 zk-client 到 2028 年正式将 ZK 证明嵌入协议原生支持（EXECUTE 预编译）。长远看，Vitalik 计划将现有 EVM 替换为 RISC-V 虚拟机，使 L1 性能提升百倍，并大幅简化协议。ZK-L1 不会消灭 L2，而是迫使其进化，实现更强互操作性和即时最终性。这一蓝图预示着从「重执行」向「轻验证」的范式转移，以太坊将进入一个无需重新执行、以数学确定性为核心的「Gigagas 时代」。\n原文链接