円卓対話：zkはどのようにして真の主流に向かうことができるのか、zkとAIはどのように結びつくのか？

著者：ChainCatcher

zkの物語が盛り上がる中、先週ChainCatcherの「zkマスタークラス」シリーズイベント第2回（過去の振り返り）では、Ola、Cysic、Hyper Oracle、FOX、Opside、およびCatcherVCからの6名のメンバーを招き、「zkの物語が盛り上がる中、どのようにzkの長期的な価値を捉えるか」というテーマで、zkの現在の発展のボトルネックと将来の可能な突破口について議論しました。

以下は本イベントの文字起こしです：

1、司会者LonersLiu：各ゲストはなぜzkの方向で起業を選んだのですか？起業過程でzkのいくつかの限界に気づきましたか？

NanFeng： Opsideは2018年から技術選定の研究を始めました。現在、Rollupsサービスを提供している多くのプロジェクト、例えばAltLayerや最近資金調達を行った人気プロジェクトは、OP Stackフレームワークに基づいており、Optimismのコードを修正していることがわかりました。

それに対して、私たちはzkがより長期的なソリューションであり、より迅速かつ安全で、信頼を必要としないと考えています。同時に、zkは他の特性ももたらします。例えば、私たちのようなクロスRollup通信はOptimismのソリューションでは実現できません。

zkの最大の限界は、より多くの計算能力を提供する方法です。Optimismのソリューションは1つのノードがあれば済むのに対し、zkソリューションはデータの検証を提供するためにzk証明を生成する必要があります。また、zkの計算能力は非常に専門的であるため、ゲームやソーシャルネットワークの開発者がzk計算能力を提供する能力を持っていない可能性が高く、より多くのマイナーを引き付けて計算能力を提供してもらう必要があります。開発者自身が計算能力を維持するのではなく。

PoSとPoWのハイブリッドコンセンサスに基づくOpsideは、この問題を解決できます。zk Rollupを実行可能なサービスに変えることができます。私たちは多くのオープンソースソリューションを研究しました。最近メインネットに上がったPolygon zkEVMや、今後登場予定のScrollやTaikoなどのソリューションについて、私たちはそれらのコンセンサス層を一定の改造を行い、Opsideプラットフォームに適合させます。これにより、OpsideのPoSとPoWのハイブリッドコンセンサスから利益を得ることができ、他のマイナーも参加して分散型の計算ネットワークを提供できます。ユーザーにとっては、zkEVMの互換性を享受でき、BNB ChainやPolygonなどのEVM互換チェーンにシームレスに移行でき、基盤の計算能力の問題を心配する必要がありません。

Leo Fan： Cysicというプロジェクトを立ち上げたのは、私がAlgoでの経験から来ています。Algo自体にはzk証明があり、当時私たちは証明生成の時間を1分以内に短縮しようとしましたが、多くのアルゴリズムやソフトウェアの最適化を試みても達成できなかったため、zk加速ハードウェアのアイデアが生まれました。

経験的に言えば、ZKP計算能力のハードルはやや高く、ZKPアルゴリズム全体を非常によく理解する必要があり、ZKPアルゴリズムの設計の難易度はビットコインマイナーのチップをはるかに超えています。その理由は、アルゴリズムモジュールが非常に複雑で、ZKPアルゴリズム全体が常に変化しているため、設計時には汎用性と効率の両方を考慮する必要があるからです。

現在市場に出回っているすべてのZKPの方法は、特定のアルゴリズムに完全に結びついているわけではなく、皆がこれらのアルゴリズムをより基本的な演算子に分解し、これらの演算子を加速しようとしています。たとえ後でアルゴリズムが変更されても、ソフトウェアレベルで再コンパイルするだけで済みます。したがって、皆が現在、最も効率的な配置の組み合わせをテストしています。例えば、私たちのMSNは、すでに非常に高い効率を持っています。

White Young： 私が2018年に暗号業界に入ったとき、私はコンソーシアムチェーンを扱っていました。当時、私はzkに基づくプライバシー取引を行っていました。なぜなら、コンソーシアムチェーンには多くの金融機関がプライバシーに関心を持っていたからです。イーサリアムの発展に伴い、2019年にはRollupの概念に触れ、zkがスケーラビリティにおいて果たす役割を発見しました。2021年までには、産業ブロックチェーンから暗号業界に移行し、zkの方向で実際に何かを実現したいと考えました。

