以太坊 L1 实时证明的进展简直是非凡的。 今年 5 月，SP1 Hypercube 使用 160 块 RTX 4090 显卡在 12 秒内验证了 94% 的 L1 区块。五个月后，Pico Prism 仅用 64 块 RTX 5090 显卡，在 12 秒内验证了 99.9% 的相同区块。平均验证延迟现在为 6.9 秒。 自十年前Zcash率先推出实用型 SNARK 算法以来，其性能发展速度已超越摩尔定律。如今 Pico Prism 的成果令人瞩目，再次印证了这一指数级增长曲线。 除了性能之外，zkVM 的多样性也十分显著。至少有九种 zkVM 正在竞相实现实时证明：Airbender、Ceno、Jolt、OpenVM、Pico Prism、R0VM、SP1 Hypercube、Ziren 和 ZisK。这种多样性就是优势，类似于 CL 和 EL 客户端的多样性。 Fusaka 预计将于 12 月发布，它将简化实时证明流程。EIP-7825 限制了每笔交易的 gas 消耗，从而支持通过子区块进行更多并行证明。MODEXP，一个著名的“证明器杀手”，正在通过 EIP-7823 和 EIP-7883 进行重新定价。 到今年年底，多个团队将在 16 GPU 集群上验证所有 L1 EVM 模块，总功耗将低于 10kW。10kW 的目标功耗（与特斯拉家用充电器的功耗大致相同）对于在车库和办公室进行本地验证至关重要，从而消除对云端验证的依赖。 千兆前沿 自十年前诞生以来，Layer-1 的吞吐量已增长了 100 倍，从每秒 20 千卡增长到每秒 2 兆卡。借助 zkEVM，我们可以在一半的时间内再次将吞吐量提升 100 倍。关键在于如何绕过验证者这一以太坊当前的可扩展性瓶颈。 精益执行证明也实现了去中心化验证。告别 EIP-7870 推荐的 4TB NVMe、8 核、64GB RAM 的时代。一台无状态运行的树莓派，甚至一部手机，很快就会满足需求。可扩展性与去中心化之间的矛盾正在消亡。 放眼望去，以太坊的精简愿景是千兆级 L1 和万兆级 L2。千兆级 L1（10K TPS）意味着高价值支付、交易和社交应用直接在主网。万兆级 L2（10M TPS）意味着将整个金融领域引入以太坊。 11 月 22 日：Ethproofs 日演示 幕后团队正在准备一个特别的 Devconnect 演示。38 天后，我的家庭验证器将在 zkEVM 证明上运行。我强大的 Geth 节点将停用——不再有执行客户端。 Devconnect 阿根廷站是以太坊的世界博览会。世界博览会揭开了灯泡、自来水、汽车、冰箱、电话、自动扶梯的面纱。实时证明是以太坊的灵光一现。 以太坊的未来一片光明。相信点儿吧 :)