实时证明在我阅读第7部分时终于明白了。关键点是：如果证明取代了L1的重新执行，以太坊的上限将从“每个验证者可以在12秒内重新运行的内容”变为“少数证明者可以并行化，其他人只需验证的内容”。 @brevis_zk Pico Prism不再是理论；在10月15日，它在64×RTX 5090集群上达到了约6.9秒的平均证明时间，45M-gas区块的99.6%在12秒内，这与我一直保留的EF在2025年7月的RTP目标（≤10秒P99，<10万美元资本支出，<10千瓦）一致。重现步骤通过brevis-network/pico-ethproofs库公开，极大增强了可信度。 ❯ 重要性：验证是毫秒级且成本恒定；如果你控制好尾部，“一次证明，处处验证”将使手机变成诚实的轻客户端。 ❯ 变化：分布式、多GPU管道（执行/递归/压缩）具有近线性扩展性，而不是旧的单机调优。 ❯ 我依赖的证明：EF博客“Shipping an L1 zkEVM #1: Realtime Proving”（2025年7月）作为标准；Prism的2025年10月基准测试+在pico-ethproofs中的可重现二进制文件作为凭证。 注意事项：P99（而非中位数）必须保持，因为gas从45M增加到60M；资本支出/功率仍需低于EF的<10万美元/<10千瓦“家庭证明”标准。 快速比较：Prism（64×5090，~6–7秒，~97% <10秒）与之前的SP1 Hypercube（160×4090，平均10.3秒，~41% <10秒，36M-gas）。相同规则，不同成本曲线。 声明检查：“100倍更大区块，相同验证成本”的说法是合理的，如果尾部保持在10秒以下，限制上升。我将跟踪P99、证明大小和功率。