その後、私たちはzkEVMのソリューションを調査し、スケーリングプロジェクトにとって、最終的なスケーリング効果を実現することがより重要であることに気づきました。既存のプロジェクトには、性能をさらに向上させる余地がたくさんあります。

そこで私たちはOla VMを設立しました。これは高性能と互換性を重視したzkVMです。私たちはOla VMの全体的なpocアルゴリズムを仮想マシンにデプロイし、さらにコンパイラやプログラミング言語に展開しました。これはゼロから設計されたものです。したがって、Ola VMの他に、私たちはプログラミング言語Ola Langも提供しています。

今年1月に私たちはOla VMの方向性を調整しました。スケーリングを行うだけでなく、プライバシー分野にも展開しています。Aztec Networkが新たな資金調達を完了したことから、私たちは暗号業界にはプライバシーに対する真の物語の需要があると判断しました。

Msfew： 当初、私たちがzkの方向を選んだ理由は、The Graphのようなミドルウェアネットワークの安全性が非常に低いことに気づいたからです。つまり、Optimisticのような中央集権的なメカニズムを通じて、またはノードと法律文書を署名してノードの計算の有効性を制約する必要があります。しかし、すべてのDapp開発者にとって、ミドルウェアネットワークは必須のインフラストラクチャであり、私たちはその中に機会を見出しました。zkは私たちにデータの有効性を保証し、ノードがイーサリアムのオンチェーンデータをインデックス化したり、オフチェーン計算を行ったりすることを可能にします。

さらに、私たちは任意のオフチェーン計算をサポートでき、zkの限界を突破しました。zkWASM（WebAssemblyのzkVM）は完全にカスタマイズ可能でプログラム可能であり、zkWASM内で実行されるプログラムはすべてzkの強力な能力を持ちます。これには、検証可能性、信頼不要、分散化、計算の完全性が含まれます。

zkWASMとzkEVMの存在理由は同じであり、EVMはすべてのSolidityスマートコントラクトがzkEVMネットワークに迅速にデプロイできるようにするためのものです。zkWASMはThe Graphエコシステムをサポートすることを目的としており、現在メインネットには800以上のスマートコントラクトSubgraphがデプロイされています。zkWASMはすべてのコードを仮想マシン内で実行し、コードを実行して証明を生成することができます。

Sputnik： 私たちがこのトラックを選んだ理由は、zkには2つの重要な特性があるからです。一つはゼロ知識を実現し、プライバシー保護を提供することです。同時に、Rollupの開発も私たちのチームの技術的特長です。

現在私たちが直面しているいくつかの難点は、アルゴリズム自体の性能の問題です。したがって、既存のアルゴリズムの改善は私たちが注目している課題の一つです。また、zkの実現においては、現在zk回路をサポートする基盤があまりないという問題があります。もう一つは、回路に統一性の問題があり、同じコードが異なる回路によって実現が難しいことです。しかし、現在のところ最適な表現方法はありません。

2、司会者LonersLiu：zkは数学を使って以前の経済学的ゲームを代替したと言われていますが、検閲に対抗するため、単一障害点のあるシステムのアップグレードを避けるため、またはより多くの人々を参加させるためには、異なる参加者を刺激する巧妙なトークン設計が必要です。しかし、現在の計算リソースはPOWまたはAI計算に注目するかもしれませんが、なぜ新しいZKPプロジェクトに参加することを選ぶのですか？各自のZKP製品のトークン経済モデルについてはどのように考えていますか？

Msfew： 安全性について補足しますが、私たちは必ずしもzkWASMを使用する必要はありませんが、イーサリアムの安全性を引き継ぐことを保証するために、StarkNetを通じてイーサリアムの一部の安全性を引き継ぐのではなく、最終的にはzkWASMを選択しました。これにより、証明をイーサリアム上で検証できるようになります。

全体のシステムの経済的インセンティブについて、zkの重要な利点は、純粋な暗号学を使用して多くの複雑なコンポーネントを代替できることです。zkを使用しない場合、現在のいくつかのミドルウェアやオラクルネットワークは、マクロ的にシステム全体に対して多くの経済学的設計や仮定を行う必要があり、非常に複雑な曲線を設計する必要があります。

