一条容易被时间淹没、但技术意义不小的进展：ZKsync 的 Airbender 团队做到了「两块 5090 显卡就能证明每一个 L1 EVM 区块」，功耗约 1 千瓦。

分量在哪？它把 ZK 证明的硬件门槛从数据中心拉到了消费级显卡。如果证明成本真能压到这个量级，「用 ZK 证明以太坊全链状态」就从理论走向了工程可行——这是 ZK 叙事长期被诟病「离落地太远」时，为数不多能拿出来的硬指标。

ZK 赛道喊了好几年，真正能验证进展的，是这类「能用多低的成本证明一个区块」的具体数字。