<なぜZKは失敗したのか、そしてSuccinctは何を変えようとしているのか?> 1. 問題認識 ビットコインの生みの親であるサトシ・ナカモト氏は、ゼロ知識証明(ZKP)について懐疑的な見方を表明した。 同氏は「何かが存在しないことを証明するには、トランザクション全体を知る必要がある」と述べ、ZKPをブロックチェーンに適用することは構造的に難しいと結論付けた。 しかし、同氏は「解決策が見つかれば、ビットコインを実装する方がはるかに良く、より簡単で、より便利になるだろう」とも述べた。言い換えれば、ZKの技術的限界を認識しながらも、それが解決されれば、ブロックチェーンの進化における重要な転換点になる可能性があることを認めた。 数年後、サイファーパンク コミュニティと ZK 研究者はついにその解決策を見つけました。Zcash は実際の暗号通貨に ZKP を適用した最初のケースであり、その後の StarkWare、zkSync、Scroll などのプロジェクトは、イーサリアムのスケーラビリティと検証可能性を強化するための重要な手段としてこのテクノロジーを開発しました。 しかし、現実にはまだ乖離がある。zkEVM の作成には、深い専門知識、長年の開発時間、高性能ハードウェアが必要であり、ほとんどのプロジェクトは独自の ZKP インフラストラクチャを運用する代わりに、特定の証明プロバイダーに依存することになります。その結果、ZKP は誰でも使用できるテクノロジーではなく、少数の人だけが処理できる複雑なツールのままです。 2. 簡潔とは何ですか? 簡潔 (@SuccinctLabs) は、この問題に直接対処する試みです。その中心的な使命は、ZKP をすべての開発者が簡単に使用できるインフラストラクチャに変換し、複雑な回路やインフラストラクチャなしで誰でも「トラストレス システム」を作成できるようにすることです。 簡潔さは、ブロックチェーンが追求してきた「トラストレス」システムの理想を、実用的に実現可能な現実に変えるインフラです。トラストレスは「信頼できない」という意味ではありません。むしろ、信頼に頼らずに独立して動作する構造、つまり第三者や中央当局のない数学的に検証可能なシステムを指します。 しかし、現在のブロックチェーンエコシステムは依然として信頼に大きく依存しています。ブリッジハッキング、マルチシグネチャ操作、集中型バリデーター委任はすべて、システムが機能するためには人や組織を信頼する必要があることの証拠となります。 これらの信頼に基づく制限を突破しようとする試みは、まさにゼロ知識証明 (ZKP) テクノロジーです。この技術により、誰も信用することなく「この計算が正しい」ことを数学的に証明できるため、分散型システムの基本的な基盤となります。問題は、ZKPが複雑すぎて重すぎて実用化できないことでした。 3. なぜZKPは難しかったのですか? ZKP テクノロジーは、その可能性と同じくらい高い障壁を持っています。特に、zkEVM の作成には、専門チーム、長年の開発時間、高価なインフラストラクチャが必要です。ほとんどの zk プロジェクトは、独自の回路を設計し、専用の zkVM を構築し、ハードウェアを直接操作する必要がありました。これらすべてのプロセスを経て初めて、「ZK ロールアップ」であると主張することができました。 さらに、既存の汎用zkVMは証明の生成において非常に非効率的でした。通常、1つのブロックを証明するには、数十台の高性能マシンのクラスターが必要で、ブロックあたり10ドルから20ドルの費用がかかりました。これらの技術的負担と運用コストにより、多くのプロジェクトは ZKP の導入を完全に放棄するか、一部の集中型証明プロバイダーに依存することを選択しました。 4. 簡潔な試み @SuccinctLabs、これらの構造的な問題を「インフラ問題」と見なしています。ZKP は技術的には十分に強力ですが、問題は、誰が、どのように、どのようなコストで実装されるかです。したがって、Succinct は、個々のプロジェクトが証明インフラストラクチャを直接運用しなくても、誰でも簡単にアクセスできる分散型証明者ネットワークを作成しています。 開発者は、複雑な zkVM をセットアップしたり、ハードウェアを調達したりする必要はありません。彼らがネットワークに証明リクエストを送信すると、異なるハードウェアを持つさまざまな証明者がオークションのような方法でそれらを処理するように入札します。証明コストは競争を通じて自然に減少し、証明者は高性能な機器を使用して効率的に証明を作成します。その結果、開発者は高速で安価な証明を受け取り、エコシステム全体が高可用性と検閲耐性を備えた証明インフラストラクチャの恩恵を受けることができます。 簡潔さは技術的な可能性を示すだけではありません。実際の需要が発生する分野でその役割を証明しています。代表的な例が@celestiaエコシステムで「CLOBs on Blobs」トレンドが出現したことだ。高性能の中央指値注文帳 (CLOB) 方式を使用した分散型取引所が Celestia の BLOB スペースに登場しており、大規模なデータ処理と迅速な状態証明に対するインフラストラクチャの需要につながっています。 Hyperliquid や @hibachi_xyz などのプロジェクトは、複雑なオーダーブック取引と価格発見ロジックをオンチェーンに実装しており、単純なロールアップを超えたスケーラビリティとパフォーマンスが必要です。ここで必要なのは、Celestia の高性能データ可用性レイヤーと、Succinct が提供する分散型 ZK 証明インフラストラクチャです。 実際、Celestia では BLOB スペースの実際の使用量が急速に増加しており、その背後には Succinct のような ZK インフラストラクチャが静かに貢献しています。Celestia が「検証可能なデータ ストレージ」を提供する場合、Succinct はそのデータに対して「検証可能な状態遷移」を作成する責任があります。この組み合わせは、ZKP テクノロジーが抽象理論から現実の機能システムに移行するための出発点と見なすことができます。 5. 誰でも扱えるzkEVM、SP1およびSP1 Reth Succinct は、インフラストラクチャのアクセシビリティを解決することで、SP1 (Succinct Processor 1) と呼ばれるオープンソースの zkVM を開発することで、zkVM 自体の参入障壁を下げることも目指しています。SP1 は Rust で実装された汎用 zkVM で、既存の zkEVM に必要な複雑な回路設計を必要とせずに、誰でも直接使用できるように設計されています。 SP1 の可能性を示す初期の例は、SP1 Reth です。SP1 Reth は、わずか約 2,000 行の Rust コードで実装されたタイプ 1 zkEVM で、既存のイーサリアム クライアント エコシステム (Reth、Revm、Alloy など) のコンポーネントを再利用することで簡単に構成できます。さらに驚くべきのは、その性能です。SP1 Reth のイーサリアム トランザクションあたりの平均証明コストはわずか約 0.01 ドルから 0.02 ドルで、これは L2 で一般的に発生するデータ可用性コストよりも低くなっています。 このような性能が可能なのは、SP1が持つ「プリコンパイル」システムによるものです。ハッシュ関数や署名検証などの計算負荷の高い操作を事前に最適化された構造で処理し、zkVM が消費するリソースを大幅に削減します。これまで、zkVM を使用した zkEVM の実装にはブロックあたり 10 ドルから 20 ドルの費用がかかりましたが、SP1 Reth はこれを一桁の数字に減らすことに成功しました。 SP1 と SP1 Reth はどちらも完全にオープンソースであり、誰でもフォークして独自の zkEVM を作成したり、プリコンパイルを追加してパフォーマンスを向上させたりすることができます。これは、既存の高コスト、高難易度の zk 開発環境の完全な激変を表しており、Rust 開発者なら誰でも zk システムに参加できる時代が開かれます。 6. 最終的に、ZK は誰でもアクセスできるようになりました 簡潔なのは、ZKP テクノロジーの可能性、アクセシビリティ、実用性の最後のパズルのピースを埋めています。複雑な回路や専用のハードウェアがなくても、誰でも ZKP を利用してアプリケーションを作成でき、証明は分散型ネットワークによって処理されます。 私たちは、すべてのロールアップが ZK ロールアップになり、インターネットが真実のみに基づいて運営される時代に突入しています。この出発点は、Succinct と SP1 です。現在、ZKP は選ばれた少数の人だけでなく、すべての人のためのテクノロジーです。