以太坊 L1 实时证明的进展非同寻常。 在 5 月，SP1 Hypercube 使用 160 个 RTX 4090 在 12 秒内证明了 94% 的 L1 区块。五个月后，Pico Prism 仅用 64 个 RTX 5090 在 12 秒内证明了 99.9% 的相同区块。平均证明延迟现在为 6.9 秒。 自 Zcash 十年前开创实用 SNARKs 以来，性能一直超越摩尔定律。今天的 Pico Prism 结果是这一指数曲线的显著提醒。 除了性能，zkVM 的多样性也令人瞩目。至少有九个 zkVM 正在朝着实时证明的方向竞赛：Airbender、Ceno、Jolt、OpenVM、Pico Prism、R0VM、SP1 Hypercube、Ziren、ZisK。这种多样性是力量，类似于 CL 和 EL 客户端的多样性。 预计在 12 月发布的 Fusaka 将简化实时证明。EIP-7825 限制每个交易的 gas 使用，允许通过子区块进行更多并行证明。MODEXP，一个著名的“证明者杀手”，正在与 EIP-7823 和 EIP-7883 重新定价。 到年底，几支团队将在一个 16-GPU 集群上证明每个 L1 EVM 区块，消耗总电量少于 10kW。10kW 的目标——大约与特斯拉家用充电器相同——对于车库和办公室的本地证明至关重要，消除了对云证明的依赖。 gigagas 前沿 自十年前创世以来，L1 吞吐量增长了 100 倍，从 20 kilogas/sec 增长到 2 megagas/sec。通过 zkEVM，我们可以再增长 100 倍，时间缩短一半。关键是绕过验证者，因为以太坊当前的可扩展性瓶颈。 精简执行证明也去中心化了验证。告别 EIP-7870 推荐的 4TB NVMe、8 核心、64GB RAM。运行无状态的 Raspberry Pi，甚至一部手机，很快就足够了。可扩展性与去中心化的困境正在消亡。 放眼未来，精简的以太坊愿景是 gigagas L1 和 teragas L2。Gigagas L1（10K TPS）意味着高价值支付、交易和社交应用直接在主网运行。Teragas L2（10M TPS）意味着欢迎整个金融体系进入以太坊。 11 月 22 日：Ethproofs 日演示 在幕后，团队正在准备一个特别的 Devconnect 演示。在 38 天内，我的家庭验证者将运行在 zkEVM 证明上。我的强大 Geth 节点将熄灭——不再有执行客户端。 Devconnect 阿根廷是以太坊的世界博览会。世界博览会揭示了电灯、供水、汽车、制冷、电话和自动扶梯。实时证明是以太坊的电灯时刻。 以太坊的未来光明。相信某种东西 :)