全体のインセンティブメカニズムの設計において、私たちはThe Graphなどのいくつかの設計を組み合わせ、一部のポンジコンポーネントを取り除きます。トークン設計の最初の目的は、単純にその価格を上げることではなく、トークンを使用して成功した製品や成功したネットワークを構築することです。

3、司会者LonersLiu：過去の安全モデルでは、私たちはゲーム参加者が誠実に参加することを信頼していましたが、zkの観点からは、回路の安全性の問題、制約条件、またはコンパイラを信頼する必要がありますが、その背後には人がいます。あなたたちはどのように安全を確保していますか？監査や他の方法を通じてですか？

Msfew： この点は実際にTrustlessの定義に関係しています。Trustlessは信頼を必要としないということです。しかし、根本を追求すると、実際に信頼を必要としないものはありません。zkプロジェクトを見るには、まずその回路が正しいこと、コードが正しいことを信じる必要があります。ビットコインを見るように、ビットコインのコア開発者が書いたコードが正しいことを信じる必要があります。深いレベルでは、暗号学と数学のルールが間違いを犯さないことを信じる必要があります。

zk全体のシステムの安全性は比較的新しい問題であり、現在、zk開発に関する安全ツールやテストツール、監査ツールは非常に少なく、ほとんどが人工的な監査に依存しています。将来の発展の中で、多くのzk安全関連のツールが生まれる可能性があり、これはすべてのzkEVMや他のzkネットワークにとって良いことです。

4、司会者LonersLiu：Opsideがzk-RaaSを行う際に、もし多くの計算能力があると仮定した場合、どのように計算能力を分配しますか？または、どのようにしてより多くの参加者を刺激してネットワークにサービスを提供させますか？

NanFeng： これは私たちが解決すべき核心的な問題です。しかし前提として、市場の計算能力の供給が需要を大きく上回っていることが必要です。現在、イーサリアムが2.0に移行した後、イーサリアムから排除されたマイナーは行き場がなく、大量の計算能力が解放されました。この大前提の下で、これらの計算能力は何らかの対象を探し、より良いプラットフォームに向かう必要があります。そしてOpsideプラットフォームはこれらのZKP計算能力に対して統一された市場価格を提供します。

現在、多くのzk RollupがイーサリアムやBSCにデプロイされていますが、それらはすべて切り離されています。非常に単純な例を挙げると、すでにメインネットに上がっているPolygon zkEVMとzkSync Eraの間には何の関係もありません。Polygon上の資産とzkSync上の資産は完全に異なるアカウントであり、基盤の計算能力やアルゴリズムも完全に異なります。

しかし、Opside内では、例えば統一されたPolygon zkEVMの規範を採用し、zkSyncやScrollなども規範を持つことができ、統一された価格を生み出すことができます。マイナーにとって、これはもはや切り離されたzkEVMではなく、統一されたバッチ（パッケージ）市場となり、最も高い価格を見つけてZKPゼロ知識証明を生成し、利益を得ることができます。

5、司会者LonersLiu：もしOpsideプラットフォームの計算能力が非常に集中している場合、安全性に影響を与えますか？例えば、POWにおいて計算能力が高度に集中すると、一部のハードフォークが発生する可能性がありますが、ZKPにおいて計算能力が集中するとネットワークにリスクが生じるのでしょうか？

NanFeng： これは実際には従来のPOWとzkEVMのPOWの最大の違いです。従来のPOW、例えばビットコインの計算作業は無意味で、単にハッシュを計算するだけです。しかし、zkEVMの観点から見ると、その計算作業は実際にはZKPの計算能力ですが、それ自体はシステム全体のフォークには使用されません。なぜなら、システム全体のコンセンサスは依然として上位のOpsideによって決定されるからです。生成されたZKPの唯一の役割は、特定のシーケンス（順序付け）が正しいかどうかを検証することです。フォークするかどうかは実際にはOpsideによって決定されます。

6、司会者LonersLiu：Sputnikさん、FOXがどのようにトークンインセンティブを考えているのか教えてください。

Sputnik： この問題の核心は、L2のトークン設計がシンプルで便利であるかどうかです。

