1/ ほとんどのZK証明器は正しい証明を作成するために作られています。高速で監査可能で本番環境に対応できるものはほとんどありません。 パートIはグラフファースト証明を紹介します。パートIIでは数字が示されました。 パートIIIはVenusを生産に投入するためのロードマップです。 zkVMトリロジーのフィナーレへようこそ。🧵

2/フェーズ1:パフォーマンス。 私たちは初日からHALではなく計算グラフをコアな実行インターフェースとして構築しています。 初期のcudaGraph統合ではRTX 5090で9〜12%の改善がすでに示されています。 目標:15%+、次はマルチGPUが証明される予定です。 すべての最適化は重なります。

3/フェーズ2:セキュリティ 同じグラフ駆動性能は証明プロトコル自体の機械チェックも可能です。 重要な洞察:ZKの引数タイプは小さくて列挙可能であり、SumCheckは2つに分解されます。 有限の信頼できるライブラリを構築し、プロトコルを機械的に検証します。

4/フェーズ3:rbuilderとの統合。 ブロックビルディングは遅い証明を待てません。 つまり、再編成を意識したプリエンプトと、証明がオーバーした際の優雅なバックアップを備えた非同期パイプラインを構築しています。 目標は、ZKがライブブロック制作にそれを収めつつも、それを遅くしないことを証明することです。

5/フェーズ4:経済学。 zkEVMノードは自ら維持できますか? 3つのGPU構成(単一のRTX 5090から8xまで)で、証明費、MEVシェア、プロトコルインセンティブをハードウェアおよび運用コストに対してモデル化し、損益分岐点を見つけています。 グラフファーストは実行可能でなければ勝てません。

6/ ほとんどのZK証明器は正しい証明を作成するように設計されています。 正しい証明が基準です。 高速で監査可能で、本番環境が整い、持続可能な運用も可能なものを構築しています。 それがグラフファーストを可能にするものです。 パートIIIをお読みください: