ブロックチェーンのGPU：ZKコプロセッサーの完全解析

著者: YBB Capital Researcher Zeke

TLDR

• ZKコプロセッサ（ZK Coprocessor）は、モジュール化の概念から派生したオフチェーン計算プラグインと見なすことができ、CPUのグラフィック計算タスクをGPUが分担するのと同様に、特定のシーンにおける計算タスクを分担するプロセッサです；

• 複雑な計算や重いデータを処理するために使用でき、Gas費用を削減し、スマートコントラクトの機能を拡張します；

• Rollupとの違い：ZKコプロセッサは無状態であり、クロスチェーンで使用でき、複雑な計算シーンに適しています；

• ZKコプロセッサの開発は難易度が高く、性能オーバーヘッドが大きく、標準化が不十分です。また、ハードウェア面でも多くのコストが必要で、この分野は1年前に比べて成熟しているものの、まだ初期段階にあります；

• インフラがフラクタル拡張のモジュール化時代に入ると、ブロックチェーンは流動性の欠如、ユーザーの分散、革新の欠如、クロスチェーン相互運用性の問題に直面し、垂直拡張のL1との間にパラドックスが生じます。ZKコプロセッサは、将来的に両者に良い補強を提供し、両者が困難を乗り越え、旧アプリケーションや新興の重いアプリケーションに性能支援を提供し、より新しい物語をもたらすかもしれません。

一. モジュール化インフラの新たな分岐、ZKコプロセッサ

1.1 ZKコプロセッサの概要

ZKコプロセッサ（ZK Coprocessor）は、モジュール化の概念から派生したオフチェーン計算プラグインと見なすことができ、その役割は、CPUのグラフィック計算タスクをGPUが分担するのと同様に、特定のシーンにおける計算タスクを分担するプロセッサです。この設計フレームワークの下では、パブリックチェーンが得意でない「重いデータ」や「複雑な計算ロジック」タスクをZKコプロセッサで計算し、チェーン上では返された計算結果を受け取るだけで済み、その正確性はZK proofによって保証され、最終的に複雑なタスクの信頼できるオフチェーン計算を実現します。

現在、AI、SocialFi、DEX、GameFiなどの人気アプリケーションは高性能とコスト管理を切実に求めており、従来のソリューションでは、これらの高性能な「重いアプリケーション」は資産をチェーン上に置き、オフチェーンアプリケーションの形式を選択するか、アプリケーション専用のチェーンを設計することが一般的です。しかし、両者にはいくつかの固有の問題があります。例えば、前者はブラックボックスの問題があり、後者は開発コストが高く、元のチェーンエコシステムから離れ、流動性が分断される問題があります。さらに、メインチェーンの仮想マシンはこの種のアプリケーションの開発と実行に対しても大きな制限があります（例えば、アプリケーション層の標準が欠如し、開発言語が複雑です）。

ZKコプロセッサの存在は、このような問題を解決するためにあります。さらに詳細な例を挙げると、ブロックチェーンをネットワークに接続できない端末（スマートフォン、コンピュータなど）と見なすことができます。この場合、UniswapなどのDeFiアプリケーションのような比較的単純なアプリケーションを完全にチェーン上で実行できます。しかし、より複雑なアプリケーションが登場すると、例えばChatGPTのようなアプリケーションを実行する場合、パブリックチェーンの性能とストレージは完全に不足し、Gasが爆発的に増加します。Web2の状況でも、ChatGPTを実行する際には同様のことが起こります。一般的な端末自体はGPT-4oのような大規模言語モデルを処理できず、問題をOpenAIのサーバーに伝えるためにネットワークを介する必要があります。サーバーが計算して推論結果を出した後、私たちは直接答えを受け取ります。ZKコプロセッサは、ブロックチェーンのリモートサーバーのようなもので、異なるタイプのプロジェクトに対して異なるコプロセッサプロジェクトの設計に若干の偏差があるかもしれませんが、基盤のロジックには大きな違いはなく、オフチェーン計算+ZK proofまたはStorage proofsによって検証される方法です。Rise ZeroのBonsaiデプロイメントを例に挙げると、このアーキテクチャのロジックが非常にシンプルであることがわかります。このプロジェクトはRise Zero自身のzkVMにシームレスに統合されており、開発者はBonsaiをコプロセッサとして使用するために非常に簡単な2つのステップを実行するだけです：

