パート7を読んでようやくリアルタイム証明が腑に落ちました。オチはこうです:もしL1での再実行が証明に取って代われば、イーサリアムの天井は「すべてのバリデーターが12秒で再実行できること」から「少数の証明者が並列化できるものを他の全員が検証するだけのもの」へと変わります。 @brevis_zkピコプリズムはもはや理論ではありません。10月15日には、64×RTX 5090クラスターで99.6%<12秒、平均約6.9秒のガスブロックを達成し、これは私がしっかりマークしているEFの2025年7月のRTP目標(≤10シリングP99、<10万ドルの資本支出、<10kW)と一致しています。再現手順はbrevis-network/pico-ethproofsリポジトリを通じて信頼性のために公開されています。 ❯ なぜ重要なのか:検証はミリ秒単位で一定コスト;テイルスを抑えれば、「一度証明、どこでも検証」は電話を正直なライトクライアントに変えます。 ❯ 変更点:分散型マルチGPUパイプライン(実行/再帰/圧縮)でほぼ線形スケーリングを用い、従来のシングルボックスチューニングとの違い。 ❯ 私が頼った証明:EFブログ「Shipping an L1 zkEVM #1: Realtime Proving」(2025年7月)でバー試験用;Prismの2025年10月のベンチマーク+レシート用のピコエスプルーフで再現可能なバイナリ。 注意点:P99(中央値ではない)はガスが45M→60Mに達すると保持しなければなりません。資本支出や電力は、EFの<$100k/<10kWの「ホームプロービング」ラインの下に収まる必要があります。 簡単な比較:プリズム(64×5090、~6–7秒、~97%<10秒)と以前のSP1ハイパーキューブ(160×4090、平均10.3秒、~41%<36Mガスで10秒)。同じルールですが、コスト曲線は異なります。 クレームチェック:「100×の大きなブロック、同じ検証コスト」という提案は、テイルが10未満で制限が上がる中で十分に成立します。次はP99、プルーフサイズ、パワーを追跡します