Succinct：効率的なzkVMを構築し、ブロックチェーンインフラの新時代をリードする

#簡潔:ZKの技術革新をリードする先駆的なプロジェクト

Succinctは注目を集めているゼロ知識証明プロジェクトで、そのコア製品SP1は現在最も速いzkVMとして称賛されています。このプロジェクトは2回の資金調達で合計5500万ドルを調達しました。

SP1の主な利点は次のとおりです:

• 証明速度は他のzkVMを最大28倍上回り、コストが大幅に削減されました。

• Rustを使用してZKPを作成することをサポートし、既存のコードベースを再利用でき、開発効率が百倍向上します。

• プロダクションレベルのアプリケーションに適しており、厳格な監査を受けており、複数の大規模プロジェクトに採用されています。

! 簡潔なSP1:最速のzkVM

SP1 の紹介

SP1は汎用のゼロ知識仮想マシン(zkVM)であり、開発者がRustまたは他のLLVMコンパイルをサポートする言語を使用してコードを記述し、プログラムの正しい実行を検証するための効率的なゼロ知識証明を生成することを可能にします。

SP1の革新は、ゼロ知識証明の開発ハードルを大幅に下げながら、優れた性能と柔軟性を維持することにあります。これにより、ZKPの開発は通常のソフトウェアを書くのと同じように簡単になり、ブロックチェーンインフラ(がRollup、クロスチェーンブリッジ、オラクルなど)を通じて、保守可能なコードを介して検証可能性を実現できるようになります。

ゼロ知識証明(ZKP)は、入力データを一切漏らすことなく、特定の計算の正当性を証明することができます。この技術はブロックチェーン分野で広く応用されています:

• スケーリング：Rollupを通じて、ZKPは多数の取引を1つの証明に圧縮し、メインチェーンの負担を大幅に軽減できます。
• 相互運用性：ZKPは異なるチェーンの状態を検証し、クロスチェーン通信を促進します。
• プライバシー：ZKPは取引または状態のプライバシーを確保し、ユーザーデータを保護します。
• ブリッジとオラクル：ZKPはオフチェーンのデータや計算をオンチェーンで非信頼性の検証が可能にします。

しかし、従来のZKP開発は非常に複雑で、専門の暗号学チーム、長い開発サイクル、高額なメンテナンスコストを必要とします。SP1の登場はこの状況を完全に変えました。

SP1の機能

1. 優れたパフォーマンスzkVM

実際のブロックチェーン負荷(において、軽量クライアント検証、Rollupなど)で、SP1は他のzkVMより4倍から28倍速く、手動で最適化された専用回路に匹敵することもできます。その最新バージョンSP1 Turbo (v4.0.0)は、GPUクラスタ上で実行する際、イーサリアムメインネットのブロックの検証にわずか40秒しかかからず、コストは数セントにまで下がります。

2. RustによるZKP開発をサポート

SP1は開発者がRustを使用してZKPロジックを記述し、既存のRustエコシステムライブラリを直接再利用できるようにします。これにより、開発者は既存のブロックチェーンノードコードを直接利用でき、簡単な改造でZKPを生成でき、複雑な回路をゼロから作成する手間を省くことができます。

3. プリコンパイルメカニズム

SP1は「プリコンパイル」メカニズムを導入し、一般的な暗号操作(、例えばkeccak、sha256、署名検証など)を高度に最適化しました。これらのプリコンパイルは計算コストを大幅に削減し、SP1が複雑なブロックチェーンの作業負荷を処理する能力を大幅に向上させました。例えば、SP1はZK Tendermint軽量クライアントを実行し、検証時間を2.2時間から4.6分に短縮しました。

4. オープンソースセキュリティ

SP1は完全にオープンソースのプロジェクトで、MIT/Apache 2.0ライセンスを採用しています。そのモジュラーアーキテクチャは、開発者が"プリコンパイル"をカスタマイズし、特定のユースケースのパフォーマンスを最適化できるようにします。SP1は、複数の著名なプロジェクトからの開発者を惹きつけ、共同で改善を進めており、複数のトップZKセキュリティ会社による監査を通過し、公開監査コンペティションで"ゼロ重大脆弱性"の優れた成果を達成しました。

5. 広範な協力

複数の著名なプロジェクトがSP1を採用してZKPを構築し、10億ドル以上のオンチェーン資産(TVL)を保障しています。Rollupからクロスチェーンブリッジ、オラクルからプライバシープロトコルまで、SP1はブロックチェーンインフラストラクチャの標準構成になりつつあります。

! 簡潔なSP1:最速のzkVM

SP1のアプリケーションシーン

SP1はブロックチェーン分野でさまざまなアプリケーションを実現しました:

• Rollup：SP1を使用してZK Rollupを構築し、状態遷移のゼロ知識証明を生成し、EthereumやBitcoinなどのメインチェーンに接続して、高スループットと低コストを実現します。

• クロスチェーンブリッジ：SP1はTendermintやEthereumのライトクライアント(のようなLayer 1のコンセンサス)を検証し、安全で効率的なクロスチェーンブリッジを構築します。

• 相互運用性：SP1を介して、ロールアップ間で迅速な決定性と相互運用性を実現できます。

• オラクル：SP1はオフチェーンでの大規模計算(、例えば履歴状態のクエリ、チェーン上の機械学習)をサポートし、チェーン上で検証可能な証明を生成し、ガスコストを大幅に削減します。

• プライバシー：SP1はプライベートな取引とステータスを実現し、ユーザーデータの安全を保護します。

• アグリゲーション：SP1は同様のZKPを集約し、オンチェーン検証コストをさらに削減します。

SP1の多様なアプリケーションは、ブロックチェーン技術の発展を推進する上での重要な役割を示しており、未来の革新のための堅実な基盤を築いています。