トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.

Professor Jo
買収金融のキャリアをもとに、DeFiでより大きな夢に向かって走る「DeFi農夫朝鮮」だ。@0xundefined_
<なぜ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 の導入を放棄したり、一部の集中型証明プロバイダーに依存する構造を選択したりしています。
4. 簡潔な試み
@SuccinctLabsは、これらの構造的な問題を「インフラの問題」と見なしています。ZKP は技術的には十分に強力ですが、問題は誰が、どのように、どのようなコストで実装するかです。そのため、Succinct は、個々のプロジェクトが独自の証明インフラストラクチャを運用する必要がなく、誰でも簡単にアクセスできる分散型証明ネットワークを作成しています。
開発者は、複雑な zkVM をセットアップしたり、ハードウェアを提供したりする必要はありません。プルーフ要求がネットワークに送信されると、異なるハードウェアを持つプローバーがオークション方式で入札して処理します。競争を通じて証明コストは自然に下がり、プローバーは高性能な機器で効率的に証明を生成します。その結果、開発者にとっては高速で安価な証明が得られ、エコシステム全体にとって可用性が高く検閲に強い証明インフラストラクチャが実現します。
Succinct は、その技術的な可能性を実証するだけでなく、実際の需要が生じる分野での役割も証明しています。代表的な例が、@celestiaエコシステムで登場した「CLOBs on Blobs」フローです。Celestia の BLOB スペース上に高性能分散型オーダーブック (CLOB) が出現したことで、大規模なデータ処理と高速状態証明が不可欠なインフラストラクチャのニーズとなっています。
Hyperliquid や @hibachi_xyz などのプロジェクトは、複雑なオーダーブック トランザクションと価格発見ロジックをオンチェーンに実装しており、単純なロールアップを超えたスケーラビリティとパフォーマンスが求められています。ここで、Celestia の高性能データ可用性レイヤーと、Succinct が提供する分散型 ZK 証明インフラストラクチャが必要です。
実際、Celestia は BLOB スペースの実際の使用率が急速に増加しており、Succinct などの ZK インフラストラクチャがその背後で静かに貢献しています。Celestia が「検証可能なデータ ストア」を提供する場合、Succinct はそのデータの上に「検証可能な状態遷移」を作成する責任があります。この組み合わせは、ZKP テクノロジーが抽象的な理論を超えて現実世界のシステムに移行するための出発点となります。
5. 誰でも扱えるzkEVM、SP1、SP1 Reth
このようにインフラのアクセシビリティを解決したSuccinctは、zkVM自体の進入障壁を下げるためにSP1(Succinct Processor 1)というオープンソースの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 は一部のテクノロジーではなく、すべての人のテクノロジーです。




9.83K
トップ
ランキング
お気に入り