在以太坊迈向 1 万 TPS 的路线图上，有一个不可或缺的技术突破点：实时证明（real-time proving）。Succinct 联合创始人 Uma Roy 如此解释：「实时证明，指的是能够在不到 12 秒内，对以太坊主网的一个区块完成 ZK 证明的生成过程」。这意味着什么？一旦实现实时证明，以太坊就能将其区块验证逻辑纳入协议本身，并在不牺牲可验证性的前提下，几乎「任意」地提高 Gas 上限，从而实现 L1 的大规模扩容（编者注：以太坊主网每个区块的生成时间为 12 秒，因此「实时」是指在每个区块周期内完成证明）。不过要实现实时证明，仅靠 zkVM 技术本身还不够，还需要对以太坊协议层进行变更。以太坊基金会的 Ladislaus 指出，预计将在明年 Glamsterdam 升级中引入一个关键机制 ——「区块验证与立即执行的解耦」，这将为 Prover（证明者）提供更充裕的时间，在一个完整 slot 内生成 zkEVM 证明，从而实现真正意义上的实时处理。 以太坊基金会目前为 Prover 设定的初步技术目标是：硬件成本控制在 10 万美元以内，电力消耗低于 10 千瓦，大约相当于一台特斯拉 Powerwall 家用电池的耗电水平。这个数字听起来并不「轻量」，以太坊批评者 Justin Bons（Cyber Capital 创始人）就称其为「远超 Solana 验证节点的疯狂硬件要求」，但这其实是混淆了两种完全不同的角色。以太坊基金会协议协调团队的 Ladislaus 指出：Prover 和 Validator（验证者）的职责不同，不能混为一谈 —— 验证者运行节点，参与共识；而 Prover 的任务是生成 ZK 证明，一旦某笔交易的 ZK 证明被正确生成，网络中只需验证该证明是否正确即可，而不需要重复执行交易。正因为此，Ladislaus 表示乐观，「只要能找到一个满足硬件条件的诚实证明者，以太坊就能继续安全运行，我们故意将门槛压在数据中心以下，甚至即使不是大型机构或数据中心，只要是有技术能力的个人开发者，也能在家中运行 Prover」。 在今年 7 月的一次 EthProofs 会议中，研究员 Justin Drake 就提到了多个可能的风险隐患。例如恶意攻击者可能会向区块中插入所谓的「prover killer（证明者杀手）」，从而导致整个网络验证机制失效；又或者网络活跃度骤降，产生的交易手续费收入不足以支付生成 ZK 证明的成本，从而影响网络可持续性。以太坊基金会协议协调团队的 Ladislaus 表示，整个过渡过程可能需要几年时间，尤其要关注安全方面的隐患。ZK 虚拟机（zkVM）作为一项仍处于早期阶段的复杂技术，极有可能会出现各种漏洞。但随着生态成熟，我们可以通过引入多样化的证明系统（proof diversity）、激励机制的完善、以及形式化验证等手段，逐步提升其在以太坊 L1 上的可行性与鲁棒性。\n原文链接