• アプリケーションロジックを処理するためのzkVMアプリケーションを作成する；

• BonsaiにあなたのzkVMアプリケーションを実行し、結果を処理するように要求するSolidityコントラクトを書く。

1.2 Rollupとの違いは？

上記の定義から、Rollupは実装ロジックや目標においてZKコプロセッサと高度に重複しているように見えます。しかし、実際にはRollupはメインチェーンのマルチコア化に近く、両者の具体的な違いは以下の通りです：

1. 主な目的：

• Rollup：ブロックチェーンの取引処理能力を向上させ、取引コストを削減する。

• ZKコプロセッサ：スマートコントラクトの計算能力を拡張し、より複雑なロジックや大量のデータを処理できるようにする。

1. 動作原理：

• Rollup：チェーン上の取引をメインチェーンに集約し、詐欺証明またはZK証明を通じて行う。

• ZKコプロセッサ：ZK Rollupに似ていますが、両者のアプリケーションシーンは異なり、ZK Rollupはチェーンの形態とルールに制約されているため、ZKコプロセッサの作業には適していません。

1. 状態管理：

• Rollup：独自の状態を維持し、定期的にメインチェーンと同期する必要があります。

• ZKコプロセッサ：持続的な状態を維持せず、毎回の計算は無状態です。

1. アプリケーションシーン：

• Rollup：主にC向けで、高頻度取引に適しています。

• ZKコプロセッサ：主にB向けで、複雑な計算が必要なシーンに適しています。例えば、高度な金融モデルやビッグデータ分析など。

1. メインチェーンとの関係：

• Rollup：メインチェーンの拡張と見なすことができ、通常は特定のブロックチェーンネットワークに焦点を当てています。

• ZKコプロセッサ：複数のブロックチェーンにサービスを提供でき、特定のメインチェーンに制限されないため、Rollupにもサービスを提供できます。

したがって、両者は本質的に相反するものではなく、むしろ補完的な関係にあります。たとえあるRollupがアプリケーションチェーンの形で存在しても、ZKコプロセッサは依然としてサービスを提供できます。

1.3 ユースケース

理論的には、ZKコプロセッサの適用範囲は非常に広く、基本的にブロックチェーンの各トラックのプロジェクトをカバーできます。ZKコプロセッサの存在は、Dappの機能をWeb2の中央集権的アプリの機能に近づけることができます。以下は、インターネットから収集したいくつかのデモユースケースです：

データ駆動型DApp開発

ZKコプロセッサは、開発者が全チェーンの履歴データを利用したデータ駆動型DAppを作成し、複雑な計算を実行できるようにし、追加の信頼仮定を必要としません。これにより、DApp開発に前所未有の可能性がもたらされます。例えば：

1. 高度なデータ分析：Dune Analyticsのようなチェーン上のデータ分析機能。

2. 複雑なビジネスロジック：従来の中央集権的アプリケーションにおける複雑なアルゴリズムやビジネスロジックを実現。

3. クロスチェーンアプリ：複数のチェーンデータに基づいてクロスチェーンDAppを構築。

DEXのVIPトレーダープログラム

典型的なアプリケーションシーンは、分散型取引所（DEX）で取引量に基づく手数料割引プログラム、すなわち「VIPトレーダー忠誠プログラム」を実現することです。このようなプログラムは中央集権的取引所（CEX）では一般的ですが、DEXではあまり見られません。

ZKコプロセッサを使用することで、DEXは：

1. ユーザーの過去の取引量を追跡する

2. ユーザーのVIPレベルを計算する

3. レベルに応じて取引手数料を動的に調整する

この機能は、DEXがユーザーの保持率を向上させ、流動性を増加させ、最終的には収益を向上させるのに役立ちます。

スマートコントラクトのデータ強化

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

1. 大量の履歴データにアクセスし、処理することができる

2. 複雑なオフチェーン計算を実行することができる

3. より高度なビジネスロジックを実現することができる

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

HerodotusやLagrangeのようなZKベースのクロスチェーンブリッジ技術も、ZKコプロセッサの一種のアプリケーションと見なすことができます。これらの技術は、主にデータの抽出と検証に焦点を当て、クロスチェーン通信に信頼できるデータ基盤を提供します。

