<なぜ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 は証明の生成において非常に非効率的でした。通常、ブロックの証明には数十台の高性能マシンのクラスターが必要であり、コストはブロックあたり 10 ドル ~ 20 ドルに達しました。この高い技術的負担と運用コストのため、多くのプロジェクトが ZKP の導入を放棄したり、一部の集中型証明プロバイダーに依存する構造を選択したりしています。 ...