そのため、L2は単独でトークンを発行することを選択する場合もあれば、L1のトークンを引き続き使用することを選択する場合もあります。単独でトークンを発行するということは、Layer上で契約をデプロイし、取引を実行するためのGASを別途購入する必要があることを意味します。これはユーザーに不便をもたらし、プロジェクトにとっても良いことではありません。メカニズムがどうであれ、手数料に関する設計の目的はユーザーにサービスを提供することであり、複雑な置換に陥らせないことです。

さらに、トークンメカニズムは、証明を生成するノードを刺激できるかどうか、同時に安全性を保証できるかどうかにも関わります。安全性については主に2つの点があります。一つはアルゴリズムの安全性、もう一つはシステムの、コンセンサスレベルの安全性です。

FOXもこのメカニズムを研究しており、簡単な攻撃の例を挙げます。例えば、あるノードが証明を提出して相応のトークンインセンティブを得たとします。その後、彼が信頼できる計算証明を提出した場合、他のノードもすぐに彼のProof（証明）をコピーして急いで提出することができ、さらには先行して提出することも可能です。これにより、彼らが異なる証明を生成する方法を考える必要があります。これは彼の回路に独自の情報を組み込む必要があります。

7、司会者LonersLiu：プライバシー環境において、zkプロセスを第三者にアウトソーシングする際にデータ漏洩が発生する可能性はありますか？

White Young： 理想的な状況では、プログラム可能なプライバシーはユーザー側で生成されるプライバシー取引を望んでいます。しかし、現在のプライバシーゼロ知識証明の性能は、計算能力が比較的弱いマシンで証明を完成させることをサポートしていないため、基本的には代理ソリューションが存在します。つまり、プライバシーの問題を第三者に設定させるということです。この場合、取引関連情報が漏洩するリスクがあります。例えば、取引送信のアドレス、送信者、取引内容が漏洩する可能性があります。

ただし、これらのプライバシー情報が漏洩する可能性があるとしても、取引を偽造したり、後続の取引を偽造したりすることはありません。同時に、漏洩の範囲は、取引のプライバシーがこのノードに漏洩するだけです。

8、司会者LonersLiu：もしGPT 3.5がAIが主流に向かう代表的な出来事を示すとしたら、その背後にはデータの訓練が一定のレベルに達していると考えられます。あなたたちは、zkが本当に主流に向かうためには何が必要だと思いますか？最近、zkとAIの結合についてもよく言われていますが、この方向についてどう考えていますか？

Msfew： zkWASMのような汎用的なzk仮想マシンが従来の計算プログラムと結びつくとき、zkは本当に主流に向かうことができます。

zkEVMはWeb3とブロックチェーン分野における非常に大きな革新ですが、特定の問題を解決するだけです。一方、zkWASMやzkVMはWeb2における従来の計算の有効性とプライバシーの問題を解決します。zkWASMとzkVMが相互補完することで、ほぼすべての計算問題を解決できるようになります。同時に、zk証明の速度を向上させる必要があります。そうすることで、Web2とWeb3の計算が安心してzkEVMを使用できるようになります。

zkとAIの結合に関しては、zkとAIはあまり異なる方向に進んでいます。zkは暗号学に基づく個人の主権意識に関するもので、計算の有効性とプライバシーの問題を解決します。一方、AIは生産力の解放をもたらします。

zkはAIモデルの計算が有効であることを保証し、AIモデルの背後にいる供給者の身元を検証できるようにします。例えば、特定のAI供給者がGhatGPTであることを確認できる一方で、文言一心などの他のサービスプロバイダーではないことを確認できます。

プライバシーの観点から、zkとAIの結合には2つのモデルが考えられます。一つは個人の敏感なデータが漏洩しないように保護すること、もう一つは特定の計算モデル自体のパラメータが漏洩しないことを保証し、同時にモデル自体の正確性と性能を証明することです。例えば、特定の取引戦略を保護し、そのコードが見られないようにしながら、戦略の有効性を証明することができます。

9、司会者LonersLiu：プライバシーの観点から、従来のインターネット企業は多くの場合MPCを使用してプライバシー問題を解決していますが、そのコストはzkよりも低いです。AIが大量の計算を必要とする場合、zkはMPCに対してどのような利点がありますか？

