12 月 4 日，以太坊 Fusaka 升级正式在主网上激活，只是不像当年 Dencun 升级那样声势浩大，市场的聚光灯也多集中在 Blob 扩容与 PeerDAS 上，津津乐道于 L2 数据成本的进一步降低。但在这场喧嚣之外，其实还有一个不起眼的提案 EIP-7825，为以太坊实现 L1 zkEVM 和实时证明扫清了最大障碍，甚至可以说正在悄悄为 Interop 的终局铺路。在此次 Fusaka 升级中，大家关注的焦点几乎都在扩容上：Blob 容量扩充 8 倍，配合 PeerDAS 随机采样验证，让 DA（数据可用性）赛道的成本叙事彻底成为了历史。确实，更便宜的 L2 是好事，但对于以太坊长远的 ZK 路线图来说，EIP-7825 才是真正的游戏规则改变者，因为它给以太坊的单笔交易设置了一个 Gas 上限（约 1678 万 Gas）。众所周知，今年以太坊区块的 Gas Limit 已经提升至 6000 万，但即便上限不断提高，理论上如果有人愿意出极高的 Gas Price，他仍可以发送一笔超级复杂的「巨型交易（Mega-Transaction）」，直接占满整个区块的 6000 万 Gas 容量，进而堵塞整个区块。 那为什么又要限制单笔交易大小？其实这个改动对普通用户转账毫无影响，但对 ZK Prover（证明生成器）来说，却是生与死的区别，这也与 ZK 系统生成证明的方式息息相关。举个简单的例子，在 EIP-7825 之前，如果区块里包含一笔消耗 6000 万 Gas 的「巨型交易」，ZK Prover 就必须按顺序跑完这笔极其复杂的交易，无法拆分，无法并行，这就像是一条单车道高速公路，前面有一辆开得极慢的巨型卡车，后面所有的小车（其他交易）都得堵着等它过完。那这无疑直接判了「实时证明」死刑 —— 因为生成证明的时间完全不可控，可能需要几十分钟甚至更久。而在 EIP-7825 之后，哪怕未来区块容量扩大到 1 亿 Gas，由于每笔交易都被强制限制在 1678 万 Gas 以内，每个区块都被拆解成了可预测、有界限、可并行处理的「小任务单元」，这意味着以太坊的证明生成，从一个棘手的「逻辑难题」，变成了一个纯粹的「堆算力问题（Money Problem）」：只要能投入足够多的并行算力，我们就能在极短时间内同时处理这些被拆分的小任务，从而为巨大的区块生成 ZK 证明。 不过 EIP-7825 虽然通过限制单笔交易大小，为实时证明铺平了物理道路（可并行化），但这只是硬币的一面，另一面在于，以太坊主网自身如何利用这种能力？这就涉及到了以太坊路线图中最硬核的叙事 ——L1 zkEVM。长期以来，zkEVM 被视作扩展以太坊的「圣杯」，不仅因为其能解决性能瓶颈，更因为它重新定义了区块链的信任机制，其核心思路是让以太坊主网具备生成、验证 ZK 证明的能力。换言之，未来以太坊的每个区块执行后，都能输出一份可验证的数学证明，使其他节点（尤其是轻节点和 L2）无需重复计算即可确认结果的正确性 —— 如果把生成 ZK 证明的能力直接写进以太坊协议层（L1），提议者（Proposer）每打包一个区块并生成一个 ZK 证明，验证节点就不再需要重跑交易，只需要验证这个极小的数学证明。\n原文链接