🎥 新しいファイヤーサイドチャット:@SuccinctLabsの暗号学責任者、@tamirhemoとSP1の内幕。 SP1のアーキテクチャ、パフォーマンスの突破口、そして本番環境のZK-VMを保護するために必要なことについて深く掘り下げます。 タイムスタンプ: 0:00 SP1とサシンクトの使命とは何か 2:31 なぜZK-VMはオーダーメイドのZK回路よりも一般的なのか EthProofsにおける3:30ハイパーキューブとリアルタイム証明 4:30 SP1の性能向上の背後にある設計上の決定 7:36 理論と算術化のトレードオフ 10:19 SP1攻撃面と緩和策 14:04 インタラクティブ定理証明器 vs SMTツール(Picus) 15:36 工具統合とまだ足りないもの 18:18 プリコンパイル:追加時期とセキュリティへの影響 20:24 「コンパイル・トゥ・サーキット」はZK-VMのデュアルとして有用ですか? 21:12 Prover 保証、展開、プライバシーリスク 24:04 増分証明:ローカル + サーバー証明 26:14 証明と予想、そして暗号学的優先順位付け 29:23 新しい暗号技術とタミールが最も興奮するもの 32:01 SP1 上のアプリケーション構築 34:45 プルーバーネットワークと民間プルービングサービスの比較 36:55 ホームでの99%のブロック成功タイムライン 39:34 最も難しい1%:12秒のボトルネック 42:08 敵対的ブロックと「プローバーキラー」オペコード 43:18 Beyond Ethereum:その他のSP1ワークロード 45:16 SP1の今後 47:15 締めくくりの言葉 @bensepanski from @VeridiseIncがホストを務め、2025 🇦🇷年11月17日にブエノスアイレスで撮影 以下🧵にビデオのまとめを示します 1/5

Tamirは、なぜSuccinctがオーダーメイドのZK回路から汎用ZK-VMへと移行したのか、そしてSP1がなぜプリコンパイル中心であるのかを説明しています。重要な部分は最適化された回路、それ以外の部分は柔軟なプログラムです。 目標は毎サイクル証明することではなく、SP1はプログラムの約束された挙動を証明することです。 2/5

🚀 パフォーマンスのハイライト SP1ハイパーキューブは現在、12秒未満のイーサリアムブロックの99.7%を~16個のGPUで達成し、消費者向けハードウェアの閾値に達しています。 キーアンロック:多重線形多項式、より良い算術化の自由度、再帰のボトルネックの除去。 3/5

セキュリティが最重要だ。 Tamirは攻撃面の緩和方法、証明キラーオペコード、そしてZK-VMにおける正式な検証がなぜ不可欠なのかを解説します。 @SuccinctLabs@VeridiseIncと協力し、Picusを使ってSP1回路のバグを正式に検証し、出荷前にバグを除去しています。 4/5