Msfew： zkの利点はシンプルさにあります。検証速度が非常に速く、任意の計算環境で実現できます。例えば、ブラウザ、携帯電話、またはチェーン上の契約などです。ブロックチェーン分野では、プロジェクト側がブロックチェーンネットワーク全体を説得してデータを受け入れさせるためには、証明を提供する必要があります。この証明は非常に大きくて複雑にすることはできません。この時、よりシンプルな証明方法であるzkがより必要とされます。これがzkとブロックチェーンが密接に結びついている理由でもあります。

10、司会者LonersLiu：AI分野では、ChatGPTが汎用モデルを非常に強力に作成している中で、多くの垂直分野を探索する「ChatGPT」が登場しています。zk分野においても、zkEVMが非常に良く整備されているとき、特定のアプリケーションに対するアプリケーションチェーンを作成するチームも出てきています。ユーザーの特定のニーズについて、NanFengはどのように考えていますか？

NanFeng： 特定のニーズには特定の回路が必要です。典型的な例は、dYdXが元々Starkwareに専用の回路を提供してもらっていたことです。その利点は回路の効率が高いことですが、悪い点は追加の開発コストと高い開発ハードルが生じることです。最も重要なのは、主権がStarkwareに留まり、dYdX自身の手元には残らないため、dYdXの多くの経済モデルを自主的に変更できなくなることです。

したがって、将来的にはマルチチェーンとマルチRollupが長期的に共存する状態になる可能性があります。プロジェクトによってはマルチチェーンモデルを採用する必要があるものもあれば、Rollupルートを選択するものもあります。

11、司会者LonersLiu：以前の質問に戻りますが、zkはいつ本当に主流に向かうのでしょうか？zkとAIはどのように結びつくのでしょうか？White Youngはどのように考えていますか？

White Young： 主流に向かうためには、まず主流のアプリケーションを引き付け、主流のユーザーを獲得する必要があります。zkが行うべきことは、大量の主流ユーザーがブロックチェーンに流入したときに、業界が高性能なニーズを満たすシーンを助けることです。

zkとAIの結合について、私たちは大量のユーザーと高性能なニーズがある場合、原生のガスモデルを使用し続けると、AIの呼び出しにかかるガスが非常に高くなる可能性があると考えています。一つのブロックが必ずしも一つの取引や一回のAI取引の結果をパッケージ化できるわけではありません。したがって、zkを使用してAIの一つの回路の取引をできるだけ良い取引規模で表現し、一つのブロックにできるだけ多くの取引を含める必要があります。次に、ガス消費の問題を解決するために新しいガス課金モデルを使用する必要があるかもしれません。

zkがスケーリング問題をうまく解決できるようになれば、大量の主流ユーザーが本当にブロックチェーンに入ってくると、プライバシーは自然に重視されるようになります。この時、zkは再びプライバシーの面でその役割を果たすことができ、これは段階的なプロセスです。

12、司会者LonersLiu：zk分野にはどのような革新や突破口が注目に値するのでしょうか？これらの革新はWeb3の発展にどのように影響しますか？zk技術のWeb3分野における長期的な価値はどのような点に現れますか？

Sputnik： まず、zkが何をもたらしたのかを考える必要があります。私たちは、zkが情報の差を穿透する能力を提供するものであると考えています。例えば、子供の頃、親が私たちのためにお年玉を保管してくれると言ったとき、私たちは本当に彼らが保管していると信じることができるでしょうか？その間に情報の差が存在しますが、zkは情報の真実性を証明しながら、相手に直接見せる必要がありません。

抽象的に言えば、情報の差があるシーンは多く存在します。例えば、取引所の準備金の証明など、zkはこれらの情報の差を消し去り、私たちが人間の信頼に基づくだけでなく、数学への信頼に基づくことを可能にします。

Msfew： 技術的な面では、多くの技術者がzkに参加し、非常に新しい証明システムを創造しているのを見ることができます。これは一つのトレンドです。アプリケーションの面では、私たちのHyper Oracleのように、任意のオフチェーン計算をサポートするzkオラクルに注目することができます。私たちはzkを利用して、真に分散型のアプリケーションをエンドツーエンドで実現し、安全性を保証することができます。

