ブロックチェーンのGPU:ZKコプロセッサの総合分析

ZKコプロセッサは、モジュールの概念から派生したオフチェーンコンピューティングプラグインと見なすことができます。その機能は、従来のコンピューターのGPUと同様であり、CPUのグラフィックスコンピューティングタスクを共有するものです。つまり、特定のシナリオで計算タスクを共有するプロセッサです。この設計アーキテクチャの下では、パブリックチェーンが得意でない重いデータや複雑な計算ロジックタスクをZKコプロセッサを介して計算することができます。チェーンは返された計算結果を受け取るだけであり、その正確性はZKプルーフによって保証され、最終的には信頼できるオフチェーン計算を可能にします。

tldr

  • zkコプロセッサは、モジュラーコンセプトから派生したオフチェーンコンピューティングプラグインとして、伝統的なコンピュータのGPUがCPUからグラフィックスコンピューティングタスクをオフロードするのと同様に、特定の計算タスクを処理します。
  • それらは複雑な計算と重いデータを処理するために使用され、ガス手数料を削減し、スマートコントラクトの機能を拡張するために使用されることがあります。
  • ロールアップとは異なり、zkコプロセッサはステートレスであり、チェーンを横断して使用することができ、複雑な計算シナリオに適しています。
  • zkコプロセッサの開発は、高いパフォーマンスコストと標準化の不足により困難です。ハードウェアのコストもかなりのものです。1年前と比べてこの分野は大きく成熟しましたが、まだ初期段階にあります。
  • モジュラー時代がフラクタルスケーリングに進むにつれて、ブロックチェーンは流動性不足、分散ユーザー、イノベーションの不足、およびクロスチェーンの相互運用性の問題などの課題に直面しており、垂直スケールのL1チェーンと相反する状況を作り出しています。zkコプロセッサはこれらの課題を克服する手段を提供し、既存および新興アプリケーションのサポートを提供し、ブロックチェーン空間に新しい物語をもたらすかもしれません。

もう1つのモジュラーインフラストラクチャの分野:zkコプロセッサ

1.1 zkコプロセッサーの概要

zkコプロセッサは、モジュラーコンセプトに基づくオフチェーンのコンピューティングプラグインと考えることができます。これは、伝統的なコンピュータでGPUがCPUからグラフィカルコンピューティングタスクをオフロードするのと同様で、特定の計算タスクを処理します。この設計フレームワークでは、「重いデータ」と「複雑な計算ロジック」といったパブリックチェーンが得意ではないタスクは、zkコプロセッサによって計算され、チェーンは計算結果のみを受け取ります。その正確性はzkプルーフによって保証され、最終的には複雑なタスクのための信頼できるオフチェーン計算を実現します。

現在、人気のあるアプリケーションであるai、socialfi、dex、およびgamefiなどは、高性能とコスト管理の切迫したニーズがあります。従来のソリューションでは、高性能を必要とするこれらの「重いアプリケーション」は、資産オンチェーン+オフチェーンアプリケーションモデルまたは独自のアプリケーションチェーンを設計することがよくあります。ただし、どちらのアプローチにも固有の問題があります。前者は「ブラックボックス」を持っており、後者は開発コストが高く、元のチェーンエコシステムからの切り離しや流動性の断片化に直面しています。さらに、メインチェーンの仮想マシンは、そのようなアプリケーションの開発と運用に対して重大な制約を課しています(たとえば、アプリケーションレイヤーの標準の欠如、複雑な開発言語など)。

zkコプロセッサはこれらの問題を解決することを目指しています。より詳しい例を挙げると、ブロックチェーンをインターネットに接続できない端末(電話やコンピュータなど)と考えることができます。このシナリオでは、Uniswapやその他のDeFiアプリケーションのような比較的単純なアプリケーションを完全にオンチェーンで実行できます。しかし、ChatGPTのようなより複雑なアプリケーションが現れると、パブリックチェーンのパフォーマンスとストレージは完全に不十分となり、ガスの爆発が発生します。Web2のシナリオでは、ChatGPTを実行するとき、通常の端末自体はGPT-40の大規模言語モデルを処理できません。そのため、質問を中継するためにOpenAIのサーバに接続し、サーバが計算して結果を推論した後に直接回答を受け取る必要があります。zkコプロセッサは、ブロックチェーンのリモートサーバのような存在です。異なるコプロセッサプロジェクトはプロジェクトの種類に応じてわずかな設計の違いがあるかもしれませんが、基本的なロジックは広く似ています — オフチェーンの計算 + zkプルーフまたは検証のためのストレージプルーフ。

rise zeroの盆栽展開を例に取ると、このアーキテクチャは非常に明快です。プロジェクトは、rise zero独自のzkvmにシームレスに統合されており、開発者はbonsaiをコプロセッサとして使用するために2つの簡単なステップのみが必要です。

  • zkvmアプリケーションを書いて、アプリケーションロジックを処理する。
  • あなたのzkvmアプリケーションを実行し、結果を処理するためにbonsaiを要求するsolidityコントラクトを書いてください。

1.2ロールアップからの違い

上記の定義からは、Rollupsとzkコプロセッサーは、実装ロジックと目標が非常に重なっているように思われるかもしれません。ただし、Rollupsはメインチェーンのマルチコア拡張のようなものであり、2つの間の具体的な違いは次のとおりです:

1.主な目的:

  • ロールアップ:ブロックチェーンのトランザクションのスループットを向上させ、トランザクション手数料を削減します。
  • zk共同処理: より複雑なロジックとより大きなデータボリュームを処理するために、スマートコントラクトの計算能力を拡張します。

2.動作原理:

  • ロールアップ:オンチェーン取引を集約し、詐欺証明またはzk証明とともにメインチェーンに提出します。
  • ZKコプロセッサー:ZKロールアップと似ていますが、さまざまなアプリケーションシナリオ向けに設計されています。ZK ロールアップは、チェーン固有の制約とルールのため、コプロセッサー・タスクには適していません。

3.ステート管理:

  • ロールアップ:状態を維持し、定期的にメインチェーンと同期します。
  • zkコプロセッサ:ステートレス、各計算はステートレスです。

4.アプリケーションシナリオ:

  • ロールアップ:主にエンドユーザー向けで、高頻度取引に適しています。
  • zkコプロセッサ: 主にビジネスに役立ち、高度な金融モデルやビッグデータ分析など、複雑な計算が必要なシナリオに適しています。

5.メインチェーンとの関係:

  • ロールアップ: 通常、特定のブロックチェーンネットワークに焦点を当て、メインチェーンの拡張と見なされます。
  • zkコプロセッサー:特定のメインチェーンに限定されず、複数のブロックチェーンにサービスを提供し、またロールアップにもサービスを提供できます。

したがって、これら2つは相互に排他的ではなく、補完的です。アプリケーションチェーンとして存在する場合でも、zkコプロセッサはまだサービスを提供することができます。

1.3ユースケース

理論的には、ZKコプロセッサの適用範囲は広範で、さまざまなブロックチェーンセクターのプロジェクトをカバーしています。ZKコプロセッサは、DAppsが中央集権的なWeb2アプリに近い機能を持つことを可能にします。 ここでは、オンラインソースから収集したユースケースの例をいくつか紹介します。

データ駆動のDApp開発:

zkコプロセッサーを使用すると、追加の信頼の前提条件なしに、複雑な計算に完全なオンチェーンの履歴データを利用したデータ駆動型のDAppを開発することができます。これにより、DApp開発において前例のない可能性が開かれます。たとえば:

  • 高度なデータ分析:Dune Analyticsと似たオンチェーンデータ分析機能
  • 複雑なビジネスロジック:従来の中央集権型アプリケーションに見られる複雑なアルゴリズムとビジネスロジックの実装。
  • クロスチェーンアプリケーション:マルチチェーンデータに基づいてクロスチェーンDappsを構築する。

デックス向けのVIPトレーダープログラム:

典型的なアプリケーションシナリオは、取引量に基づいた手数料割引プログラムを実装することであり、これは「vipトレーダーロイヤルティープログラム」として知られています。このようなプログラムは、cexsでは一般的ですが、dexsでは珍しいです。

zkコプロセッサを使用することで、DEXは次のことができます:

  • ユーザーの過去の取引数量を追跡します。
  • ユーザーのVIPレベルを計算します。
  • vipレベルに基づいて取引手数料を動的に調整します。この機能は、DEXがユーザーの維持、流動性の増加、そして最終的に収益の向上に役立ちます。

スマートコントラクトのデータ拡張:

zkコプロセッサは強力なミドルウェアとして機能し、スマートコントラクトのデータキャプチャ、計算、検証サービスを提供することで、コストを削減し効率を向上させることができます。これにより、スマートコントラクトは次のような機能を持つようになります:

  • 大量の歴史的データにアクセスして処理する。
  • 複雑なオフチェーン演算を実行します。
  • より高度なビジネスロジックを実装します。

クロスチェーンブリッジ技術:

HerodotusやLagrangeなどのいくつかのzkベースのクロスチェーンブリッジ技術は、zkコプロセッサのアプリケーションとも見なされます。これらの技術は主にデータの抽出と検証に焦点を当てており、クロスチェーン通信の信頼性のあるデータ基盤を提供します。

1.4 zkコプロセッサーは完璧ではありません

多くの利点があるにもかかわらず、現在の段階でのzk共同処理装置は完璧とは言えず、いくつかの問題に直面しています。以下に要点をまとめました:

  1. 開発: zkの概念は多くの開発者にとって理解しにくいものです。開発には関連する暗号化の知識と特定の開発言語とツールの熟練が必要です。
  2. ハードウェアの高いコスト:オフチェーン計算に使用されるzkハードウェアは、プロジェクト自体が完全に負担する必要があります。zkハードウェアは高価で急速に進化しており、いつでも陳腐化する可能性があります。これが閉じた商業ループを形成できるかどうかは、考慮する価値がある問題です。
  3. 競合が激しい分野:技術的には、実装に大きな違いはなく、最終的な結果は、一部の優れたプロジェクトが目立ち、その他はほとんど注目されない現在のレイヤー2の景観に似る可能性があります。
  4. zkサーキット:zkコプロセッサでのオフチェーン計算の実行には、従来のコンピュータプログラムをzkサーキットに変換する必要があります。各アプリケーションごとにカスタムサーキットを作成するのは手間がかかりますし、回路を書くためにzkvmsを仮想マシンで使用すると、異なる計算モデルによる計算オーバーヘッドが大きくなります。

ii. 大量採用のための重要な要素

(このセクションは非常に主観的であり、著者個人の見解を表しています。)

このサイクルは主にモジュラーインフラストラクチャによってリードされています。もしモジュラ化が正しい道であるなら、このサイクルは大量採用への最終段階かもしれません。しかし、現在の段階では、私たちは皆共通の感情を共有しています:なぜ古いアプリケーションが再パッケージされたものしか見ないのか、なぜアプリケーションよりもチェーンの方が多いのか、そしてなぜ新しいトークン標準である「inscriptions」がこのサイクルの最大の革新として称賛されているのか?

斬新な物語が欠如している根本的な理由は、現在のモジュラーインフラがスーパーアプリケーションをサポートするには不十分であり、特にいくつかの前提条件(クロスチェーンの相互運用性、ユーザーの障壁など)が欠けており、ブロックチェーン史上最も重大な断片化につながっていることです。モジュラー時代の中核であるロールアップは、確かに物事をスピードアップしましたが、流動性の断片化、ユーザーの分散、チェーンや仮想マシン自体がアプリケーションのイノベーションに課す制限など、多くの問題ももたらしました。さらに、モジュール化のもう1つの「キープレーヤー」であるCelestiaは、DAが必ずしもイーサリアム上にあるとは限らない道を開拓し、断片化をさらに悪化させています。イデオロギーやDAコストのいずれによっても、その結果、BTCはDAになることを余儀なくされ、他のパブリックチェーンはより費用対効果の高いDAソリューションの提供を目指しています。現在の状況では、各パブリックチェーンには、数十とは言わないまでも、少なくとも1つのレイヤー2プロジェクトがあります。これに加えて、すべてのインフラストラクチャおよびエコシステムプロジェクトは、BLURが開拓したトークンステーキング戦略を深く学び、ユーザーにプロジェクト内でトークンをステーキングすることを要求しています。このモードは、3つの方法(利息、ETHまたはBTCの上昇、無料トークン)でクジラに利益をもたらし、オンチェーンの流動性をさらに圧縮します。

過去の牛相場では、資金はわずか数から数十の公共チェーン内を流れるだけであり、主にイーサリアムに集中していました。今では、資金は数百の公共チェーンに分散し、数千の類似プロジェクトにステークされており、オンチェーンの活動が減少しています。イーサリアムさえもオンチェーンの活動が不足しています。その結果、東洋のプレイヤーはBTCエコシステムでPVPに従事し、西洋のプレイヤーはソラナで必然的にPVPに従事しています。

したがって、私の現在の焦点は、すべてのチェーンの集約された流動性をどのように促進し、新しいプレイスタイルやスーパーアプリケーションの登場を支援するかです。クロスチェーンの相互運用性セクターでは、従来の主要プロジェクトは一貫して低成績であり、従来のクロスチェーンブリッジに似ています。前のレポートで議論した新しい相互運用ソリューションは、主に複数のチェーンを単一のチェーンに集約することを目的としています。例としては、agglayer、superchain、elastic chain、jamなどがありますが、ここでは詳細には触れません。要するに、クロスチェーンの集約はモジュラーインフラストラクチャーにおける必要なハードルですが、克服するには長い時間がかかります。

