Succinctとは何ですか？

Succinctは、すべての開発者がゼロ知識証明（ZKプルーフ）技術を効率的に利用できるインフラを開発しています。現在、SuccinctはオープンソースのモジュラーzkVM SP1を立ち上げ、分散型プルーバーネットワークであるSuccinct Prover Networkを開発中です。将来的には、このネットワークはZKプルーフロールアップ、コプロセッサー、および他のインフラストラクチャを実行できるようになり、より高度な「ZKインフラストラクチャサービスのインフラ」として機能します。

ZKプルーフテクノロジーはなぜ重要ですか？

ZKプルーフは、証明プロセスを完了する際にプライバシーを効果的に保護することができます。たとえば、ある人物が、敏感な医療データを広めたり保持したりすることなく、企業に健康診断報告書の証拠を提供したいとします。ZKプルーフを生成することで、ユーザーは実際の医療データ報告書を提供する必要なく、自身の健康状態が企業の要件を満たしていることを証明できます。これにより、プライバシーリークのリスクを回避できます。

ブロックチェーンの大規模普及のためのロードマップでは、ZK証明がブロックチェーンの将来にとって重要な技術とされています。これにより、ブロックチェーンの開発者は、ブロックチェーンの状態遷移関数やコンセンサス証明など、任意の文を不可逆的に証明することができます。

また、ZKプルーフは許可なく、外部の資本やオペレーターに依存せず、セキュリティを確保することができ、任意の文を証明することができる。ZKプルーフは効率的でもあり、一方が生成するだけでよく、誰でも検証することができます。

チーム開発と資金調達の状況

Succinctは2022年に設立され、リーンなチーム規模でサンフランシスコにオフィスを持っています。創設者は以前、ZKブリッジ、相互運用性、共有注文に関する研究を執筆し、公開していました。チームはまた、モデルトレーニングプラットフォーム、データプラットフォーム、AIの分野での長年の経験を持っています。

Succinctの多くのクライアントは業界のトップチームです。現在、Wormhole、Lido、Near、Celestia（Blobstream X）、Avail（Vector bridge）、およびGnosis（native bridge）が、すでにSuccinctが開発したProver Networkの初期バージョンを使用しており、Succinctプロトコル標準を満たすZK-proof DAppsを作成しています。

2024年3月22日、Succinctは、Paradigmをリードとする4300万ドルのシリーズAラウンド資金調達を受けたことを発表しました。これまでのチームの総調達額（シードラウンドとシリーズAラウンドを含む）は5500万ドルで、Robot Ventures、Bankless Ventures、Geometry、ZK Validator、Eigenlayer創業者Sreeram Kannan、Polygon共同創設者Sandeep Nailwal、Polygon Zero共同創設者Daniel Lubarov、Bitwise共同創設者Elad Gilなどのエンジェル投資家が参加しています。

ソース：プロジェクトチームのTwitter

開発チームの背景

ウマ・ロイ

Uma RoyはSuccinctの共同創設者兼CEOです。10代の頃、彼女はアメリカ合衆国ジュニア数学オリンピアード(USAJMO)の予選に参加しました。USAJMOは、アメリカ合衆国の高校生を対象とした最も権威ある競技の1つとされています。USAJMOは通常、AMC 10指数に基づいて参加者を選択し、毎年予選ラウンドには230〜240人しか合格しません。

ウマはMITで学士号と修士号の両方を取得しました。そこで彼女は高校時代からの表現理論（抽象代数の一部門）と量子代数に興味を持ち続けました。2019年以降、彼女はデータプラットフォームとAIに焦点を移し、2021年8月にGoogle Brain AIでの1年間のレジデンシープログラムを開始しました。2021年には、Duolingoなどの有名なクライアントを持つGantry startupの最初のエンジニアとなり、彼らが機械学習モデル監視プラットフォームを開発するのを支援しました。

John Guibas

ジョン・ギバスはSuccinctの共同創設者で、Google Scholarによると2017年以来論文を発表しており、現在の引用回数は447回です。2017年、高校生のまま、ジョンは有名な投資家Nat FriedmanとDaniel Gross（以前はFigmaとStripeに投資していた）からAI助成金を受け取りました。当初、このプロジェクトは条件なしで有望なAI研究を支援する助成金を提供していましたが、後に初期段階のAIスタートアップを支援するアクセラレータに発展しました。当時、ジョンと他2人が取り組んでいたトピックは既にプライバシーに関連しており、GANsを使用して利用可能でプライバシーを保護するトレーニングデータを生成する方法について研究していました。