私たちのzkコンポーネントは、イーサリアムのコンセンサスを任意のシーンで検証するのに役立ちます。例えば、携帯電話のブラウザやスマートコントラクトなどです。私たちのzkオラクルは、イーサリアムにとってブラウザのようなアプリケーションであり、zkコンポーネントはイーサリアムのコンセンサスを補完するものです。

zkの長期的な価値について、zkの本質は、オフチェーンでのハードコアな暗号学的計算を通じて信頼問題を解決することであり、ブロックチェーンの本質は、多くの人々がプロジェクトの計算を繰り返すことで信頼問題を解決することです。私は、将来的にはzkがブロックチェーンよりも強力な暗号学的応用となる可能性があると信じています。zkはブロックチェーンの概念よりも重要ですが、現在のところ両者は相互に補完し合っています。

13、司会者LonersLiu：Vitalikは将来的にイーサリアムLayer1もzk化が必要だと述べていますが、将来的にハードウェア加速が成熟した時代に、スマートフォンやコンピュータでもzk証明を行うことができる可能性はありますか？その場合、zkハードウェアマイニングの規模はどのくらいになると考えますか？

Leo Fan： 検証は問題ないはずです。なぜなら、検証の全体的な計算量は非常に小さいからです。生成は回路のサイズや使用する手順によって大きく関係します。最近、私たちはイーサリアム財団と協力して、全体のハードウェア加速インターフェースの標準化について議論しています。

さらに、私たちはZKPチップを開発中で、来年のQ2頃に発売予定です。このチップの性能は基本的に3090グラフィックカードの64倍であり、多くの複雑なZKP計算を10秒から20秒で完了させることができます。

将来的には、このチップの開発者版も提供し、開発者がUSBなどを通じてノートパソコンに直接接続し、ローカルで計算処理を行えるようにします。

規模はそれほど小さくないはずです。なぜなら、多くのZKPプロジェクトが存在するからです。今年の下半期には、zk prove DAOを設立する予定です。Layer2プロジェクトの例を挙げると、彼らのチップの需要は約2000枚程度であり、Layer1や他のアプリケーションを加えると、粗い需要は1万枚を超えると見込まれます。

14、司会者LonersLiu：zk分野の将来の革新や突破口として注目すべき方向は何ですか？他に何か補足がありますか？

NanFeng： zkEVM分野は、scrollなどのプロジェクトが登場するにつれて、将来的に期待できる分野です。この分野は、より競争の激しい市場を引き寄せるでしょう。zkEVMの互換性、改造性、効率生成、ZKP消費のリソースなどの方向は、注目すべきポイントです。また、これらの側面はプロジェクトの競争力を際立たせることができます。私たちOpsideは、これらの要素を総合的に考慮し、いくつかのソリューションを選択し、プラットフォームに統合してユーザーに最良の体験を提供します。

Sputnik： クロスチェーンブリッジもzkアプリケーションのホットスポットであり、FOXもzk技術を利用して相応の開発を行っています。

クロスチェーンのいくつかの難点は、資産をどのように制御するか、流動性と信頼性をどのように両立させるかです。信頼性の面では、従来の方法では信頼できる中心に依存していました。例えば、一方で資産をロックした後、もう一方のチェーンで対応する資産をアンロックする必要があります。しかし、zkの登場は、信頼性に対して非常に良い解決策を提供します。

White Young： まず一つ明確にしておきたいのは、Olaはプライバシーをサポートするプラットフォームであり、プライバシーだけを行うプラットフォームではないということです。つまり、私たちのプラットフォームで公開取引を行う際にも、私たちはzkEVMです。

スケーリングは確かにzkまたは全体のブロックチェーンが最初に解決すべき問題です。これを解決しない限り、主流のアプリケーションを導入することは非常に難しいです。しかし、スケーリングに関しては選択の問題が関わってきます。互換性の観点から出発するのか、効率の観点から出発するのか、異なる選択が異なる技術路線を生み出します。例えば、scrollは互換性の観点から出発し、最初にイーサリアムエコシステムを直接移行させることを考え、その基盤の上で効率向上を行います。しかし、Olaはまず効率の問題を考慮し、基盤に完全にzkフレンドリーな仮想マシンを構築し、その上で互換性を追求します。全体的に見て、zkの発展はまずスケーリングを解決し、その後に他の側面の機会が続いてくるということです。