55億人民元の資金を調達したSuccinctは、パラダイムが主導する2回の投資ラウンドを受けたトップZKプロジェクトです。
このトップ ZK プロジェクトのコア製品は SP1 であり、これは現在最速の zkVM でもあります。
• 他の zkVM よりも最大 28 倍高速な実証速度とわずかなコストで、優れたパフォーマンスを実現します。
• Rust での ZKP の記述をサポートし、既存のコード ベースを再利用して開発効率を 100 倍向上します。
• 実稼働レベルのユースケースをサポートし、トップレベルの監査を受けており、Polygon や Celestia などの主要プロジェクトで採用されています。
1. SP1 とは何ですか?
SP1 は、開発者が Rust (または LLVM コンパイルをサポートする任意の言語) で通常のコードを記述し、プログラムの正しい実行を検証するための効率的なゼロ知識証明を生成できるようにする汎用ゼロ知識仮想マシン (zkVM) です。
簡単に言えば、SP1 を使用すると、開発者は複雑な暗号理論を深く理解することなく、使い慣れたプログラミング言語を使用して、暗号化セキュリティを備えた検証可能なコンピューティング アプリケーションを迅速に構築できます。
SP1 の核となる革新は、最高レベルのパフォーマンスと柔軟性を維持しながら、ゼロ知識証明の開発ハードルを大幅に下げたことです。 ZKP を通常のソフトウェアの作成と同じくらい簡単にし、ブロックチェーン インフラストラクチャ (Rollup、クロスチェーン ブリッジ、オラクルなど) を保守可能なコードを通じて検証可能にします。
ゼロ知識証明 (ZKP) は、入力データを漏らすことなく、特定の計算の正しさを証明できます。この機能には、ブロックチェーンにおける無限の応用シナリオがあります。
- 容量拡張：Rollup により、ZKP は多数のトランザクションを 1 つの証明に圧縮できるため、メインチェーンの負担が大幅に軽減されます。
- 相互運用性: ZKP は、さまざまなチェーンのステータスを検証し、チェーン間の通信を容易にします。
- プライバシー: ZKP はトランザクションまたは状態のプライバシーを確保し、ユーザー データを保護します。
- ブリッジとオラクル: ZKP により、オフチェーンのデータや計算をオンチェーンで信頼性なく検証できるようになります。しかし、従来の ZKP 開発の複雑さは「悪夢」と表現できます。専門的な暗号化チーム、何年もの開発サイクル、そして高額な保守コストが必要になります。
SP1 の登場により、この状況は完全に変わりました。
2. SP1の特徴
1. 最速かつ最も強力なzkVM
実際のブロックチェーン ワークロード (軽量クライアント検証、ロールアップなど) では他の zkVM よりも 4 ～ 28 倍高速であり、手動で最適化された専用回路に匹敵します。最新バージョンの SP1 Turbo (v4.0.0) では、GPU クラスターで実行するとわずか 40 秒で Ethereum メインネット ブロックを検証でき、コストはわずか数セントです。
2. RustでのZKP記述のサポート
SP1 により、開発者は Rust で ZKP ロジックを記述し、既存の Rust エコシステム ライブラリ (revm、reth、alloy など) を直接再利用できるようになります。
開発者は既存のブロックチェーンノードコードを変更するだけでZKPを生成できるため、複雑な回路をゼロから作成する手間が省けます。
3. プリコンパイル：パフォーマンスの秘密兵器
SP1 では、一般的な暗号化操作 (keccak、sha256、署名検証など) 向けに高度に最適化された「事前コンパイル」メカニズムが導入されました。これらのプリコンパイルにより計算オーバーヘッドが大幅に削減され、複雑なブロックチェーンのワークロードを処理する際の SP1 がさらに強力になります。たとえば、SP1 では ZK Tendermint ライト クライアントが実行され、検証時間が 2.2 時間から 4.6 分に直接短縮されます。
4.100%オープンソース、コードセキュリティ
SP1 は 100% オープン ソース (MIT/Apache 2.0 ライセンス) です。モジュール型アーキテクチャにより、開発者は「プリコンパイル」をカスタマイズして、特定のユースケースのパフォーマンスを最適化できます。従来のクローズドソースの zkVM とは異なり、SP1 はコミュニティの貢献を重視しており、Polygon、Celestia、Sovereign Labs などのチームの開発者を集めて協力して改善に取り組んでいます。
SP1 は、複数のトップ ZK セキュリティ企業によって複数回監査され、公開監査コンテストで「高リスクの脆弱性ゼロ」という優れた結果を達成しました。
5. 質の高いパートナー
Polygon、Celestia、Avail、Taiko などは、Succinct の SP1 を採用して ZKP を構築し、10 億ドルを超えるオンチェーン資産 (TVL) を保護しています。 Rollup からクロスチェーン ブリッジ、オラクルからプライバシー プロトコルまで、SP1 はブロックチェーン インフラストラクチャの標準になりつつあります。
3. SP1の適用シナリオ
SP1 はブロックチェーンで多くのユースケースを実装します。
- Rollup: SP1 を使用して ZK Rollup を構築し、状態遷移のゼロ知識証明を生成し、Ethereum や Bitcoin などのメインチェーンに接続して、高スループットと低コストを実現します。たとえば、OP Succinct は SP1 を使用して、OP スタックに製品レベルの証明エンジンを提供します。
- クロスチェーン ブリッジ: SP1 は、レイヤー 1 (Tendermint や Ethereum ライト クライアントなど) のコンセンサスを検証し、安全で効率的なクロスチェーン ブリッジを構築できます。たとえば、SP1 Blobstream は Celestia のデータ ルートを Ethereum 上で検証し、SP1 Vector は Avail の Merkle ルートを Ethereum に中継します。
- 相互運用性: SP1 を使用すると、Rollups は迅速な完了と相互運用性を実現でき、Polygon の AggLayer などのプロジェクトに役立ちます。
- Oracle: SP1 は、大規模なオフチェーン コンピューティング (履歴ステータス クエリ、オンチェーン マシン ラーニングなど) をサポートし、チェーン上で検証可能な証明を生成することで、ガス コストを大幅に削減します。
- プライバシー: SP1 はプライベートなトランザクションと状態を可能にし、ユーザー データを安全に保ちます。
- 集約: SP1 は類似の ZKP を集約して、オンチェーン検証コストをさらに削減できます。 Nebra などのプロジェクトがこの方向性を模索しています。