2019年、彼はコンピュータサイエンスを学ぶためにスタンフォード大学に入学し、大部分の大学生活をスタンフォードDAWN研究室とNVIDIA研究センターで過ごし、データベースシステムと機械学習に焦点を当てました。2022年、パラダイムフェローシップを受賞し、ジュニアイヤーの間にスタンフォード大学を中退しました。同年、イーサリアムエコシステムを支援する基金である0xPARC財団のレジデンシープログラムにも参加し、ZKプルーフ技術の研究を行いました。

2022年、彼はSuccinctのプロトタイプを開発するために教授や研究パートナーと協力を始めました。彼らは、zkSNARKsがMLモデルを検証するのに非常に適していることを見出し、zkSNARKsを利用したEthereumエコシステム上の信頼できる相互運用レイヤーを確立することにつながりました。主要な貢献者には、Daniel Kang、Tatsu Hashimoto、Yi Sun、およびMatei Zahariaが含まれていました。

2023年、Succinctの創設により、Johnは名誉あるティール・フェローシップを受賞しました。この奨学金は22歳未満の個人を対象とし、2年間自由に探究するための10万ドルが提供されます。著名な受賞者には、イーサリアムの創設者であるVitalik ButerinやBlur/Blastの創設者であるTieshun Roquerreが含まれます。

Succinctが解決する問題は何ですか？

問題1：ブロックチェーン空間で信頼は多くの課題に直面してきました

クロスチェーンブリッジのセキュリティ：クロスチェーンブリッジは一貫してハッカー攻撃の標的となってきました。このセキュリティの問題は未解決のままであり、異なるブロックチェーンネットワーク間での頻繁な侵害や資金の損失が発生しています。

マルチシグ詐欺証明: Blastのリリースにより、ユーザーが指摘したマルチシグ（複数の署名）の問題が明るみになりました。一般的に使用されている多くのLayer 2ソリューションに詐欺証明が欠如していることが明らかになりました。この発見により、ほとんどのLayer 2プラットフォームが、マルチシグの操作で詐欺行為を証明または否定するメカニズムを欠いていることが示されました。

中央集権的な検証ノード：2022年、バイナンスによって選択された委員会によって制御されていると非難されたBNBチェーンに関する申し立てが出てきました。ブロックを交代で生成するこの委員会は、数十億ドルを管理する21の検証ノードで構成されています。これらのノードはバイナンスによって制御されている11人のメンバーから選ばれ、中央集権化と操作の可能性について懸念が呈されています。

スケーラビリティ対信頼性：信頼性はしばしばスケーラビリティの追求で犠牲になります。現在のステーキングメカニズムは非効率で、ステーカーまたはノードオペレーターの募集は複雑で時間がかかります。これらの要因がスケーラビリティを阻害する高コストに寄与しています。

これらの問題に対応するために、Succinctは「プログラマブルトゥルース」というスローガンを掲げています。現在のブロックチェーンアーキテクチャは信頼に基づいて構築されており、人間の本質に直面するときには非常に壊れやすいものです。創設者であるウマは、「これらの構造は暗号化された真実に依存しており、信頼にではなく暗号化された真実によって保護されている」と述べています。ゼロ知識（ZK）証明の広範な採用は、より安全でスケーラブルで革新的な新世代のブロックチェーンアーキテクチャを実現する唯一の方法と見なされています。

問題2：ZKプルーフは重要ですが、あまりにも複雑です

現在、ZK証明の実装にはかなりのカスタマイズが必要です。Succinctは以前、多数のZKブリッジプロジェクトに取り組んでおり、各プロジェクトには複雑なカスタマイズが求められ、繰り返し展開する必要があることを認識しています。何よりも、誰もがZK回路（回路はゼロ知識証明の文脈での論理関数の表現です）を書くことを楽しんでいません。それには広範な数学的背景知識が必要です。

このプロセスにおいて、Succinctは、答えがzkVM（Zero-Knowledge Virtual Machine）にあることを認識し、SP1の開発に至りました。開発者はRustコードを本番環境に展開し、モニタリングし、証明をリクエストすることができ、APIの構成が格段に簡単になります。Succinctはまた、開発者がすべての証明を表示し、すべてを追跡することができる組み込みの証明ブラウザも提供しています。

問題3：現在のZKプルーフドメインは断片化されています

