ZK 市場リーダー争いの証明：サクンクト対バウンドレス

Author: yyyy Source: X, @y_cryptoanalyst

@SuccinctLabs と比べると、@boundless_xyz は注目されるには程遠い。しかし、Succinctのように、zk汎用インフラ回路のリーダーになる可能性を秘めています。そのため、私はこれまで中国のサイトで最も詳細な紹介記事を書いてきました。

現在、zkのProof of Market Segmentationトラックで最も声の大きい案件は間違いなく@SuccinctLabsで、C-suiteプレーヤーをターゲットにした招待制のスターキャンペーンが行われています。Succinctは急速に頭角を現している。しかし同時に、@RiscZeroが支援するzkプルーフネットワークの@boundless_xyzが台頭してきており、Succinctがターゲットとしているニッチにおいて、私が最大のライバルだと考えているものです。

このツイートでは、@SuccinctLabsと@boundless_xyzの類似点、相違点、競争上の優位性について簡単にお話しします。

zkVM

@SuccinctLabs にせよ、@boundless_xyz にせよ、彼らの実装は zkVM を回避することはできません。 両者の違いは以下の通りです。SuccinctはSP1 VMを使っているのに対し、BoundlessはRISCで開発されたR0VM VMを使っている？

では、zkVMとは何でしょうか？

zkVMはゼロ知識証明仮想マシンで、開発者は任意のRustベース（または他のLLVMプログラミング言語）プログラムの実行を証明することができます。

わかりやすく言うと、zk証明を生成する計算集約的なプロセス（手作業で回路を構築し、最適化する）を実行する代わりに、zkVMによって開発者はバックグラウンドで証明を自動的に生成することができ、zk証明の開発時間を劇的に短縮することができます。

Succinct: SP1 vs. Boundless: R0VM

zkVM VMは、ゼロ知識証明の複雑さを抽象化する客観的な環境を作成することで、証明生成を従来の計算と同じくらいシンプルにします。

SuccinctのSP1とBoundlessのR0VMはどちらもRISC-V命令セットをベースにしており、どちらもRustで書かれた自動ZK証明生成をサポートしています。どちらも汎用コンピューティング・シナリオに適しています。

差別化:

1）基盤となる技術の独創性；

@SuccinctLabs SP1の基礎となる証明システムは、Plonky3を利用しています。Plonky3は、Polygonのチームによって開発されたモジュール式のZK証明ツールキットで、2022年の初めからPlonky2の反復によってアップグレードされ、技術的な成熟度ははるかに高くなっています。

@boundless_xyz のR0VMは、親会社であるRISCの自社開発技術に基づいており、また、何度かの技術の反復（1.1.0-1.1.2）を経て、現在は最新のR0VM 2.0バージョンに反復しています。

2）オープンソースの度合い

@SuccinctLabs SP1は、初の100%オープンソースのzkVMであると主張しています。 関連情報を検索したところ、以下のことがわかりました。RISCのR0VMは以前稼働したときに部分的にオープンソースであり、2024年8月には100%完全なオープンソースであるとも発表されていました。

3）パフォーマンス

パフォーマンスはzkVMのコアメトリクスの1つであり、通常はzk証明の生成時間、検証時間を指します。このデータは機密であり、SuccinctとBoundlessは直接の競合相手であるため、彼らの公表データは公正でないかもしれません（例えば、特定の環境でのテストデータなど）。中立的な第三者からの権威ある信頼できるデータは見つかっていませんので、客観性を確保するために特定のデータは開示しません。

現在、業界では、@SuccinctLabs SP1は、証明の生成がより高速であることからもわかるように、ハッシュ集約的なタスク（Tendermintライトクライアント検証など）においてより優れたパフォーマンスを発揮し、@boundless_xyzのR0VMは汎用コンピューティングシナリオにより適しているという見方が主流です。boundless_xyzのR0VMは、汎用コンピューティングシナリオにより適しており、メモリ管理において明らかな利点がある。