1.4 ZKコプロセッサは完璧ではない

多くの利点を挙げましたが、現在の段階のZKコプロセッサは完璧ではなく、多くの問題に直面しています。私個人のまとめとして以下の点を挙げます：

1. 開発：ZKという概念は多くの開発者にとって理解が難しく、開発には関連する暗号学の知識や特定の開発言語やツールを習得する必要があります；

2. ハードウェアコストが高い：オフチェーン計算に使用されるZKハードウェアは、プロジェクト側が完全に負担する必要があり、ZKハードウェアは高価であり、急速に進化しています。ハードウェアはいつでも廃れかねません。これが商業的な論理の閉環を形成できるかどうかも考えるべき問題です；

3. 競争が激しい：技術的な実現において特に大きな違いはなく、最終的には現在のLayer2の構図に似たものになる可能性が高く、いくつかの突出したプロジェクトがある一方で、大部分は無視されることになります；

4. zk回路：zkコプロセッサ内でオフチェーン計算を実行するには、従来のコンピュータプログラムをzk回路に変換する必要があり、各アプリケーションのためにカスタム回路を作成するのは非常に複雑であり、zkvmを使用して仮想マシン内で回路を書くことには計算モデルの違いによるオーバーヘッドの問題があります。

二. 大規模アプリケーションへの鍵となるピース

（この章は主観的であり、著者の個人的な見解を示すものです）

今回のサイクルはモジュール化インフラが主導するものであり、モジュール化の道が正しいのであれば、このサイクルは大規模アプリケーションへの最後のステップになるかもしれません。しかし、現在の段階では、私たちは共通の感覚を持っています。なぜ新しい物語がほとんど見られず、なぜチェーンの数がアプリケーションよりも多いのか、なぜ銘文などの新しいトークン標準がこのサイクルの最大の革新と呼ばれるのか？

新しい物語が不足している理由は、本質的に現在のモジュール化インフラがスーパーアプリを支えるには不十分であり、特にいくつかの前提条件（全チェーン相互運用性、ユーザーのハードルなど）が欠けているため、結果的にブロックチェーンの歴史上最大の分断を促進しています。Rollupはモジュール化時代の中心であり、速度は向上しましたが、それに伴う問題も多く、流動性の分断、ユーザーの分散、チェーンまたは仮想マシン自体がアプリケーションの革新を制限しています。一方で、モジュール化のもう一つの「キーパーソン」であるCelestiaは、DAがイーサリアム上に存在する必要がないという先駆的な考えを打ち出し、この考えは分断をさらに悪化させました。イデオロギーから始まったのか、DAコストから始まったのか、結果としてBTCはDAを強いられ、他のパブリックチェーンはよりコストパフォーマンスの高いDAを行う必要があり、現状では各パブリックチェーンに少なくとも1つ、多ければ数十のLayer2プロジェクトがあります。最後に、すべてのインフラとエコシステムプロジェクトがBlur（鉄順）が開発したポイント屠龍（OpenSea）のプレイスタイルを深く学び、ユーザーにトークンをプロジェクト内にステーキングさせるよう要求することで、クジラにとっては一石三鳥（利息、ETHまたはBTCの上昇、無料のトークン）というモデルが、チェーン上の流動性をさらに圧縮しました。

かつてのブルマーケットでは、資金は数条から十数条のパブリックチェーン内でしか流通せず、イーサリアムに集中しているとも言えました。しかし、現在の資金は数百のパブリックチェーンに分散し、数千のほぼ同じプロジェクトにステーキングされています。チェーン上の繁栄はもはやなく、イーサリアムでさえチェーン上の活動がありません。したがって、東方のプレイヤーがBTCエコシステムでPVPを行い、西方のプレイヤーがSolanaでPVPを行うのは無力な行為です。したがって、私が現在最も注目しているのは、全チェーンの流動性を集約し、新しいプレイスタイルとスーパーアプリの誕生を支える方法です。全チェーン相互運用性のトラックでは、従来のいくつかの主要プロジェクトは実際にはパフォーマンスが悪く、依然として従来のクロスチェーンブリッジのように見えます。新しい相互運用性ソリューションについては、以前のレポートでも触れましたが、主に複数のチェーンを単一のチェーンに集約する方法で、現在行われているものにはAggLayer、Superchain、Elastic Chain、JAMなどがあります。ここでは詳しくは触れません。