ZKコプロセッサは、現在のフェーズにおいて重要な部品です。レイヤー 2 を強化し、レイヤー 1 を補完することができます。クロスチェーンやトリレンマの問題を一時的に克服し、特定のレイヤー1やレイヤー2で現在のアプリケーションを広範な流動性で実現する方法はあるのでしょうか?結局のところ、ブロックチェーンアプリケーションには新鮮な物語が欠けています。さらに、多様なプレイスタイル、ガス制御、大規模アプリケーション、クロスチェーン機能、および統合されたコプロセッサソリューションによるユーザーの障壁の低減を可能にすることは、中央集権化に頼るよりも理想的かもしれません。

iii. プロジェクト概要

zkコプロセッサフィールドは、2023年頃に現れ、現在は比較的成熟しています。Messariの分類によると、このフィールドは現在、3つの主要な垂直ドメイン(汎用コンピューティング、相互運用性とクロスチェーン、AIとマシントレーニング)に18のプロジェクトを含んでいます。これらのプロジェクトの多くは、主要なベンチャーキャピタルに支援されています。以下、異なる垂直ドメインからいくつかのプロジェクトを説明します。

3.1 giza

Gizaは、StarkWareで公式にサポートされているStarkNetで展開されているZKML(ゼロ知識機械学習)プロトコルです。これは、AIモデルをブロックチェーンのスマートコントラクトで検証可能な形で使用できるようにすることに重点を置いています。開発者はAIモデルをGIZAネットワーク上に展開し、ゼロ知識証明によってモデル推論の正しさを検証し、その結果をトラストレスな方法でスマートコントラクトに提供することができます。これにより、開発者はブロックチェーンの分散化と検証可能性を維持しながら、AI機能を組み合わせたオンチェーンアプリケーションを構築できます。

gizaは、以下の3つのステップを経てワークフローを完了します:

  • モデル変換:gizaは一般的に使用されるonnx形式のAIモデルをゼロ知識証明システムで実行できる形式に変換します。これにより、開発者は馴染みのあるツールを使用してモデルをトレーニングし、それをgizaネットワークに展開することができます。
  • オフチェーン推論:スマートコントラクトがAIモデル推論を要求すると、ギザは実際の計算をオフチェーンで実行します。これにより、複雑なAIモデルを直接ブロックチェーン上で実行することの高コストを回避します。
  • ゼロ知識検証:gizaは各モデル推論のためにzk証明を生成し、計算が正しく実行されたことを証明します。これらの証明はオンチェーンで検証され、オンチェーンでの計算プロセス全体を繰り返すことなく推論結果の正確性を保証します。

gizaのアプローチにより、中央集権的なオラクルや信頼できる実行環境に頼らずに、AIモデルがスマートコントラクトの信頼できる入力ソースとして機能することが可能になります。これにより、AIベースの資産管理、詐欺検知、動的価格設定など、ブロックチェーンアプリケーションに新たな可能性が開かれます。現在のWeb3 x AI領域において、論理的なクローズドループとAI分野でのコプロセッサの巧妙な利用を持つ数少ないプロジェクトの1つです。

3.2 risc zero

RISC Zeroは、複数のトップVCがサポートする主要なコプロセッサプロジェクトです。これは、ブロックチェーンスマートコントラクトで検証可能な計算を実行できるようにすることに重点を置いています。開発者はRustでプログラムを書き、RISC Zeroネットワークにデプロイすることができます。その後、RISC Zeroはゼロ知識証明によってプログラム実行の正しさを検証し、その結果をトラストレスな方法でスマートコントラクトに提供します。これにより、開発者はブロックチェーンの分散化と検証可能性を維持しながら、複雑なオンチェーンアプリケーションを構築できます。

前述の展開とワークフローについて簡単に説明しましたが、ここでは2つの主要なコンポーネントの詳細を説明します:

  • Bonsai: Bonsai は RISC ゼロ内のコプロセッサ コンポーネントであり、RISC-V 命令セット アーキテクチャの ZKVM にシームレスに統合されています。これにより、開発者は高性能なゼロ知識証明をイーサリアム、L1ブロックチェーン、Cosmosアプリケーションチェーン、L2ロールアップ、DAppsに数日で迅速に統合できます。スマートコントラクトの直接呼び出し、検証可能なオフチェーン計算、クロスチェーンの相互運用性、一般的なロールアップ機能を提供しながら、分散型ファーストの分散アーキテクチャを採用しています。再帰的証明、カスタム回路コンパイラ、状態継続、および継続的に改善される証明アルゴリズムを組み合わせることで、さまざまなアプリケーション向けに高性能なゼロ知識証明を誰でも生成できます。
  • ZKVM:ZKVMは、実際の組み込みRISC-Vマイクロプロセッサと同様に動作する検証可能なコンピュータです。RISC-V命令セットアーキテクチャに基づいて、開発者はRust、C ++、Solidity、Goなどの高水準プログラミング言語でプログラムを作成し、ゼロ知識証明を生成できます。一般的なRust Crateの70%以上をサポートし、一般的なコンピューティングとゼロ知識証明をシームレスに組み合わせ、計算プロセスのプライバシーと結果の検証可能性を維持しながら、あらゆる複雑な計算に対して効率的なゼロ知識証明を生成できます。ZKVMは、StarkやSnarkなどのZK技術を利用し、Recursion ProverやStark-to-Snark Proverなどのコンポーネントを通じて効率的な証明の生成と検証を実現し、オフチェーンの実行とオンチェーン検証をサポートします。

RISC Zero は、複数の ETH Layer2 ソリューションと統合し、Bonsai のさまざまなユース ケースを実証しました。興味深い例の1つは、Bonsai Payです。このデモでは、RISC ZeroのZKVMとBonsai Proofサービスを使用しており、ユーザーはGoogleアカウントを使用してイーサリアムでETHとトークンを送受信できます。RISC ZeroがオンチェーンアプリケーションをOAuth2.0(Googleなどの主要なIDプロバイダーが使用する標準)とシームレスに統合する方法を紹介し、従来のWeb2アプリケーションを通じてWeb3ユーザーの障壁を下げるユースケースを提供します。その他の例としては、DAOに基づくアプリケーションがあります。

3.3 = nil;

=nil;は、mina、polychain、starkware、blockchain capitalなどの有名なエンティティによって支援される投資プロジェクトです。特に、zkテクノロジーの先駆者であるminaとstarkwareが支援者の中にいることから、プロジェクトへの高い技術的評価が示されています。=nil;は、私たちが「コンピューティングパワーマーケット」というレポートで言及され、主に分散型のプルーフ生成マーケットに焦点を当てています。さらに、=nil;にはzkllvmという別のサブプロダクトもあります。

