ZKプルーフマーケットリーダー:簡潔対。 無限の

著者: yyy 出典: X, @y_cryptoanalyst

@SuccinctLabsと比較して、@boundless_xyzは市場での注目と重要性を十分に得ていませんが、Succinctと同様にzkの汎用インフラストラクチャのリーダーになる潜在能力を持っています。これが、私が現在の中国語圏で最も詳細な紹介記事を書く目的でもあります。

! qmpGkK5I0XbHF8jYekNUOnVaV8Tzn0esF7CWi7XZ.png

現在、zk証明市場の細分化されたトラックで最も注目されているプロトコルは間違いなく@SuccinctLabsであり、C端プレイヤー向けの招待制の星活動により、Succinctは急速に知名度を上げています。しかし同時に、@RiscZeroのzk証明ネットワーク@boundless_xyzが台頭しており、これは私が考えるSuccinctのポジショニングにおける最大の競争相手です。

このツイートでは、@SuccinctLabsと@boundless_xyzの違いや競争優位性について簡単に話し合います。どちらが業界のリーダーになるかはまだ分かりません。

脱却できないzkVM

@SuccinctLabsと@boundless_xyzのいずれも、彼らの技術的実装はzkVMを避けて通れません。差別化のポイントは、SuccinctがSP1仮想マシンを採用しているのに対し、BoundlessがRISCで開発されたR0VM仮想マシンを採用していることですか？

では、zkVMとは何ですか？

zkVMはゼロ知識証明仮想マシンであり、開発者がRust(やその他のLLVMプログラミング言語)に基づく任意のプログラムの実行を証明できるようにします。

大白話で言えば、開発者はzkVMに基づいて計算集約型のzk証明生成プロセス（手動で回路を構築および最適化する必要がない）を実行する必要がなく、証明生成はバックグラウンドで自動的に完了し、zk証明の開発時間を大幅に短縮します。

簡潔: SP1 vs. Boundless: R0VM

zkVM仮想マシンは客観的な環境を構築することで、ゼロ知識証明の複雑さを抽象化し、証明生成を従来の計算と同じように簡単にします。

SuccinctのSP1とBoundlessのR0VMは、RISC-V命令セットに基づいており、Rust言語での記述をサポートし、自動化されたZK証明生成が可能です。また、一般的な計算シーンに適しています。

! 1UuwP6JKRDlta0cJQdpV29ZXtoKAJe130kODWKAC.png

区別：

(1)基盤技術の独創性 **

@SuccinctLabs SP1の基盤となる証明システムは、Polygonチームが開発したモジュール化ZK証明ツールキットPlonky3を参考にしており、2022年初頭のPlonky2からのイテレーションアップグレードに基づいています。技術の成熟度が高まり、SuccinctはPolygonの巨人の肩に立っていると言えます；

@boundless_xyzのR0VMは、その親会社RISCの独自技術に基づいており、2024年6月にR0VM 1.0バージョンがリリースされた後、同様に何度も技術のイテレーション（1.1.0-1.1.2）を経て、現在は最新のR0VM 2.0バージョンに進化しています。

2）オープンソースの程度；

@SuccinctLabs SP1 は、最初の100% オープンソースの zkVM であると主張しています。関連資料を調べたところ、RISC の R0VM は初期に部分的にオープンソースであり、2024年8月には100% 完全にオープンソースであると発表されました。

3)パフォーマンス; **

性能はzkVMの核心指標の一つであり、通常はzk証明の生成時間や検証時間を指します。このデータは比較的敏感であり、SuccinctとBoundlessは直接の競合相手であるため、彼らが公表するデータはあまり公正でない可能性があります（特定の環境に対するテストデータなど）。また、中立的な第三者による比較で信頼できるデータも見つかりませんでしたので、客観的かつ具体的なデータを保証するために、私は公開しないことにしました。

現在、業界の主流な見解では、@SuccinctLabs SP1 はハッシュ集約型の作業タスク（例えば、Tendermint の軽量クライアント検証）において優れたパフォーマンスを発揮し、証明生成時間が速いことが示されています。@boundless_xyz の R0VM は汎用計算シーンにより適しており、メモリ管理において明らかな優位性があります。