要するに、全チェーンを集約することはモジュール化構造の下で必ず乗り越えなければならないハードルですが、このハードルを越えるにはまだ時間がかかります。そしてZKコプロセッサは、現在の段階でより重要なピースに属し、Layer2を強化するだけでなく、Layer1も補強することができます。全チェーンと三角パラドックスの2つの問題から一時的に抜け出すことができるか、将来的に広範な流動性を持つLayer1またはLayer2上で、現在に合ったアプリケーションを先に実現できるでしょうか？現在のブロックチェーンアプリケーションの物語は本当に不足しています。一方で、プレイスタイルの多様化、Gasの管理、大規模アプリケーションの出現、さらにはクロスチェーン、ユーザーのハードルを下げることは、コプロセッサソリューションを統合することで、中央集権に頼るよりも理想的な解決策となるでしょう。

三. プロジェクト一覧

ZKコプロセッサのトラックは、基本的に2023年頃に現れ、現在の段階ではかなり成熟しています。Messariの分類によれば、このトラックには現在、3つの大きな垂直分野（汎用計算、相互運用性とクロスチェーン、AIと機械学習）があり、18のプロジェクトがあります。そのほとんどのプロジェクトは主要なVCに支援されており、以下では異なる垂直分野のいくつかのプロジェクトを選んで説明します。

3.1 Giza

Gizaは、Starknetに展開され、StarkWare公式にサポートされているzkML（ゼロ知識機械学習）プロトコルであり、人工知能モデルがブロックチェーンのスマートコントラクトで検証可能に使用できることに特化しています。開発者はAIモデルをGizaネットワークに展開でき、Gizaはその後、ゼロ知識証明を通じてモデル推論の正確性を検証し、信頼なしに結果をスマートコントラクトに提供します。これにより、開発者はAI機能を組み込んだチェーン上のアプリケーションを構築でき、ブロックチェーンの分散化と検証可能性を維持します。

Gizaは以下の3つのステップを実行することでワークフローを完了します：

1. モデル変換：Gizaは一般的なONNX形式のAIモデルをゼロ知識証明システムで実行可能な形式に変換します。これにより、開発者は慣れ親しんだツールを使用してモデルをトレーニングし、その後Gizaネットワークに展開できます。

2. オフチェーン推論：スマートコントラクトがAIモデルの推論を要求すると、Gizaはオフチェーンで実際の計算を実行します。これにより、ブロックチェーン上で複雑なAIモデルを直接実行する高コストを回避します。

3. ゼロ知識検証：Gizaは各モデル推論のためにZK proofを生成し、計算が正しく実行されたことを証明します。これらの証明はチェーン上で検証され、推論結果の正確性を保証し、チェーン上で全計算プロセスを繰り返す必要がありません。

Gizaのアプローチにより、AIモデルはスマートコントラクトの信頼できる入力ソースとして機能し、中央集権的なオラクルや信頼できる実行環境に依存する必要がなくなります。これにより、AIに基づく資産管理、詐欺検出、動的価格設定など、ブロックチェーンアプリケーションに新たな可能性が開かれます。これは現在のWeb3 x AIの中で数少ない論理的な閉環を持つプロジェクトの一つであり、AI分野におけるコプロセッサの巧妙な利用でもあります。

3.2 Risc Zero

Risc Zeroは、多くの主要VCに支援されているコプロセッサプロジェクトであり、このトラックの中でも優れた存在です。このプロジェクトは、任意の計算がブロックチェーンのスマートコントラクトで検証可能に実行できるようにすることに特化しています。開発者はRustを使用してプログラムを作成し、RISC Zeroネットワークに展開できます。RISC Zeroはその後、ゼロ知識証明を通じてプログラムの実行の正確性を検証し、信頼なしに結果をスマートコントラクトに提供します。これにより、開発者は複雑なチェーン上のアプリケーションを構築でき、ブロックチェーンの分散化と検証可能性を維持します。

前述のように、デプロイと作業のプロセスについて簡単に説明しましたが、ここでは2つの重要なコンポーネントについて詳しく説明します：