SP1のプリコンパイルのサポートは、証明生成に必要なRISC-V命令サイクル数を削減し、証明生成時間を高速化し、証明生成コストを削減します。しかし、R0VMバージョン2.0では、BN254とBLS12-381という2つの主要なプリコンパイルが追加されたことにより、パフォーマンスも大幅に向上します。

ZK証明市場とは？

zk証明生成は、@SuccinctLabsと@boundless_xyzの大規模商業化への動きの基盤であり、両者の最終的な目標は、検証可能な計算を普遍的で信頼性のない商品に変える、zk証明のより効率的で分散化された市場です。

市場は買い手と売り手をマッチングさせる役割を果たしますが、zkプルーフ市場はzkプルーフの供給側と需要側をマッチングさせる市場として理解することができます。zkプルーフの供給側はプルーフの生成者であり、通常はGPUやその他のハードウェアデバイスを実行しているオペレーターです。検証ニーズを持つユーザー。

SuccinctLabsのプルーフマーケットプレイスにおける需要と供給のマッチングメカニズムは複雑ではありません。

Succinctは資金決済の仲介役として機能します。証明者は証明コンペティションの参加資格を得るためにチェーン上に担保を預け、Succinctプロトコルはまず証明サービスを要求する要求者の手数料をエスクローし、証明者は証明のオークションで競い、最終的なオークションの勝者はzk証明を要求者に提供し、対応する手数料収入を受け取ります。最終的なオークションの勝者はzk個の証明を要求者に渡し、対応する手数料収入を受け取る。これでアグリゲーション・プロセス全体のループが終了する。

技術アーキテクチャのより詳細な実装は、@SuccinctLabsの公式ドキュメントで見ることができます：

https://docs.succinct.xyz/docs/network/architecture/components

@boundless_xyz は少し前にホワイトペーパーをリリースしたばかりで、zk の概念実証マーケットプレイスとして機能しています。技術的な実装の詳細は、この記事の最後にあるBoundlessホワイトペーパーのリンクにあります。

行列に並ぶBエンドユーザー

高度に資本化され、一般的なインフラストラクチャタイプとしてプロトコルとして、@SuccinctLabsと@SuccinctLabsはどちらもそれぞれのコアなBサイドのユーザーベースを持っており、親Succinct派と親RISC（Boundless）派を形成しています。

親Succinct派:

たとえばCosmosは、IBC Eurekaとネイティブに統合してzkプルーフ生成サービスを提供し、IBCのクロスチェーンを可能にします。グローバルな異種チェーン・ネットワークにおけるIBCのクロスチェーン相互運用性を実現します。

プロRISC（バウンドレス）派:

プロRISC（バウンドレス）派:

例えば、ETH Repledge @eigenlayer、zk Cross-Chain Interoperability @union_build、Bitcoin zk-Rollup @citrea_xyzなどです。

まとめ

@boundless_xyz と @SuccinctLabs の中核となるポジショニングは非常に似ており、ビジネスの範囲も非常に重なっています。私見では、両者の競争は技術革新という点よりも、BエンドユーザーとCエンドユーザーの両方のコアユーザーという点にあると思います。

B面は互角、C面はSuccinctが明らかに有利な状況なので、Boundlessはその欠点を補うべく、C面ユーザーを取り込むために同様のポイント・招待キャンペーンを展開するのではないでしょうか。

最後に書く

zkの万能証明の氷山の下にある潜在的な市場がどれほど大きいか想像できないなら、@SuccinctLabsと@boundless_xyzの潜在的な天井がどれほど高いか想像できないだろう。潜在的な天井がどれほど高いか。

しかし、それはすべて証拠になるはずなので、もしあなたが今、zkの証明市場を認識しないことの価値を見いだせないのであれば、そのままお待ちください。

私たちはいずれ、このZK革命に巻き込まれると思います。