zkllvm、=nilによって開発されました。Foundationは、C++やRustなどの主流のプログラミング言語で記述されたアプリケーションコードを、特殊なゼロ知識ドメイン固有言語(DSL)を必要とせずに、イーサリアム用の効率的で証明可能な回路に自動的に変換する革新的な回路コンパイラです。これにより、開発プロセスが大幅に簡素化され、参入障壁が低くなり、ZKVMを回避することでパフォーマンスが向上します。プルーフ生成を高速化するハードウェアアクセラレーションをサポートしているため、ロールアップ、クロスチェーンブリッジ、オラクル、機械学習、ゲームなど、さまざまなZKアプリケーションシナリオに適しています。これは =nil と密接に統合されています。Foundationのプルーフ・マーケットは、回路の作成からプルーフの生成まで、開発者にエンドツーエンドのサポートを提供します。

3.4 brevis

brevisは、celer networkのサブプロジェクトであり、ブロックチェーン向けのスマートゼロ知識(zk)コプロセッサーであり、Dappsが完全信頼のおける方法で複数のブロックチェーン上で任意のデータにアクセスし、計算し、利用することを可能にします。他のコプロセッサーと同様に、brevisには、データ駆動型DeFi、zkブリッジ、オンチェーンユーザー獲得、zkdid、ソーシャルアカウント抽象化など、さまざまなユースケースがあります。

brevisアーキテクチャは、3つの主要なコンポーネントで構成されています:

  • zkfabric:zkfabricはBrevisアーキテクチャのリレーコンポーネントです。その主なタスクは、すべての接続されたブロックチェーンからブロックヘッダー情報を収集し同期させ、zkライトクライアント回路を介して収集された各ブロックヘッダーに対してコンセンサス証明を生成することです。
  • zkquerynet: zkquerynetは、オンチェーンのスマートコントラクトから直接データクエリを受け入れ、zkクエリエンジン回路を介してクエリ結果と対応するzkクエリ証明を生成するオープンなzkクエリエンジンマーケットプレイスです。これらのエンジンは、高度に特化したもの(例:特定の期間内のDEXの取引量の計算)から、高度なクエリ言語や多様なアプリケーションニーズを満たす高度なデータインデックス抽象化まで幅広くあります。
  • zkaggregatorrollup: それはzkfabricおよびzkquerynetの集約およびストレージレイヤーとして機能します。これら2つのコンポーネントの証明を検証し、証明されたデータを保存し、それらのzk証明の状態ルートをすべての接続されたブロックチェーンに送信することで、dappsがオンチェーンのスマートコントラクトビジネスロジックで証明されたクエリ結果に直接アクセスできるようにします。

このモジュラーアーキテクチャを使用すると、brevisはすべてのサポートされたパブリックブロックチェーンスマートコントラクトに対して、信頼できる、効率的で柔軟なアクセス方法を提供できます。 uniのv4バージョンもこのプロジェクトを採用し、フック(さまざまなユーザー定義ロジックを統合するシステム)と統合して、歴史的なブロックチェーンデータの読み取りを容易にし、ガス手数料を削減しながら分散化を確保します。これは、dexを促進するzkコプロセッサの例です。

3.5 lagrange

ラグランジュは、1kxとファウンダーズ・ファンドに率いられた相互運用性zkコプロセッサープロトコルであり、主に信頼性のあるクロスチェーン相互運用性の提供や大規模データ複雑な計算を必要とするアプリケーションのサポートを目的としています。従来のノードブリッジとは異なり、ラグランジュのクロスチェーン相互運用性は、革新的なzkビッグデータおよびステート委員会メカニズムによって主に実現されています。

  • zkビッグデータ:これはラグランジュのコア製品であり、クロスチェーンデータの処理と検証、関連するzk証明の生成を担当しています。このコンポーネントには、複雑なオフチェーン計算を実行し、ゼロ知識証明を生成するための高度に並列化されたzkコプロセッサ、無制限のストレージスロットとスマートコントラクトからの直接SQLクエリをサポートする特別に設計された検証可能なデータベース、証明時間を短縮するために変更されたデータポイントのみを更新する動的な更新メカニズム、および複雑な回路を記述せずにスマートコントラクトから直接SQLクエリを使用して歴史データにアクセスするための統合機能が含まれています。これらが一緒になって、大規模なブロックチェーンデータ処理と検証システムを形成しています。
  • 州委員会:このコンポーネントは、複数の独立したノードで構成される分散型検証ネットワークであり、それぞれがETHを担保としてステーキングしています。これらのノードは ZK Light クライアントとして機能し、特定の最適化されたロールアップの状態を具体的に検証します。州委員会はEigenlayerのAVSと統合し、再ステーキングメカニズムを活用してセキュリティを強化し、無制限の数の参加ノードをサポートして超線形のセキュリティ成長を実現します。また、「高速モード」も提供しており、ユーザーはチャレンジウィンドウを待たずにクロスチェーン操作を実行できるため、ユーザーエクスペリエンスが大幅に向上します。これら2つの技術の組み合わせにより、ラグランジュは大規模なデータを効率的に処理し、複雑な計算を実行し、異なるブロックチェーン間で結果を安全に送信して検証することができ、複雑なクロスチェーンアプリケーションの開発をサポートします。

ラグランジュはすでにイーゲンレイヤー、マントル、ベース、フラックス、ポリマー、レイヤーゼロ、オムニ、オルトレイヤーなどと統合されており、イーサリアムエコシステム内で最初のzk avsになる予定です。

ybbについて

YBBは、すべてのインターネット居住者にとってより良いオンライン環境を作るというビジョンを持って、Web3を定義するプロジェクトを特定することに専念するWeb3ファンドです。2013年からこの業界に積極的に参加しているブロックチェーン信者のグループによって設立されたYBBは、暗号とブロックチェーンアプリケーションの可能性を認識しながら、イノベーション、自己主導の情熱、ユーザー指向の製品を大切にしています。

ウェブサイト | Twi: @ybbcapital

参照:

1.abcde:zkコプロセッサーとその将来についての詳細な調査:https://medium.com/ABCDE.com/ja-abcde-zk-コプロセッサーとその将来についての深い洞察-1d1b3f33f946

2.“zk”はすべてです:https://medium.com/gate_ventures/zk-is-all-you-need-238886062c52

3.リスクゼロ:https://www.risczero.com/bonsai

4.ラグランジュ:https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis

5.AxiomBlog:https://blog.axiom.xyz/

6.窒素アクセラレーション!zkコプロセッサがスマートコントラクトデータの障壁を破る方法:https://foresightnews.pro/article/detail/48239