Bonsai：RISC ZeroのBonsaiはプロジェクト内のコプロセッサコンポーネントであり、RISC-V命令セットアーキテクチャのzkVMにシームレスに統合されており、開発者は数日以内に高性能なゼロ知識証明をイーサリアム、L1ブロックチェーン、Cosmosアプリケーションチェーン、L2ロールアップ、dAppsに統合できます。これにより、スマートコントラクトの直接呼び出し、検証可能なオフチェーン計算、クロスチェーン相互運用性、汎用ロールアップ機能が提供され、分散型優先のアーキテクチャ設計が採用されています。再帰証明、カスタム回路コンパイラ、状態の継続、継続的な改善の証明アルゴリズムを組み合わせることで、誰でもさまざまなアプリケーションのために高性能なゼロ知識証明を生成できるようになります。

zKVM：zkVMは、実際の組み込みRISC-Vマイクロプロセッサに似た動作をする検証可能なコンピュータです。この仮想マシンはRISC-V命令セットアーキテクチャに基づいており、開発者はRust、C++、Solidity、Goなどの多様なプログラミング言語を使用してゼロ知識証明を生成できるプログラムを作成できます。70％以上の人気のあるRustクレートをサポートし、汎用計算とゼロ知識証明のシームレスな統合を実現し、任意の複雑さの計算に対して効率的なゼロ知識証明を生成し、計算プロセスのプライバシーと結果の検証可能性を維持します。zkVMは、STARKやSNARKを含むZK技術を採用し、Recursion ProverやSTARK-to-SNARK Proverなどのコンポーネントを通じて効率的な証明生成と検証を実現し、オフチェーン実行とオンチェーン検証のモードをサポートします。

Risc Zeroはすでに複数のETH系Layer2と統合されており、いくつかのBonsaiのユースケースをデモンストレーションしています。その中でも興味深いのはBonsai Payです。このデモは、RISC ZeroのzkVMとBonsai証明を使用しており、ユーザーがGoogleアカウントを使用してイーサリアム上でETHやトークンを送信または引き出すことを可能にします。これは、RISC Zeroがどのようにチェーン上のアプリケーションをOAuth2.0（Googleなどの主要なアイデンティティプロバイダーが使用する標準）とシームレスに統合するかを示しており、従来のWeb2アプリケーションがWeb3ユーザーのハードルを下げるための統合ユースケースの一つです。その他にもDAOに基づくアプリケーションの例があります。

3.3 =nil;

=nil; は、Mina、Polychain、Starkware、Blockchain Capitalなどの著名なプロジェクトや機関から投資を受けており、特にMinaやStarkwareのようなzk技術の最前線のプロジェクトが含まれていることから、プロジェクトの技術的な認識が高いことがわかります。=nil; は、以前のレポート「算力市場」で言及されたプロジェクトでもあります。当時は、=nil; のProof Market（分散型証明生成市場）に主に焦点を当てていましたが、このプロジェクトにはもう一つのサブプロダクト、zkLLVMがあります。

zkLLVMは、=nil; Foundationによって開発された革新的な回路コンパイラであり、C++、Rustなどの主流開発言語で書かれたアプリケーションコードを自動的にイーサリアム上の効率的な証明可能な回路に変換することができます。これにより、特別なゼロ知識特定言語（DSL）を使用することなく、開発プロセスが大幅に簡素化され、開発のハードルが下がります。また、zkVM（ゼロ知識仮想マシン）を使用しないことで性能が向上し、証明生成速度を加速するためのハードウェアアクセラレーションをサポートし、Rollups、クロスチェーンブリッジ、オラクル、機械学習、ゲームなどのさまざまなZKアプリケーションシーンに適用可能で、=nil; FoundationのProof Marketと密接に統合され、開発者に回路作成から証明生成までのエンドツーエンドのサポートを提供します。

3.4 Brevis

このプロジェクトはCeler Networkのサブプロジェクトであり、Brevisはブロックチェーン用のスマートゼロ知識（ZK）コプロセッサであり、dAppが完全に信頼なしに複数のブロックチェーンにアクセスし、計算し、任意のデータを利用できるようにします。他のコプロセッサと同様に、Brevisも広範なユースケースを持っています。例えば、データ駆動型DeFi、zkBridges、チェーン上のユーザー獲得、zkDID、ソーシャルアカウントの抽象化などです。

Brevisのアーキテクチャは主に3つの部分で構成されています：