SP1のサポートプリコンパイルは、証明生成に必要なRISC-V命令サイクル数を削減し、証明生成時間を加速し、証明生成コストを低下させました。しかし、R0VM 2.0バージョンのリリースに伴い、新たにBN254とBLS12-381という2つの主要なプリコンパイルが追加され、性能の大幅な向上が期待されます。

! d2jSbG55IK5BG8DaojfPmAo9vR4LFXluPagWH2VO.png

zk証明市場とは何ですか？

ZKのプルーフ・オブ・プロダクションは、@SuccinctLabsと@boundless_xyzの大規模な商業化の基本であり、最終的には、検証可能な計算を汎用的でトラストレスな商品に変える、より効率的で分散型のZKプルーフ・オブ・マーケットになることを目標としています。

市場は売買双方を仲介する役割を果たしており、zk証明市場はzk証明の供給者と需要者を仲介する市場として理解できます。zk証明の供給者は証明の生成者であり、通常はGPUやその他のハードウェアデバイスを運営するオペレーターです；zk証明の需要者は主に検証ニーズを持つB端ユーザーです。

@SuccinctLabsの証明市場の需給をマッチングするメカニズムは複雑ではなく、Succinctネットワークは2種類のコア参加者で構成されています：リクエスター（zk証明の需要者）とプロバー（zk証明の提供者）。

Succinct は、資金の決済の仲介者として機能します: 証明者は、プルーフ コンペティションへの参加資格を得るためにオンチェーンに担保を預け、Succinct プロトコルは、リクエスターがプルーフ サービスを要求するための料金を事前にエスクローします。 証明者はプルーフオークションを通じて競争し、最終的なオークションの勝者はZKプルーフをリクエスターに配信し、対応する手数料収入を取得します。 これで、マッチメイキングのリンク全体が閉じられました。

より詳細な技術アーキテクチャの実装メカニズムは、@SuccinctLabsの公式ドキュメントをご覧ください:

@boundless_xyz は最近ホワイトペーパーを公開し、zk証明市場の実現メカニズムと@boundless_xyz の大同小異を担っています。ここでは詳細は省略し、技術的な実現の詳細については文末に添付されたBoundlessホワイトペーパーのリンクをご覧ください。

! hbUgNpWOClQ50f5Tqk54HtVvnJF2EEqFvrt8aLIe.png

B端ユーザーの立ち位置

資本に好まれる汎用インフラストラクチャプロトコルとして、@SuccinctLabs と @SuccinctLabs はそれぞれ核心となるB端ユーザー群を持ち、親Succinct派と親RISC(Boundless)派を形成しています。

親簡潔派閥:

Cosmosのように、ネイティブに統合されたIBC Eurekaはzk証明生成サービスを提供し、グローバルな異種チェーンネットワークにおけるIBCクロスチェーン相互運用性の拡張を実現します。Polygon、DAレイヤー@celestia、@AvailProjectなど、初期技術サポートを提供することを含みますが、これに限りません。

プロRISC(Boundless)派閥:

ETHリステーキングプロトコル@eigenlayer、zkクロスチェーン相互運用性プロトコル@union_build、ビットコインzk-Rollup@citrea_xyzなど。

まとめ

@boundless_xyz と @SuccinctLabs のコアポジショニングは非常に強い類似性があり、ビジネス範囲の重複度も非常に高いと思います。私の見解では、両者の競争は技術革新における競争ではなく、B端ユーザーとC端ユーザーのコアユーザーを対象とした争いだと思います。

B端の競争は互角であり、C端のSuccinctは明らかに優位に立っています。Boundlessは短所を補う必要があり、類似のポイント活動や招待制活動を導入する可能性が高く、C端ユーザーを奪取しようとしています。

最後に書く

もしzk一般証明の氷山の下にある潜在的な市場がどれほど大きいか想像できなければ、@SuccinctLabsと@boundless_xyzの潜在的な天井がどれほど高いかも想像できない。

しかし、これらすべてには追跡可能な証拠があります。もし今、zk証明の市場価値が理解できず、認めることができないとしても、注目を続けるだけで大丈夫です。

私たちは最終的にこのzk大革命に巻き込まれると思いますが、今、この革命はまだ始まったばかりです。