このポイントは未来を考慮しています。 ZKテクノロジーが急速に進化していると信じていますが、ZKプルーフのサプライチェーンは分断され、ZKテクノロジーの進化に追いつくことができません。

そのため、ZKプルーフに基づく現在のDAppsは、特定のニーズに合わせてデプロイする必要があり、しばしば一度きりの使用と中央集権的な証明者への過度の依存が生じ、開発速度が低下し、コストが増加することがよくあります。L2、共同プロセッサ、ブリッジなどのすべてのスタックに標準化されたデプロイメント設計を統合するには、より複雑なZKインフラが必要です。これが現在開発中のSuccinct Prover Networkが達成しようとしていることです。

Succinctの製品と運用メカニズム

オープンソースのzkVM、SP1

ソース：公式ブログ

2024年2月14日、SuccinctはTwitterでSP1のリリースを発表しました。SP1の開発は、AIの進化といくつかの類似点を共有しています。GPT-4の登場前は、AIの開発にはデータ収集、データクリーニング、モデルトレーニング、モデルの微調整など、関連する専門知識を必要とする一連の複雑なタスクが必要でした。しかし、GPT-4の登場により、誰もがOpenAI APIを呼び出すことでAIを利用することができるようになりました。

同様に、SP1、または高度なオープンソースのzkVMは、ゼロ知識証明（ZKP）世界のGPT-4に似ています。将来、すべてのzkRollups、zk Oracles、またはzkBridgesは、標準のRustまたはWASM言語で書かれたZKPコードをzkVMを介して証明することができ、入念な回路を構成する必要がなくなります。

以前は、ZKプロジェクトでは使用可能なパフォーマンスを得るために回路をカスタムで書く必要があると考えられていました。しかし、SP1は、一般目的のzkVMのパフォーマンスをカスタマイズされたZK回路に近づけ、創設者のウマが「地獄のような回路の問題をすべて置いてきた」という感情を反映しています。

SP1は、その完全なオープン性が最も重要な側面であり、開発者が再利用するための多数のパッケージやライブラリを提供しています。過去のzkVMは変更できないクローズドソースの制約ロジックを持っていましたが、SP1は、その一方で、開始時からカスタマイズ可能なモジュラーアーキテクチャを採用しています。このカスタマイズ可能性により、開発者は、コアzkVMロジックに「プリコンパイル」を追加することができ、性能を大幅に向上させることができます。

オープンソースである重要性は過小評価できません。 この分野の主要競合他社であるRISC Zeroはクローズドソースのコアロジックを持っており、コンパイルされたバージョンはオープンソースですが、外部チームによる変更はできません。 SuccinctがRISC Zeroを変更できないことが、チームを本当にオープンソースのzkVMを作成する動機となり、カスタマイズ可能でコミュニティが変更可能であり、ベンダーやプラットフォームのリスクがない製品を目指しています。

オープンソースに重点を置くもう一つの理由は、SP1自体がPolygon ZeroのPlonky3を使用して開発されたためです。たとえば、Succinctの制約ロジックは、Plonky3のAir Builderを使用して表現されています。Plonkyは、開発者が新しい証明システムやzkVMを構築するために使用できるモジュラーコンポーネントライブラリ/ツールキットであり、強力なオープンソースコミュニティを誇っています。Succinctは過去の多くのプロジェクトでPlonky2を利用しており、Plonky3は引き続き改良されているPlonky2のより高品質なバージョンです。Succinctはさらに、いくつかのPRをPlonky3の上流にマージし、Plonkyのオープンソースコミュニティに貢献しています。

分散型証明ネットワーク：簡潔な証明ネットワーク

Succinct Prover Networkは現在開発中です。ホストされたインフラストラクチャレイヤーネットワークで、分散型アプリケーション（DApps）がプルーフマーケットプレイスにそのプルーフ生成プロセスを外部委託できるようにします。SP1または他のzkVMを利用することにより、開発者はZKプルーフを利用するDAppsを簡単にネットワーク上に展開できます。さらに、このネットワークはオープンプルーフマーケットプレイスとして機能します：開発者はネットワークにプルーフリクエストを提出するだけで、オークションメカニズムがこれらのリクエストを最新ハードウェアで動作するプルーバとマッチングし、プルーバはこのオープンネットワーク内でコスト効果的で信頼性の高いプルーフを生成することで手数料を稼ぐことができます。

サプライチェーンの未来の証明