1. zkFabric：zkFabricはBrevisアーキテクチャのリレーターです。主な任務は、すべての接続されたブロックチェーンからのブロックヘッダー情報を収集し、最終的にZK軽クライアント回路を通じて収集された各ブロックヘッダーの合意証明を生成することです。

2. zkQueryNet：zkQueryNetはオープンなZKクエリエンジン市場であり、チェーン上のスマートコントラクトからのデータクエリを直接受け入れることができ、ZKクエリエンジン回路を通じてクエリ結果と対応するZKクエリ証明を生成することができます。これらのエンジンは、高度に専門化されたもの（例えば、特定の期間内のDEXの取引量を計算する）から、高度に汎用的なデータインデックス抽象化と高度なクエリ言語まで、さまざまなアプリケーションのニーズに応えます。

3. zkAggregatorRollup：zkFabricとzkQueryNetの集約およびストレージ層として機能します。これにより、これら2つのコンポーネントの証明を検証し、証明されたデータを保存し、そのZK証明の状態ルートをすべての接続されたブロックチェーンに提出することで、dAppがそのチェーン上のスマートコントラクトのビジネスロジック内で証明されたクエリ結果に直接アクセスできるようにします。

このモジュール化アーキテクチャにより、Brevisはすべてのサポートされているパブリックチェーンのチェーン上のスマートコントラクトに対して、信頼なし、高効率、柔軟なアクセス方法を提供できます。UNIのV4バージョンでもこのプロジェクトが採用され、プロトコル内のHooks（さまざまなユーザーのためにカスタムロジックを統合するシステム）と統合され、履歴のブロックチェーンデータを読み取るのを容易にし、Gas費用を削減し、分散化の特性を確保します。これはzkコプロセッサがDEXを推進する一例です。

3.5 Lagrange

Lagrangeは、1kxおよびFounders fundが主導する相互運用性zkコプロセッサプロトコルであり、このプロトコルの主な目的は、信頼なしのクロスチェーン相互運用性と大規模データの複雑な計算が必要なアプリケーションの革新を支えることです。従来のノードブリッジとは異なり、Lagrangeのクロスチェーン相互運用性は、革新的なZKビッグデータとステートコミッティメカニズムを通じて実現されます。

ZKビッグデータ：この製品はLagrangeのコアであり、クロスチェーンデータの処理と検証を担当し、関連するZK証明を生成します。このコンポーネントには、高度に並列化されたZKコプロセッサが含まれており、複雑なオフチェーン計算を実行し、ゼロ知識証明を生成します。特別に設計された検証可能なデータベースは無限のストレージスロットとスマートコントラクトによる直接SQLクエリをサポートし、動的更新メカニズムは変化したデータポイントのみを更新して証明時間を短縮し、開発者がスマートコントラクトから直接SQLクエリを使用して履歴データにアクセスできる統合機能を提供します。これらは、大規模なブロックチェーンデータ処理と検証システムを構成します。

ステートコミッティ：このコンポーネントは、複数の独立したノードで構成される分散型検証ネットワークです。各ノードはETHを担保としてステーキングします。これらのノードはZK軽クライアントとして特定の最適化ロールアップの状態を検証します。ステートコミッティはEigenLayerのAVSと統合され、重ステーキングメカニズムを利用してセキュリティを強化し、無限のノード数が参加できるようにし、超線形のセキュリティ成長を実現します。また、「クイックモード」を提供し、ユーザーがチャレンジウィンドウを待たずにクロスチェーン操作を行えるようにし、ユーザー体験を大幅に向上させます。これら2つの技術の組み合わせにより、Lagrangeは大規模データを効率的に処理し、複雑な計算を実行し、異なるブロックチェーン間で結果を安全に伝達および検証することができ、複雑なクロスチェーンアプリケーションの開発を支えることができます。

Lagrangeは現在、EigenLayer、Mantle、Base、Frax、Polymer、LayerZero、Omni、AltLayerなどと統合されており、最初のZK AVSとしてイーサリアムエコシステムでリンクされる予定です。

参考資料：

1. ABCDE：A Deep Dive into ZK Coprocessor and Its Future：https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946

2. "ZK" Is All You Need：https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c52

3. Risc zero：https://www.risczero.com/bonsai

4. Lagrange：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