免責事項:

  1. この記事は[中程度原題は「The GPU of Blockchain: Comprehensive Analysis of ZK Coprocessors」で、すべての著作権は原作者[YBB Capital Researcher Zeke]に帰属します。この転載に異議がある場合は、Gate learnチームにお任せください。迅速に対応いたします。

  2. 免責事項:この記事で表明された見解や意見は、著者のものであり、投資アドバイスを構成するものではありません。

  3. 記事の翻訳はGateの学習チームによって行われます。特に明示されていない限り、翻訳された記事の複製、配布、または盗作は禁止されています。

ブロックチェーンのGPU:ZKコプロセッサの総合分析

上級7/24/2024, 11:15:15 AM
ZKコプロセッサは、モジュールの概念から派生したオフチェーンコンピューティングプラグインと見なすことができます。その機能は、従来のコンピューターのGPUと同様であり、CPUのグラフィックスコンピューティングタスクを共有するものです。つまり、特定のシナリオで計算タスクを共有するプロセッサです。この設計アーキテクチャの下では、パブリックチェーンが得意でない重いデータや複雑な計算ロジックタスクをZKコプロセッサを介して計算することができます。チェーンは返された計算結果を受け取るだけであり、その正確性はZKプルーフによって保証され、最終的には信頼できるオフチェーン計算を可能にします。

tldr

  • zkコプロセッサは、モジュラーコンセプトから派生したオフチェーンコンピューティングプラグインとして、伝統的なコンピュータのGPUがCPUからグラフィックスコンピューティングタスクをオフロードするのと同様に、特定の計算タスクを処理します。
  • それらは複雑な計算と重いデータを処理するために使用され、ガス手数料を削減し、スマートコントラクトの機能を拡張するために使用されることがあります。
  • ロールアップとは異なり、zkコプロセッサはステートレスであり、チェーンを横断して使用することができ、複雑な計算シナリオに適しています。
  • zkコプロセッサの開発は、高いパフォーマンスコストと標準化の不足により困難です。ハードウェアのコストもかなりのものです。1年前と比べてこの分野は大きく成熟しましたが、まだ初期段階にあります。
  • モジュラー時代がフラクタルスケーリングに進むにつれて、ブロックチェーンは流動性不足、分散ユーザー、イノベーションの不足、およびクロスチェーンの相互運用性の問題などの課題に直面しており、垂直スケールのL1チェーンと相反する状況を作り出しています。zkコプロセッサはこれらの課題を克服する手段を提供し、既存および新興アプリケーションのサポートを提供し、ブロックチェーン空間に新しい物語をもたらすかもしれません。

もう1つのモジュラーインフラストラクチャの分野:zkコプロセッサ

1.1 zkコプロセッサーの概要

zkコプロセッサは、モジュラーコンセプトに基づくオフチェーンのコンピューティングプラグインと考えることができます。これは、伝統的なコンピュータでGPUがCPUからグラフィカルコンピューティングタスクをオフロードするのと同様で、特定の計算タスクを処理します。この設計フレームワークでは、「重いデータ」と「複雑な計算ロジック」といったパブリックチェーンが得意ではないタスクは、zkコプロセッサによって計算され、チェーンは計算結果のみを受け取ります。その正確性はzkプルーフによって保証され、最終的には複雑なタスクのための信頼できるオフチェーン計算を実現します。

現在、人気のあるアプリケーションであるai、socialfi、dex、およびgamefiなどは、高性能とコスト管理の切迫したニーズがあります。従来のソリューションでは、高性能を必要とするこれらの「重いアプリケーション」は、資産オンチェーン+オフチェーンアプリケーションモデルまたは独自のアプリケーションチェーンを設計することがよくあります。ただし、どちらのアプローチにも固有の問題があります。前者は「ブラックボックス」を持っており、後者は開発コストが高く、元のチェーンエコシステムからの切り離しや流動性の断片化に直面しています。さらに、メインチェーンの仮想マシンは、そのようなアプリケーションの開発と運用に対して重大な制約を課しています(たとえば、アプリケーションレイヤーの標準の欠如、複雑な開発言語など)。

zkコプロセッサはこれらの問題を解決することを目指しています。より詳しい例を挙げると、ブロックチェーンをインターネットに接続できない端末(電話やコンピュータなど)と考えることができます。このシナリオでは、Uniswapやその他のDeFiアプリケーションのような比較的単純なアプリケーションを完全にオンチェーンで実行できます。しかし、ChatGPTのようなより複雑なアプリケーションが現れると、パブリックチェーンのパフォーマンスとストレージは完全に不十分となり、ガスの爆発が発生します。Web2のシナリオでは、ChatGPTを実行するとき、通常の端末自体はGPT-40の大規模言語モデルを処理できません。そのため、質問を中継するためにOpenAIのサーバに接続し、サーバが計算して結果を推論した後に直接回答を受け取る必要があります。zkコプロセッサは、ブロックチェーンのリモートサーバのような存在です。異なるコプロセッサプロジェクトはプロジェクトの種類に応じてわずかな設計の違いがあるかもしれませんが、基本的なロジックは広く似ています — オフチェーンの計算 + zkプルーフまたは検証のためのストレージプルーフ。

rise zeroの盆栽展開を例に取ると、このアーキテクチャは非常に明快です。プロジェクトは、rise zero独自のzkvmにシームレスに統合されており、開発者はbonsaiをコプロセッサとして使用するために2つの簡単なステップのみが必要です。

  • zkvmアプリケーションを書いて、アプリケーションロジックを処理する。
  • あなたのzkvmアプリケーションを実行し、結果を処理するためにbonsaiを要求するsolidityコントラクトを書いてください。

1.2ロールアップからの違い

上記の定義からは、Rollupsとzkコプロセッサーは、実装ロジックと目標が非常に重なっているように思われるかもしれません。ただし、Rollupsはメインチェーンのマルチコア拡張のようなものであり、2つの間の具体的な違いは次のとおりです:

1.主な目的:

  • ロールアップ:ブロックチェーンのトランザクションのスループットを向上させ、トランザクション手数料を削減します。
  • zk共同処理: より複雑なロジックとより大きなデータボリュームを処理するために、スマートコントラクトの計算能力を拡張します。

2.動作原理:

  • ロールアップ:オンチェーン取引を集約し、詐欺証明またはzk証明とともにメインチェーンに提出します。
  • ZKコプロセッサー:ZKロールアップと似ていますが、さまざまなアプリケーションシナリオ向けに設計されています。ZK ロールアップは、チェーン固有の制約とルールのため、コプロセッサー・タスクには適していません。

3.ステート管理:

  • ロールアップ:状態を維持し、定期的にメインチェーンと同期します。
  • zkコプロセッサ:ステートレス、各計算はステートレスです。

4.アプリケーションシナリオ:

  • ロールアップ:主にエンドユーザー向けで、高頻度取引に適しています。
  • zkコプロセッサ: 主にビジネスに役立ち、高度な金融モデルやビッグデータ分析など、複雑な計算が必要なシナリオに適しています。

5.メインチェーンとの関係:

  • ロールアップ: 通常、特定のブロックチェーンネットワークに焦点を当て、メインチェーンの拡張と見なされます。
  • zkコプロセッサー:特定のメインチェーンに限定されず、複数のブロックチェーンにサービスを提供し、またロールアップにもサービスを提供できます。

したがって、これら2つは相互に排他的ではなく、補完的です。アプリケーションチェーンとして存在する場合でも、zkコプロセッサはまだサービスを提供することができます。

1.3ユースケース

理論的には、ZKコプロセッサの適用範囲は広範で、さまざまなブロックチェーンセクターのプロジェクトをカバーしています。ZKコプロセッサは、DAppsが中央集権的なWeb2アプリに近い機能を持つことを可能にします。 ここでは、オンラインソースから収集したユースケースの例をいくつか紹介します。

データ駆動のDApp開発:

zkコプロセッサーを使用すると、追加の信頼の前提条件なしに、複雑な計算に完全なオンチェーンの履歴データを利用したデータ駆動型のDAppを開発することができます。これにより、DApp開発において前例のない可能性が開かれます。たとえば:

  • 高度なデータ分析:Dune Analyticsと似たオンチェーンデータ分析機能
  • 複雑なビジネスロジック:従来の中央集権型アプリケーションに見られる複雑なアルゴリズムとビジネスロジックの実装。
  • クロスチェーンアプリケーション:マルチチェーンデータに基づいてクロスチェーンDappsを構築する。

デックス向けのVIPトレーダープログラム:

典型的なアプリケーションシナリオは、取引量に基づいた手数料割引プログラムを実装することであり、これは「vipトレーダーロイヤルティープログラム」として知られています。このようなプログラムは、cexsでは一般的ですが、dexsでは珍しいです。

zkコプロセッサを使用することで、DEXは次のことができます:

  • ユーザーの過去の取引数量を追跡します。
  • ユーザーのVIPレベルを計算します。
  • vipレベルに基づいて取引手数料を動的に調整します。この機能は、DEXがユーザーの維持、流動性の増加、そして最終的に収益の向上に役立ちます。

スマートコントラクトのデータ拡張:

zkコプロセッサは強力なミドルウェアとして機能し、スマートコントラクトのデータキャプチャ、計算、検証サービスを提供することで、コストを削減し効率を向上させることができます。これにより、スマートコントラクトは次のような機能を持つようになります:

  • 大量の歴史的データにアクセスして処理する。
  • 複雑なオフチェーン演算を実行します。
  • より高度なビジネスロジックを実装します。

クロスチェーンブリッジ技術:

HerodotusやLagrangeなどのいくつかのzkベースのクロスチェーンブリッジ技術は、zkコプロセッサのアプリケーションとも見なされます。これらの技術は主にデータの抽出と検証に焦点を当てており、クロスチェーン通信の信頼性のあるデータ基盤を提供します。

1.4 zkコプロセッサーは完璧ではありません

多くの利点があるにもかかわらず、現在の段階でのzk共同処理装置は完璧とは言えず、いくつかの問題に直面しています。以下に要点をまとめました:

  1. 開発: zkの概念は多くの開発者にとって理解しにくいものです。開発には関連する暗号化の知識と特定の開発言語とツールの熟練が必要です。
  2. ハードウェアの高いコスト:オフチェーン計算に使用されるzkハードウェアは、プロジェクト自体が完全に負担する必要があります。zkハードウェアは高価で急速に進化しており、いつでも陳腐化する可能性があります。これが閉じた商業ループを形成できるかどうかは、考慮する価値がある問題です。
  3. 競合が激しい分野:技術的には、実装に大きな違いはなく、最終的な結果は、一部の優れたプロジェクトが目立ち、その他はほとんど注目されない現在のレイヤー2の景観に似る可能性があります。
  4. zkサーキット:zkコプロセッサでのオフチェーン計算の実行には、従来のコンピュータプログラムをzkサーキットに変換する必要があります。各アプリケーションごとにカスタムサーキットを作成するのは手間がかかりますし、回路を書くためにzkvmsを仮想マシンで使用すると、異なる計算モデルによる計算オーバーヘッドが大きくなります。

ii. 大量採用のための重要な要素

(このセクションは非常に主観的であり、著者個人の見解を表しています。)

このサイクルは主にモジュラーインフラストラクチャによってリードされています。もしモジュラ化が正しい道であるなら、このサイクルは大量採用への最終段階かもしれません。しかし、現在の段階では、私たちは皆共通の感情を共有しています:なぜ古いアプリケーションが再パッケージされたものしか見ないのか、なぜアプリケーションよりもチェーンの方が多いのか、そしてなぜ新しいトークン標準である「inscriptions」がこのサイクルの最大の革新として称賛されているのか?

斬新な物語が欠如している根本的な理由は、現在のモジュラーインフラがスーパーアプリケーションをサポートするには不十分であり、特にいくつかの前提条件(クロスチェーンの相互運用性、ユーザーの障壁など)が欠けており、ブロックチェーン史上最も重大な断片化につながっていることです。モジュラー時代の中核であるロールアップは、確かに物事をスピードアップしましたが、流動性の断片化、ユーザーの分散、チェーンや仮想マシン自体がアプリケーションのイノベーションに課す制限など、多くの問題ももたらしました。さらに、モジュール化のもう1つの「キープレーヤー」であるCelestiaは、DAが必ずしもイーサリアム上にあるとは限らない道を開拓し、断片化をさらに悪化させています。イデオロギーやDAコストのいずれによっても、その結果、BTCはDAになることを余儀なくされ、他のパブリックチェーンはより費用対効果の高いDAソリューションの提供を目指しています。現在の状況では、各パブリックチェーンには、数十とは言わないまでも、少なくとも1つのレイヤー2プロジェクトがあります。これに加えて、すべてのインフラストラクチャおよびエコシステムプロジェクトは、BLURが開拓したトークンステーキング戦略を深く学び、ユーザーにプロジェクト内でトークンをステーキングすることを要求しています。このモードは、3つの方法(利息、ETHまたはBTCの上昇、無料トークン)でクジラに利益をもたらし、オンチェーンの流動性をさらに圧縮します。

過去の牛相場では、資金はわずか数から数十の公共チェーン内を流れるだけであり、主にイーサリアムに集中していました。今では、資金は数百の公共チェーンに分散し、数千の類似プロジェクトにステークされており、オンチェーンの活動が減少しています。イーサリアムさえもオンチェーンの活動が不足しています。その結果、東洋のプレイヤーはBTCエコシステムでPVPに従事し、西洋のプレイヤーはソラナで必然的にPVPに従事しています。

したがって、私の現在の焦点は、すべてのチェーンの集約された流動性をどのように促進し、新しいプレイスタイルやスーパーアプリケーションの登場を支援するかです。クロスチェーンの相互運用性セクターでは、従来の主要プロジェクトは一貫して低成績であり、従来のクロスチェーンブリッジに似ています。前のレポートで議論した新しい相互運用ソリューションは、主に複数のチェーンを単一のチェーンに集約することを目的としています。例としては、agglayer、superchain、elastic chain、jamなどがありますが、ここでは詳細には触れません。要するに、クロスチェーンの集約はモジュラーインフラストラクチャーにおける必要なハードルですが、克服するには長い時間がかかります。

ZKコプロセッサは、現在のフェーズにおいて重要な部品です。レイヤー 2 を強化し、レイヤー 1 を補完することができます。クロスチェーンやトリレンマの問題を一時的に克服し、特定のレイヤー1やレイヤー2で現在のアプリケーションを広範な流動性で実現する方法はあるのでしょうか?結局のところ、ブロックチェーンアプリケーションには新鮮な物語が欠けています。さらに、多様なプレイスタイル、ガス制御、大規模アプリケーション、クロスチェーン機能、および統合されたコプロセッサソリューションによるユーザーの障壁の低減を可能にすることは、中央集権化に頼るよりも理想的かもしれません。

iii. プロジェクト概要

zkコプロセッサフィールドは、2023年頃に現れ、現在は比較的成熟しています。Messariの分類によると、このフィールドは現在、3つの主要な垂直ドメイン(汎用コンピューティング、相互運用性とクロスチェーン、AIとマシントレーニング)に18のプロジェクトを含んでいます。これらのプロジェクトの多くは、主要なベンチャーキャピタルに支援されています。以下、異なる垂直ドメインからいくつかのプロジェクトを説明します。

3.1 giza

Gizaは、StarkWareで公式にサポートされているStarkNetで展開されているZKML(ゼロ知識機械学習)プロトコルです。これは、AIモデルをブロックチェーンのスマートコントラクトで検証可能な形で使用できるようにすることに重点を置いています。開発者はAIモデルをGIZAネットワーク上に展開し、ゼロ知識証明によってモデル推論の正しさを検証し、その結果をトラストレスな方法でスマートコントラクトに提供することができます。これにより、開発者はブロックチェーンの分散化と検証可能性を維持しながら、AI機能を組み合わせたオンチェーンアプリケーションを構築できます。

gizaは、以下の3つのステップを経てワークフローを完了します:

  • モデル変換:gizaは一般的に使用されるonnx形式のAIモデルをゼロ知識証明システムで実行できる形式に変換します。これにより、開発者は馴染みのあるツールを使用してモデルをトレーニングし、それをgizaネットワークに展開することができます。
  • オフチェーン推論:スマートコントラクトがAIモデル推論を要求すると、ギザは実際の計算をオフチェーンで実行します。これにより、複雑なAIモデルを直接ブロックチェーン上で実行することの高コストを回避します。
  • ゼロ知識検証:gizaは各モデル推論のためにzk証明を生成し、計算が正しく実行されたことを証明します。これらの証明はオンチェーンで検証され、オンチェーンでの計算プロセス全体を繰り返すことなく推論結果の正確性を保証します。

gizaのアプローチにより、中央集権的なオラクルや信頼できる実行環境に頼らずに、AIモデルがスマートコントラクトの信頼できる入力ソースとして機能することが可能になります。これにより、AIベースの資産管理、詐欺検知、動的価格設定など、ブロックチェーンアプリケーションに新たな可能性が開かれます。現在のWeb3 x AI領域において、論理的なクローズドループとAI分野でのコプロセッサの巧妙な利用を持つ数少ないプロジェクトの1つです。

3.2 risc zero

RISC Zeroは、複数のトップVCがサポートする主要なコプロセッサプロジェクトです。これは、ブロックチェーンスマートコントラクトで検証可能な計算を実行できるようにすることに重点を置いています。開発者はRustでプログラムを書き、RISC Zeroネットワークにデプロイすることができます。その後、RISC Zeroはゼロ知識証明によってプログラム実行の正しさを検証し、その結果をトラストレスな方法でスマートコントラクトに提供します。これにより、開発者はブロックチェーンの分散化と検証可能性を維持しながら、複雑なオンチェーンアプリケーションを構築できます。

前述の展開とワークフローについて簡単に説明しましたが、ここでは2つの主要なコンポーネントの詳細を説明します:

  • Bonsai: Bonsai は RISC ゼロ内のコプロセッサ コンポーネントであり、RISC-V 命令セット アーキテクチャの ZKVM にシームレスに統合されています。これにより、開発者は高性能なゼロ知識証明をイーサリアム、L1ブロックチェーン、Cosmosアプリケーションチェーン、L2ロールアップ、DAppsに数日で迅速に統合できます。スマートコントラクトの直接呼び出し、検証可能なオフチェーン計算、クロスチェーンの相互運用性、一般的なロールアップ機能を提供しながら、分散型ファーストの分散アーキテクチャを採用しています。再帰的証明、カスタム回路コンパイラ、状態継続、および継続的に改善される証明アルゴリズムを組み合わせることで、さまざまなアプリケーション向けに高性能なゼロ知識証明を誰でも生成できます。
  • ZKVM:ZKVMは、実際の組み込みRISC-Vマイクロプロセッサと同様に動作する検証可能なコンピュータです。RISC-V命令セットアーキテクチャに基づいて、開発者はRust、C ++、Solidity、Goなどの高水準プログラミング言語でプログラムを作成し、ゼロ知識証明を生成できます。一般的なRust Crateの70%以上をサポートし、一般的なコンピューティングとゼロ知識証明をシームレスに組み合わせ、計算プロセスのプライバシーと結果の検証可能性を維持しながら、あらゆる複雑な計算に対して効率的なゼロ知識証明を生成できます。ZKVMは、StarkやSnarkなどのZK技術を利用し、Recursion ProverやStark-to-Snark Proverなどのコンポーネントを通じて効率的な証明の生成と検証を実現し、オフチェーンの実行とオンチェーン検証をサポートします。

RISC Zero は、複数の ETH Layer2 ソリューションと統合し、Bonsai のさまざまなユース ケースを実証しました。興味深い例の1つは、Bonsai Payです。このデモでは、RISC ZeroのZKVMとBonsai Proofサービスを使用しており、ユーザーはGoogleアカウントを使用してイーサリアムでETHとトークンを送受信できます。RISC ZeroがオンチェーンアプリケーションをOAuth2.0(Googleなどの主要なIDプロバイダーが使用する標準)とシームレスに統合する方法を紹介し、従来のWeb2アプリケーションを通じてWeb3ユーザーの障壁を下げるユースケースを提供します。その他の例としては、DAOに基づくアプリケーションがあります。

3.3 = nil;

=nil;は、mina、polychain、starkware、blockchain capitalなどの有名なエンティティによって支援される投資プロジェクトです。特に、zkテクノロジーの先駆者であるminaとstarkwareが支援者の中にいることから、プロジェクトへの高い技術的評価が示されています。=nil;は、私たちが「コンピューティングパワーマーケット」というレポートで言及され、主に分散型のプルーフ生成マーケットに焦点を当てています。さらに、=nil;にはzkllvmという別のサブプロダクトもあります。

zkllvm、=nilによって開発されました。Foundationは、C++やRustなどの主流のプログラミング言語で記述されたアプリケーションコードを、特殊なゼロ知識ドメイン固有言語(DSL)を必要とせずに、イーサリアム用の効率的で証明可能な回路に自動的に変換する革新的な回路コンパイラです。これにより、開発プロセスが大幅に簡素化され、参入障壁が低くなり、ZKVMを回避することでパフォーマンスが向上します。プルーフ生成を高速化するハードウェアアクセラレーションをサポートしているため、ロールアップ、クロスチェーンブリッジ、オラクル、機械学習、ゲームなど、さまざまなZKアプリケーションシナリオに適しています。これは =nil と密接に統合されています。Foundationのプルーフ・マーケットは、回路の作成からプルーフの生成まで、開発者にエンドツーエンドのサポートを提供します。

3.4 brevis

brevisは、celer networkのサブプロジェクトであり、ブロックチェーン向けのスマートゼロ知識(zk)コプロセッサーであり、Dappsが完全信頼のおける方法で複数のブロックチェーン上で任意のデータにアクセスし、計算し、利用することを可能にします。他のコプロセッサーと同様に、brevisには、データ駆動型DeFi、zkブリッジ、オンチェーンユーザー獲得、zkdid、ソーシャルアカウント抽象化など、さまざまなユースケースがあります。

brevisアーキテクチャは、3つの主要なコンポーネントで構成されています:

  • zkfabric:zkfabricはBrevisアーキテクチャのリレーコンポーネントです。その主なタスクは、すべての接続されたブロックチェーンからブロックヘッダー情報を収集し同期させ、zkライトクライアント回路を介して収集された各ブロックヘッダーに対してコンセンサス証明を生成することです。
  • zkquerynet: zkquerynetは、オンチェーンのスマートコントラクトから直接データクエリを受け入れ、zkクエリエンジン回路を介してクエリ結果と対応するzkクエリ証明を生成するオープンなzkクエリエンジンマーケットプレイスです。これらのエンジンは、高度に特化したもの(例:特定の期間内のDEXの取引量の計算)から、高度なクエリ言語や多様なアプリケーションニーズを満たす高度なデータインデックス抽象化まで幅広くあります。
  • zkaggregatorrollup: それはzkfabricおよびzkquerynetの集約およびストレージレイヤーとして機能します。これら2つのコンポーネントの証明を検証し、証明されたデータを保存し、それらのzk証明の状態ルートをすべての接続されたブロックチェーンに送信することで、dappsがオンチェーンのスマートコントラクトビジネスロジックで証明されたクエリ結果に直接アクセスできるようにします。

このモジュラーアーキテクチャを使用すると、brevisはすべてのサポートされたパブリックブロックチェーンスマートコントラクトに対して、信頼できる、効率的で柔軟なアクセス方法を提供できます。 uniのv4バージョンもこのプロジェクトを採用し、フック(さまざまなユーザー定義ロジックを統合するシステム)と統合して、歴史的なブロックチェーンデータの読み取りを容易にし、ガス手数料を削減しながら分散化を確保します。これは、dexを促進するzkコプロセッサの例です。

3.5 lagrange

ラグランジュは、1kxとファウンダーズ・ファンドに率いられた相互運用性zkコプロセッサープロトコルであり、主に信頼性のあるクロスチェーン相互運用性の提供や大規模データ複雑な計算を必要とするアプリケーションのサポートを目的としています。従来のノードブリッジとは異なり、ラグランジュのクロスチェーン相互運用性は、革新的なzkビッグデータおよびステート委員会メカニズムによって主に実現されています。

  • zkビッグデータ:これはラグランジュのコア製品であり、クロスチェーンデータの処理と検証、関連するzk証明の生成を担当しています。このコンポーネントには、複雑なオフチェーン計算を実行し、ゼロ知識証明を生成するための高度に並列化されたzkコプロセッサ、無制限のストレージスロットとスマートコントラクトからの直接SQLクエリをサポートする特別に設計された検証可能なデータベース、証明時間を短縮するために変更されたデータポイントのみを更新する動的な更新メカニズム、および複雑な回路を記述せずにスマートコントラクトから直接SQLクエリを使用して歴史データにアクセスするための統合機能が含まれています。これらが一緒になって、大規模なブロックチェーンデータ処理と検証システムを形成しています。
  • 州委員会:このコンポーネントは、複数の独立したノードで構成される分散型検証ネットワークであり、それぞれがETHを担保としてステーキングしています。これらのノードは ZK Light クライアントとして機能し、特定の最適化されたロールアップの状態を具体的に検証します。州委員会はEigenlayerのAVSと統合し、再ステーキングメカニズムを活用してセキュリティを強化し、無制限の数の参加ノードをサポートして超線形のセキュリティ成長を実現します。また、「高速モード」も提供しており、ユーザーはチャレンジウィンドウを待たずにクロスチェーン操作を実行できるため、ユーザーエクスペリエンスが大幅に向上します。これら2つの技術の組み合わせにより、ラグランジュは大規模なデータを効率的に処理し、複雑な計算を実行し、異なるブロックチェーン間で結果を安全に送信して検証することができ、複雑なクロスチェーンアプリケーションの開発をサポートします。

ラグランジュはすでにイーゲンレイヤー、マントル、ベース、フラックス、ポリマー、レイヤーゼロ、オムニ、オルトレイヤーなどと統合されており、イーサリアムエコシステム内で最初のzk avsになる予定です。

ybbについて

YBBは、すべてのインターネット居住者にとってより良いオンライン環境を作るというビジョンを持って、Web3を定義するプロジェクトを特定することに専念するWeb3ファンドです。2013年からこの業界に積極的に参加しているブロックチェーン信者のグループによって設立されたYBBは、暗号とブロックチェーンアプリケーションの可能性を認識しながら、イノベーション、自己主導の情熱、ユーザー指向の製品を大切にしています。

ウェブサイト | Twi: @ybbcapital

参照:

1.abcde:zkコプロセッサーとその将来についての詳細な調査:https://medium.com/ABCDE.com/ja-abcde-zk-コプロセッサーとその将来についての深い洞察-1d1b3f33f946

2.“zk”はすべてです:https://medium.com/gate_ventures/zk-is-all-you-need-238886062c52

3.リスクゼロ:https://www.risczero.com/bonsai

4.ラグランジュ:https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis

5.AxiomBlog:https://blog.axiom.xyz/

6.窒素アクセラレーション!zkコプロセッサがスマートコントラクトデータの障壁を破る方法:https://foresightnews.pro/article/detail/48239

免責事項:

  1. この記事は[中程度原題は「The GPU of Blockchain: Comprehensive Analysis of ZK Coprocessors」で、すべての著作権は原作者[YBB Capital Researcher Zeke]に帰属します。この転載に異議がある場合は、Gate learnチームにお任せください。迅速に対応いたします。

  2. 免責事項:この記事で表明された見解や意見は、著者のものであり、投資アドバイスを構成するものではありません。

  3. 記事の翻訳はGateの学習チームによって行われます。特に明示されていない限り、翻訳された記事の複製、配布、または盗作は禁止されています。

今すぐ始める
登録して、
$100
のボーナスを獲得しよう!