プルーフが生成されると、プルーフのサプライチェーンと呼ばれるさまざまな参加者とステップが関与します。証明の生成は次のように動作します:開発者は証明を要求し、回路であろうとzkVMであろうと、特定の証明システムを使用してロジックを表現します。その後、証明が生成され、DAppのチェーンに到達する前にaggreGate.iodになる可能性があります。2023 年 11 月、Succinct は Succinct Prover Network の最初の「フロントエンド」である alpha.succinct.xyz を立ち上げました。DAppsは、それを介してデプロイできるようになりました。これはプルーフサプライチェーンの簡易版であり、現在、Sucinctプラットフォーム自体が完全なプルーフサプライチェーンとして機能しています。しかし、これは主に2つの理由により、持続可能な状態ではありません:価格設定の難しさ、プルーフサプライチェーンの複雑さが増すにつれて、価格設定の難しさも増します。また、ハードウェアは価格設定に複雑さをもたらす可能性があり、さまざまなハードウェアサプライヤーが発生する可能性があるため、DAppが20の異なるハードウェアサプライヤーと交渉して最適な価格や容量を見つけたいと思うかどうかという疑問が生じます。

Succinctが目指すことは、プルーフサプライチェーン内のすべての人がお互いに調整できるスペースを提供し、オープンなプルーフネットワークマーケットを、プルーフサプライチェーン全体の重要な構成要素にすることです。将来のプルーフサプライチェコシステムでは、すべてのDAppsやインフラストラクチャがSuccinct Prover Network内で最新のZKプルーフシステムとカスタマイズされたハードウェア技術をシームレスに継承するため、この分散型プルーフネットワークマーケットは規模の経済を実現します。これにより開発者は効率的かつ低コストでZKプルーフにアクセスできるようになります（競争力のある自由市場メカニズムにより、DAppsは可能な限り低コストで入手できます）。将来的には、分散型プルーフはさまざまなハードウェアで生成できるため、プルーフコストを10〜100倍削減し、結果としてZKプルーフをすべてのインフラストラクチャに適用可能にします。

競争分析

多くのオープンソースプロジェクトはSP1と類似した目標を共有しています:

• アンドリーセンのチーム、ジャスティン・セイラー、サム・ラグスデールを含む、ラッソとジョルトの研究を行ってきました。Succinctは、これらの技術の開発が将来的にSP1の一部になる可能性があると考えており、その逆もまた然りです。
• 折りたたみ方法に基づいたプロジェクト
• ZK-Stark-FRIメソッドに類似した他のプロジェクト

チームは、可能であれば、将来の簡潔証明者ネットワークは、完全なモジュラリティと柔軟性を目指して、SP1だけでなく、Lasso、Jolt、またはオープンソースのRISC Zeroもサポートすると述べています。このアプローチだけが、ZKテクノロジーの迅速な開発を最も持続可能な方法で確実にします。

多くのオープンソースプロジェクトは、SP1と同様の目標を共有しています。アンドリーセンのチームには、Justin ThalerやSam Ragsdaleを含む人々がLassoやJoltを研究してきました。Succinctは、これらの技術の開発が将来的にはSP1の一部になるかもしれないと考えています。その逆もまた然りです。

チームは、可能であれば、将来のSuccinct Prover NetworkはSP1だけでなく、Lasso、Jolt、またはオープンソースのRISC Zeroもサポートすることを示しており、完全なモジュラリティと柔軟性を目指しています。このアプローチだけが、最も持続可能な方法でZKテクノロジーの急速な開発を保証できます。

結論

セキュリティ

現在、Succinctのロードマップは単なるインフラストラクチャであり、セキュリティについての責任を負っていません。基本的に、これは回路バイナリとAPIを保存するための方法であり、これらを使用して証明をリクエストしたり、大規模な分散型証明を行ったりすることができます。回路自体は監査される必要があり、これらの回路を書く開発者は、証明される内容の整合性を保証しなければなりません。プラットフォームではなく。回路を書くことと監査の難しさは、ZK（ゼロ知識）証明の主流採用にまだ障害を引き起こす可能性があります。

ノードの高いバリア

Succinct Prover Networkで実行されている実際のノードソフトウェアは、証明者にとって非常に高い閾値があるため、非常に限られている可能性があります。

• 一定の価格で証明を生成することを提供して、証明オークションに参加する
• 回路バイナリおよびアーティファクトをダウンロードできる
• 実際に実行して証明を生成できるようになります

したがって、将来、Succinctは、プローバーの参加を促進するためにどのようなネットワークインセンティブや活動を考慮する必要があるかを検討するかもしれません。