4月にモンテネグロで開催されたEDCON以来、「ZK」は今年最もホットなワードとなり、イーサリアムがもたらす物語空間の拡大は新たな最高点に達した。多くの人は、これが数千億ドルの新しい市場となり、より多くの機会と「ZKマイニング」のような富の物語を生み出すだろうと信じています。もちろん、ZK はまだ到来していない新しい時代であるため、現時点では多くの機会を正確に把握することが困難であることも意味します。ZK の将来がどうなるかは、さらに想像力が必要です。そして、=nil; 財団によって構築された Proof マーケットは、数千億ドルのこの時代について私の無限の空想を呼び起こしました。最近、=nil; Foundation の共同創設者である Mikhail Obamarov (以下、Misha) と詳細な会話を交わし、=nil; Foundation、zkLLVM、Proof マーケット関連のトピックについて話し合いました。### インタビューの概要1. 人々は情報圧縮に ZK を使用しますが、これはこのテクノロジー スタックの最も刺激的な「誤用」です。2. ZK プルーフの生成は、そのような専門的なサービスを提供する生産者に委託し、市場の要求に応えるための専門的な生産者ネットワークを形成する必要があります。3. 現在のプルーフ市場では、PEV（証明者抽出可能価値）という現象が現れています。4. Proof マーケットはまだ完全に分散化されていないため、これが今後しばらくチームのワークセンターとなるでしょう。### = nil; 原点ミーシャは 2013 年から暗号化業界に携わっています。サークルに入った後、彼が最初にしたことは、Bitmessage の C++ 実装を研究することでした。これはビットコインのメッセージング プロトコルであり、その後何度か破られていますが、当時は多くの人が夢中になっていました。その後、ミーシャはダン・ラリマー（つまり、BM、Steemit、Bitshares、EOS の創設者）とともに BitShares を中心に一連の開発作業を開始し、その過程で後に Lido を開発する Konstantin Lomashuk に会いました。当時、Konstantin は Bitshares 関連の暗号化プロジェクトをいくつか抱えており、ロシア専用の Steemit フォーク、つまり Golos Network を作成したいと考えていました。2016 年、ミーシャはダンとコンスタンティンとともにゴロスの CTO として新たな旅を始めました。しかし2年後、ミーシャはゴロスに飽き、ダンが設計した製品は満足のいくものではなく、内部構造も不適切で、品質も十分ではないと考えた。その結果、ミーシャはゴロスやスティーミットなどの関連プロジェクトを離れ、2018年4月にコンスタンティンとともにニルを設立した。Misha の当初のアイデアは、適切なデータ管理、アーキテクチャ、セキュリティなどの欠如など、Golos と Steemit に存在する不安定性の問題に人々が遭遇するのを防ぐことでした。したがって、Nil の目的は、データベース管理業界の成果を暗号化業界にもたらし、この分野にさらなる信頼性、セキュリティ、拡張性などをもたらすことです。もちろん、ミーシャが予期していなかったのは、彼の新しい旅が、暗号化された世界のスケーラブルな未来のまさに中心につながるということでした。**BlockBeats: 暗号化ビジネスを始めたきっかけや暗号化業界に参入した理由など、簡単に経歴を紹介してください。 ****ミーシャ**: それは昔のことです。私が暗号通貨業界に関わるようになったのは 2013 年頃で、当時は Bitmessage の C++ 実装に取り組んでいました。当時誰もが夢中になっていたビットコインのようなメッセージング プロトコルを覚えているかもしれません。何度かハッキングされましたが、当時はまだ人気がありました。それから私は BitShares と Dan Larimer (つまり、Steemit、Bitshares、EOS の作成者 BM) を中心に開発を開始し、その後 Konstantin Lomashuk に会いました。今ではおそらく Lido のおかげで彼のことを知っているでしょう。当時、彼は Bitshares 関連の暗号化プロジェクトをいくつか抱えており、ロシア専用の Steemit フォークを作成したいと考えていました。そこで私たちは Golos を設立し、私は 2016 年に CTO に就任し、それ以来一緒に仕事を続けてきました。しかし、2018 年 4 月に、私は Golos に飽きました。ダンが設計した製品が満足のいくものではなく、彼の製品は決して長く動作しませんでした。そして、動作はしましたが、内部アーキテクチャが私には合わなかったと思います。それは、品質が合わなかったのです。それで十分だったので、私は Golos と Steemit や他のすべてのプロジェクトを辞め、2018 年 4 月に Nil を始めました。当初の私の目標は、Golos と Steemit で私が抱えていた問題、つまり適切なデータ管理、アーキテクチャ、セキュリティなどが備わっておらず、すべてが非常に不安定であるという問題に人々が遭遇しないようにすることでした。それが良い解決策だとは思わなかったので、信頼性、セキュリティ、スケーラビリティなどを意味するデータベース管理業界の仕事を暗号化業界に持ち込むために、Kosta と Nil を設立しました。その後の物語はニルの成長です。**BlockBeats:=nil; 財団はいつからゼロ知識証明に注目し始めましたか? ****ミーシャ**: 振り返ってみると、最初の DBMS (データベース管理システム) プロトタイプが完成した 2020 年頃に、いくつかの問題に気づきました。正直に言うと、データベース管理システムと暗号化業界の統合を試みるまで、実際にそのようなことを試みようとした人は誰もいませんでした。そして、このプロジェクトが完了したとき、信頼の前提が私たちが望んでいたものではないことに気づきました。私たちのデータを使用するかどうかにかかわらず、それがうまくいくかどうかは、誰もが私たちを信頼する必要があります。私たちは、この不信感を軽減する方法、信頼性をできるだけ低くする方法を考えました。その後、ある種のテクノロジを使用する必要があるかもしれないことに気づきました。この目標を達成するには、暗号化ツールが必要です。そこで、この目的のために、A暗号スイートが構築されます。当時はまだ業界も発展途上で、アークワークスのような開発環境もありませんでしたが、理論的な構想や実験はあったのでやってみなければいけないと考えていました。私たちはスイートを構築し、独自の証明システムを構築しました。次に、イーサリアム財団とミナ財団の人々と協力して回路コンパイラを構築しました。自分たちでプルーフを生成しないようにするために、私たちはプルーフ生成に市場力学を導入するためのプルーフ マーケットを設立しました。ミナ財団の人々とコンパイラを構築する際に、私たちはソラナ財団の人々とも協力しています。その過程で、私たちは Proof of State が必要であることに気づきました。Proof of State は当時、Mina と Ethereum の人々が探していたものでした。 2021 年の初め頃、データベース管理システムに必要な状態証明を開発していたとき、ミナ、イーサリアム、ソラナの人々は、これが「zk ブリッジング」であると感じました。なぜなら、Justin Drake、Evan Shapiro、Anatolly は皆、より安全な Bridge テクノロジーが必要だと考えているのに、それを何と呼んでも、それは zkBridge だと言っているからです。**BlockBeats: ゼロ知識証明に関しては、暗号化の分野ではかなり長い間研究と試みが行われてきましたが、大きな進歩は得られませんでした。しかし、今年に入ってから、ZKフィールドの開発はパンク状態になっているようですが、なぜでしょうか？ ****ミーシャ**: 実際には、zk テクノロジー全体に適用できる方法は 2 つだけです。1 つ目の方法は明らかにプライバシー目的で使用され、2 つ目の方法は、みんなが話題にしている拡張などの圧縮に使用されます。 、zk-Rollups、zk-Bridges、zk-MLS、zk-Oraclesなどの出現。人々は圧縮のためにこのスタックを「誤用」していますが、これは私がこれまで見た中で最も刺激的な「誤用」だと思います。そこで問題は、なぜ今なのかということです。私たちはこれを数年前に達成することができましたが、これは、それを使いやすく、実現可能にし、興味深いものにするためのいくつかの重要な技術開発マイルストーンとなる可能性があります。最初のマイルストーンは 2016 年に起こり、このテクノロジーは暗号通貨業界にとってますます有用になりました。当時、ランク 1 制約システム (R1CS) が非常に一般的になり、さまざまなアプリケーションが登場し始めました。基本的に、プライバシーの保護が可能になると、このことが可能になります。例えば、Zcash、Tornado Cashなど。これらのプロジェクトはその時代に生まれた、またはこれらのプロジェクトのアイデアはその時代に生まれました。2 番目は 2019 年から 2021 年の間で、この技術にとって 2 番目の重要な時期となります。当時、ブルーム フィルター (Blunt 議論) がますます人気を博しました。人々はブルーム フィルターに基づいた証明システムを構築し始めました。また、プレースホルダーと呼ばれる独自の証明システムもあります。この期間がなぜ重要なのでしょうか?これらのブルームフィルターベースの証明システムのおかげで、プロジェクトがこのスタックを圧縮に使用できるようになるからです。これにより圧縮が改善され、2021 年には適切なロールアップ スケーリングと zkBridge をより安価に実行できるようになります。現在、私たちは証明システムのさらなる開発においてある程度の進歩を遂げており、プロジェクトでも一定の進歩を遂げています。情報が長期にわたって共有されるこのような環境では、複雑な数学的制約や計算を記述することも非常に困難であると言えば十分でしょう。 STARK の導入、この複雑さの問題を解決するための zkVM の導入、アプリケーションの構築を容易にする zkLLVM コンパイラの導入など、多くの人々がこの問題に取り組んできました。 2019年から2021年にかけて証明システムの開発が進み、2020年後半から2021年初頭、2022年後半にかけてツールの開発も進みました。これらすべての進歩により、複雑な計算の証明を構築することが十分に効率的で経済的に実行可能になります。もちろん、証明システムの開発はまだ終わっていません。より多くのアプリケーションシナリオを実現するには、システムを証明するためにやるべきことがまだたくさんあります。例えば、今年か来年になるかもしれませんが、証明システムの開発が行われることになると思いますが、ここでも関連する研究開発を行っております。これらの証明システムの開発により、経済的に実行可能な zkLLVM アプリケーションが可能になり、私たちはそれを実現する最初のチームになることを望んでいます。とにかく、現在、誰もが証明システムを改善しようとしています。**BlockBeats: zkLLVM について言及しましたが、これは開発者が独自の zk 回路を作成するために構築されたコンパイラーです。 zkLLVM の重要性はどこだと思いますか?また、製品の現在の成熟度はどの程度ですか? ****Misha**: zkLLVM は最初ではないかもしれませんが、最初の回路コンパイラの 1 つでした。これまでにプロトタイプや DSL プロジェクトを見たことはありましたが、仮想マシンの代わりに完全に機能する回路コンパイラを使用したものは、これまであまり見たことがありませんでした。いくつかありますが、実際に使っている人がいるかどうかはわかりません。だからこそ重要だと思います。そして、この業界ではかなりの数の人々が、「自分が作ったわけではない」というジレンマを解消しようとしていますが、これは非常にエネルギーを消費します。明らかに、人々は最終的に本当に優れた製品を作成することになりますが、この「私が作成したわけではない」というジレンマにより、開発に時間と費用がかかります。たとえば、私たちは現在 Zoom を介して通信していますが、ラップトップ上のほぼすべてのソフトウェアは LLVM でコンパイルされています。私たちはそれらすべてを取り上げて証明可能にしただけです。したがって、私たちはコンパイラーのエコシステム全体を暗号業界に持ち込んで、効率性と経済性を高めるためにこれらの取り組みを暗号空間で再利用できるようにしているだけだと思います。これにより、広く使用されるプログラミング言語も誕生しました。世界中には、Rust、C++、Go、TypeScript などで書かれた、イーサリアム内やトラストレス環境で実行したいソフトウェアがたくさんあります。私のお気に入りの例は、人々が Doom ソース コード (C/C++ ソース コード) を取得し、それを zkLLVM 経由で Ethereum に証明し、それを相互にドラッグして、完了するまでにどれだけ時間がかかったかを誇示することです。たとえば、私は Doom スピード チャレンジを 20 分で完了しました。これが、Doom スピード チャレンジを 20 分で完了したことを証明する証拠とイーサリアム NFT です。**BlockBeats: 現在 zkLLVM を使用しているのはどのユーザー グループですか?また、どのような製品が作成されていますか? ****ミーシャ**: 多くの異なる種類のプロジェクトがこれらのテクノロジーを使用しており、いくつかのプロジェクトは、デプロイするために何かを構築しているところ、またはすでに実行されているものかもしれません。最も明白な使用例は、証明システムによって保護された、コンパイラーで構築された zkBridge です。おそらくこれが、私たちがコンパイラーの必要性を認識し、最初にコンパイラーの構築を開始した理由の 1 つです。また、プログラムの正式な仕様を証明ステートメントに組み込むのではなく、形式的なステートメントをコンパイルする zkLLVM コンパイラーを使用して証明に凝縮するために、証明ステートメントの形式的な検証に使用することも試みられています。実際、人々はコンパイラをコンパイルします。たとえば、zkOracles のようなアプリケーションを考えてみると、人々はイーサリアムの履歴データを取得するために zkOracles を構築したり、イーサリアムのステーキング発行を確保するために Lido を構築したりしています。 2 年以上運営されているにもかかわらず、人々は信頼に関する前提条件が多数存在する問題に取り組んでいます。 2020 年に Lido を設計したとき、これは許容可能でしたが、ユーザーの TVL を危険にさらすわけにはいかないため、信頼の前提を減らしたいと考え、ZK の Proof of Work で保護することにしました。他にもたくさんのプロジェクトがあり、正直に言うと永遠に続けることができます。現在、CRM には約 80 のプロジェクトがあります。**BlockBeats:=nil; Foundation は以前、StarkWare、Mina、その他の L2 チームやその他の VC から 2 億米ドルを超える評価で投資を受けていました。この資金はProof市場の構築に使用されるのでしょうか、またStarkWareとMinaからの投資は特定のエコシステムと協力する傾向が高まることを意味しますか? ****ミーシャ**: これは、この 5 年間で最初で唯一の資金調達ラウンドです。以前はその必要がなかったため、今がそれを行う時期だからです。私たちは十分なプロトタイピングを行い、十分なプロジェクトを支援し、十分な学習を行ってきたので、構築すべきと考える方法で製品を発売するのに十分な強さと自信を感じています。この資金調達ラウンドは約 1 年前に終了し、実際に資金調達が行われてから数か月後に発表しました。私たちは、「これは私たちが作ったものです」と安心して話し始めるまで、資金調達を発表しませんでした。お金を集めるために、お互いに何かを約束し始めると、何のためにお金を集めたのか、何を届けるつもりなのかと聞かれるようになります。製品とは何ですか?誰かがあなたの製品を使用していますか?そのため、少なくとも何らかの対応が完了するまで、このテーマに関する議論は意図的に延期しました。私たちは、Mina と Starkware チームのエコシステム全体と実際に連携しています。すでに、Mina エコシステムには、私たちの上に構築されたり、私たちと一緒に構築されたり、私たちと提携したりするアプリがたくさんあります。最近、ミナのチームはロールアップの研究と開発を開始しましたが、これには多くの検証機能が必要です。さらに、2021 年には、Mina を使用してコンパイラベースの状態証明検証を構築しました。これは、私たちが協力したもう 1 つの mina エコシステム プロジェクトです。Starkware エコシステムとの連携でも多くのことが起こっています。もちろん、これが私たちのコラボレーションの目的であり、Starknet エコシステムの証明可能なアプリケーションにも役立ちます。たとえば、ゼロ知識証明ブリッジとして当社の技術スタックを使用する、Starknet へのブリッジ プロジェクトがいくつかあります。いくつかのゲーム プロジェクトで、検証機能が必要であることがわかりました。他にも、古いブリッジ技術を使用し、状態証明検証を活用し、その上にイーサリアム アプリケーションを構築しようとするプロジェクトがいくつかあります。 StarkNet 上に L3 を構築している人もいますが、検証機能を持つことが良い選択肢になるだろうと彼らは言いました。とにかく、それが私たちが彼らと協力してきた目的です。正直に言って、私はこのパートナーシップに満足しています。### ZK プルーフの流通市場ゼロ知識証明 (ZK Proof) は、現在の暗号化市場における ZK 分野の絶対的なコアであり、その存在は ZK Rollup や zkEVM などの多くのシナリオに無限の可能性をもたらします。ただし、ZK プルーフの生成は重い計算タスクでもあり、プルーフを完了するまでに数時間かかることがよくあります。そのため、現在のほとんどのソーターは依然として集中化の問題を解決できません。 ZK 証明を確実かつコスト効率よく生成するには、コンピューティング インフラストラクチャを開発および維持するだけでなく、それを拡張する必要もあります。ミーシャ氏の見解では、市場メカニズムの導入がこの問題に対する最適な解決策です。=nil; 財団チームは、ZK プルーフの生成は、そのような特殊なサービスを提供するプロデューサーに委託すべき作業であると考えています。この前提の下では、誰もが必要な ZK プルーフの生成をリクエストでき、プロのプロデューサー ネットワークがそのようなリクエストに応えるプルーフ マーケットが必要です。**BlockBeats: それでは、具体的に Proof Marketplace について話しましょう。このアイデアはどこから来たのか、またその背後にあるストーリーは何ですか? ****ミーシャ**: このアイデアは、2020 年から 2021 年末まで、ファイルコインに関連するプロトコル アプリケーションやさまざまなことに私たちが広範囲に参加したことに由来しています。私たちはファイルコインの周りで起こっている狂気を直接目撃しただけでなく、私たちの視点からそれに参加しました。そのとき、私たちはすべての証明システムを正しく行う方法、適切な引数を行う方法などを学び、公開バージョンより 10 倍高速な Filecoin 証明器を実装し、マイナーがハードウェアを最大限に活用できるようにしました。実際、私たちはマイナーの観点からコストを削減しようとするすべての実験を監視するハブです。その間、私たちは、このハードウェアを使用してこの特定の証拠を生成するのにどれほど価値があり、どのくらい時間がかかるか、誰がどのハードウェアを使用しているか、そのためにどのデータセンターが構築されているかなど、多くの実際の市場データを学びました。そして、イーサリアム財団、ミナ財団、その他多くの団体と協力して、これらの国家の証明と合意の証明が非常に面倒であることがわかり、誰もこれらを自分で証明することを絶対に許可しません。正直に言うと、大きすぎるため、この種のハードウェアをすぐに生成できるものは誰も持っていません。たとえば、ミナのコンセンサスと同様に、ミナの国家証明は政策投資家曲線に約 350 億ドルを掛けたものですが、これはかなりの額です。または、Solana Proof of Consensus には、とりわけ約 4000 の ECDSA 署名が含まれており、生成には多大な時間がかかります。これに気付いたとき、私たちはもうそれを行わないことに決めました。私たちは、よし、この作業は外注しようと考えました。ファイルコインに関連するデータがすでにたくさんあるので、このための市場を構築します。市場を構築しましょう。それを商品にして、市場のダイナミクスをこれに適用して、人々が集中プロトコルによって調整されるようにします。それらは互いに競合するため、ハブではなくプロトコルをハブにします。私たちの考えは正しかったことが分かりました。現在、誰もが Proof マーケットを構築しており、私たちはその方向性を推測しました。**BlockBeats: Proof マーケットを構築するとき、すでに構築した zkLLVM とのダイナミクスを考慮しましたか? ****ミーシャ**: 最初は 2 つのプロジェクトは実際には別々のものでした。それらは 2 つの別個のものでした。たとえば、回路を構築するにはツールチェーンだけが必要です。手動で構築するわけではないため、ツールチェーンは大きすぎます。その後、他の人もこのツールチェーンを必要としていることがわかり、誰もが使用できるようにオープンソース化することにしました。そして、プルーフ市場もまた別のものです。なぜなら、私たちはそれが単なるプルーフ生成市場であると考えているからです。私たちは、証拠をもとに推測しようとする人々のことなど考えもしませんでした。彼らは実際には安く買って高く売ろうとしているのですが、そんなはずはないのでかなりばかげていますが、とにかく、それが現状です。Proof マーケットをサポートするプロトコルは、非常に特殊なプロトコルである必要があります。これは、多くの検証が必要であり、この面で多くの負荷を処理する必要があるためです。人々が検証が必要なデータを持って来た場合、彼らはそのデータをプルーフ市場のオーダーブックにロードするため、大量のデータを扱う必要があります。そのため、プロトコルは非常にデータ集約的になります。平均的な状態の証拠。よくできた平均的な状態証明の記述が約 2GB のデータを消費したら、2GB のデータを処理できるプロトコルを探してみてください。それはほぼ不可能です。しかしその後、人々は zkLLVM を使って非常に大きなことを証明し始め、Ross や C++ などのコードベースは人々が Solidity で行っていたものと比較してかなり巨大なものになりました。そこで、それらをまとめて相互に関連させて、サービスとして使用できるようにします。私たちはコンパイラーがかなり効率的に機能していると今でも考えており、このままの状態を維持したいと考えています。**BlockBeats: 現在、Proof 市場の主なユーザー グループと参加者は誰ですか? ****Misha**: 最初のタイプのユーザーは主に zkBridge で、一部のコンセンサス証明と状態証明は生成するのが非常に重いです。イーサリアムのコンセンサス証明のような正しく安全な検証を生成する場合、たとえば、完全なイーサリアム コンセンサス検証と 100,000 ノードすべての署名バリデータ検証を使用すると、生成に時間がかかります。2 番目のカテゴリは zk oracles です。これは、イーサリアムの履歴データにアクセスする必要があるアプリケーションや、特定の方法でイーサリアム データを処理して、それを EVM で使用する必要があるアプリケーションなどです。担保資産のリスクパラメータを計算してEVMにロードしようとする融資プロトコルなど、一部のアプリケーションはこの方法でガスコストを削減しようとしますが、コストの観点からEVMで計算することはできません。彼らは、さまざまな取引所やさまざまな指数から必要なすべてのイーサリアム データを取得し、それを EVM に入力し、それを担保のリスク パラメーターのセットとして使用します。これは、別の Lido の神託のようなもので、一連の計算 (Proof マーケットや zkLLVM 単体のセキュリティなど) をアウトソーシングすることで、プロトコルがどのようにセキュリティを向上させ、実行コストを削減できるかを示しています。ゼロ知識の神託が非常に重要であることは疑いの余地がありません。3 番目のカテゴリはロールアップです。これは既存のロールアップまたは新しいロールアップで使用でき、一部はそうしようとしています。 Rollup バリデーターになろうとする人は誰でも、Proof マーケットで何らかの証明を実装したいという願望を抱くでしょう。特殊なハードウェアを扱い、レンタルした AWS サーバーでノードを実行することは、検証者にとって非常に困難です。 AWS は現在 ATX を提供しておらず、非常に強力な GPU も提供していないため、基本的にバリデーターはこれらの zkLLVM ユースケースに付属します。明らかに、zkLLVM の使用例はすでにいくつかありますが、まだ本番環境にはなっていないことを認めなければなりません。zkLLVM の使用例は、手元のモデルの複雑さを正当化する必要があるため、大規模なモデルや非常に複雑なモデルにも非常に適用できます。これも現在進行中のものですが、繰り返しになりますが、まだ製品化されておらず、実験段階にすぎません。運用が開始されれば、Proof 市場を証明可能な AI コンピューティング市場に変えることができます。これはばかげているように思えます。**BlockBeats: Proof Market の Proof Generator になりたい場合、要件は何ですか? ****ミーシャ**: 証明ジェネレーターになるための要件や制限は実際にはそれほど多くありません。すべては証明したい特定の回路と特定のステートメントによって異なります。私たちは「Proof Market Toolchain」というものを特別に用意しており、証明者がマーケットでさまざまな証明を処理する際に、それをサービスとして起動するか、マシン上で動作するツールチェーンとして使用するだけのバックステージプロセスです。特定のステートメント、特定の回路、特定のアプリケーション、特定のプルーフに対して、より優れたハードウェア供給が市場にない場合は、注文を受けてプルーフを生成できます。最高のハードウェアを持っていて、プルーフを最速で生成することを約束でき、他に優れた競合他社が存在しない場合は、注文を受けてプルーフを生成し、報酬を得ることができます。**BlockBeats: =nil; Foundation を使用しているすべてのユーザーはアカウントを登録する必要があります。生成されたプルーフ自体、またはそのトランザクションおよび所有権情報がプライベート サーバーに保存されている場合、集中管理の問題が発生しますか? ****ミーシャ**: これはまさに私たちが年末までに取り組む予定のことです。はい、現在の市場の証拠はそれほど分散化されていません。私たちはそれをサポートするプロトコルノードをリリースしておらず、このプロトコルについて公の場で話したこともありません。現在の仕組みは次のとおりです。Lido にも参加し、バリデーターとしてバリデーターとして機能し、バリデーターオペレーターとしてバリデーターとして機能する数人が、一時的にそれをホストして、どのように進むかを確認することができます。その後、ソース コードを配布し、実際に 6 つまたは 8 つをテスト モードとして実行しました。現時点では、システムはある程度分散化されていますが、公開されておらず、真に分散化されていません。誰もが Proof Market ノードに参加して実行できるわけではありません。それは私たちにとっても疑問です。私たちはセキュリティについて、どの程度分散化されているか、信頼できるかについて尋ねてくれるアプリが大好きです。これは現状でも使えるものなのでしょうか？私は、「はい、できます。しかし、テストモードで実行しているため、十分に分散化されていません」と答えました。この問題の解決に向けて、私たちの当面の最重要課題として全力で取り組んでまいります。**BlockBeats: これらの問題に対処するためにどのような措置を講じていますか? ****ミーシャ**: まず、最初から特定の分散プロトコルを使用して、分散プロトコルに基づいた市場実証を設計しました。導入と運用についていくつかのオプションを検討し、イーサリアム上に直接導入することを試みましたが、経済的実現可能性を計算したところ、これを実行すると年間約 25 億ドルのイーサリアム料金を支払う必要があることがわかりました。そのため、イーサリアムで市場を運営することは財政的にまったく不可能であることが判明しました。次に、Rollup などで実行してみます。しかし、いくつかの異なるロールアップを試したにもかかわらず、コストは依然として高かった。プルーフ・オブ・マーケットの運営と裁定取引のコストを計算したところ、プルーフ・オブ・マーケットのコストだけで年間 2 億 5,000 万ドルに達し、これも非常に高額なコストであることがわかりました。そのため、負荷、コスト、大量のデータなどを処理できる独自のプロトコルを考え出す必要がありました。私たちの目標は、アプリケーションがイーサリアムに依存する他の方法がないため、このプロトコルを可能な限りイーサリアムのセキュリティに近づけることです。シリアル化の際、処理される負荷は基本的に同じであるため、このプロトコルはシリアル化などの操作にも非常に便利であることがわかります。注文者と証明者の間の待ち時間を短縮して、すぐにデータを証明者に送信してブロックを獲得できるようにしたいと考えています。このプロトコルにシーケンサーをどのようにデプロイするかは、私たちの現在の主な関心事の 1 つでもあり、サードパーティの開発者が使用できるプラットフォームを構築して、誰でもこのプロトコルをサポートするノードを起動して実行できるようにしたいと考えています。そして、コード展開の点で、市場実証アプリケーションがイーサリアムと同じくらい安全であることを確認してください。**BlockBeats: プロトコルのインセンティブ メカニズムについて詳しく教えていただけますか? ****ミーシャ**: もちろん、私たちは証明の支払いにさまざまなトークンを使用したいと考えています。そのため、全員に特定のトークンの使用を強制することはできません。つまり、私たちは中立であるため、できる限りトークン中立でなければなりません。あらゆる製品やアプリケーションで使用できます。たとえば、Arbitrum と Ethereum の連携方法に似ている可能性が高く、Ethereum と Arbitrum を併用できるのに、なぜそうではないのでしょうか。この方向への最初のステップは、間違いなく、先日デプロイした EVM Endpoint Approval Marketplace です。これは、イーサリアムでデプロイされたすべての資産を、承認者またはプルーフ マーケットで独自のトークンを支払う意思のあるアプリケーションに対するインセンティブとしてプルーフ マーケットで使用できるようにする支払いソリューションであり、これはこの方向への最初のステップです。ステップ。### マーケットの奇抜さを証明する市場である以上、人々が予測したり制御したりできない変動性と複雑性が存在するはずです。人々が ZK 証明について推測するかどうか、またどのように推測するかは、チームが監視し記録する必要がある重要なデータです。数か月にわたる実際のテストの後、Proof 市場ではどのような興味深い現象が現れましたか?チームは将来に向けてどのような計画を持っていますか?**BlockBeats: 市場メカニズムの導入により、プルーフ生成プロセスは延長されますか? ****ミーシャ**: オークション、つまり仕事の最高入札者を見つけるのには時間がかかります。おそらく私たちにとっては数秒ではなく、数秒です。通常、このプロセスには数秒かかりますが、ほとんどの場合は 1 秒未満です。需要と供給が非常に豊富であるように思われるため、1 秒未満の遅延が発生します。1 秒未満の遅延があっても、私が見た最悪のケースでは、アプリは 3 ～ 4 秒間プロバイダーを見つけることができません。しかし、それでも、この遅延はプルーフ生成時間全体に匹敵するものではありません。したがって、市場力学によって得られる群衆生成の利点に比べれば、それは懸念事項ではないと思います。**BlockBeats: 誰かが生成された証明を使って推測したい場合、それは良いことですか、それとも悪いことですか?チームは何らかの形で介入するだろうか？ ****ミーシャ**: 私たちのサイトでは奇妙なことがたくさん起こっています。今言及したことは最も奇妙なことではありません。プルーフ市場ではさらに奇妙なことが起こっていますが、最初にそれについて話しましょう。推測の問題。私たちにはそれができないので、これを制御することはできません。このプロジェクトを一般に公開し、このプロトコルを誰もが利用できるようにし、ロールアップなどで週に 1 回実行できるようにすると、私たちはこれらすべてを制御できなくなります。私たちは今、干渉しないように、何かをしようとしないように努めています。なぜなら、いつかはそれができなくなるからです。それでは何の意味があるのでしょうか？それでは、推測してみましょう。証明可能なアプリケーションのような回路のようなアプリケーションを構築できますが、基本的にはそれだけなので、推測も可能です。プルーフ市場での投機以外の用途はありません。私がこれまで見た中で最も奇妙な使用例の 1 つは、計算能力と先物を取引し、その先物を使って投機的な議論をしようとする人です。これはビットコインのハッシュレート先物に似ていますが、zk プルーフでも同様です。 MEVについて疑問に思ったことはありますか?実際に Prover Extract Value (PEV) があると言ったらどうなるでしょうか?アプリケーションがデータを持ってきて、何かが証明を必要とし、証明者がそれを行うというようなことは機能しません。データを取り込み、証明の生成を開始すると、すべてが期待どおりに機能します。しかし同時に、証明者がこのデータなどでさらに利益を得ようとしている場合も同様です。彼らはこのデータを、イーサリアムや他のプロトコル、さらにはロールアップなど、他の場所で使用します。彼らは、このデータを証拠の生成に使用するのではなく、このデータからできるだけ多くの価値を抽出するためにこれを行います。抽出可能な価値証明には他にもさまざまなタイプがあります。たとえば、証明がいつ生成されるかを予測し、API をリバース エンジニアリングして Proof Market プロトコルにトランザクションを挿入してプルーフを売買するトランザクションを挿入しようとする人などです。それ。このようにして、イーサリアムのトランザクションでライトニングマイナーや構築者や提案者が投機するのと同じように、証明者が販売したり、購入者が価格を推測してそこから価値を引き出すことができます。証明者が証明を生成するときに取得したデータを悪用するのを防ぐ方法を実験し始めた人もいます。これを行うには、FHE (準同型暗号) データの証明を生成するしかありません。彼らは証明の生成に必要なデータを隠すために zkFHE のようなものを作成しようとしていますが、FHE は計算コストが非常に高いため、証明のコストが増加します。それを空に飛ばすようなもので、証拠コストが2倍、3倍、さらには10倍にもなります。しかし彼らは、誰も私のデータを使用していないし、誰も私のデータから何も抽出していないと言うでしょう。したがって、zkFHEは、高レベルの複雑さのような独立した複雑さのレベルであるProof市場から生まれます。**BlockBeats: 現在、Proof マーケットは ZKLLVM および mina と互換性がありますが、将来 Proof マーケットがさまざまな回路のプルーフをどのように生成するか知りたいです。 ****ミーシャ**: 簡単に言えば、プロセスは次のとおりです: アプリケーションは証明する必要があるステートメントを運び、このステートメントはバイトコードまたは仮想マシンにコンパイルされて、プルーフ マーケットを強化します。この仮想マシンは EVM です。そして彼らはこの要求を持ってここに来て、私がこの主張を証明する必要があると言いました。 Proof Market は許可を必要とせず、その後、新しい回線ペアが展開されます。これにより、新しい回線ペアが生成され、それぞれの新しい回線が新しい取引ペアになります。証明者が特定の新しいクレームの必要性を認識した場合、その新しいクレームは突然の継続的なニーズ、一度限りの大きなニーズ、または 1 回限りだが依然として興味深いニーズである可能性があります。証明者は、「分かった、この回路を関心のある回路のリストに追加したい、そしてこの回路の証明を生成したい」と言うことができます。その後、Proof Market は適切な変更を加え、プルーフを生成して送信します。私たちはこのプロセスをできるだけ簡単にするために懸命に取り組んでいます。**BlockBeats: さまざまな証明システムにどのように実装されますか? ****ミーシャ**: これはもっと興味深い話です。さまざまな証明システムが Proof マーケットに接続するための要件は基本的に 1 つだけです。それは、この証明システムのベリファイアを EVM バイトコードにコンパイルすることです。 Proof マーケットプレイスを動かすのは EVM であるため、バリデータは EVM にコンパイルされます。 Solidity で書かれている場合もあれば、Rust または C++ で書かれている場合もあります。Solidity で書かれている場合は、それをデプロイするだけでよく、Rust または C++ で書かれている場合は、zkLLVM を利用して Rust と C++ のベリファイアをコンパイルするツールチェーンを提供し、zkLLVM をメインラインの言語から言語への変換として使用できるようにします。 Rust、C++、またはその他の言語からバリデータを生成し、Proof マーケットプレイスにデプロイできる EVM コンパイラ。導入後、Proof マーケットプレイスは新しいプルーフ システムの検証をサポートします。その限りにおいては無許可です。**BlockBeats: あなたはかつてロールアップの分散化プロセスに関するラウンドテーブルディスカッションで、=nil; と言っていたのを覚えています; Foundation の道はほとんどのロールアップとは逆であり、最初にプルーフ生成ネットワークを構築し、次にソーターの変更を分散化することです。それでは、=nil; Foundation の Proof マーケットプレイスは、これらのロールアップ プロジェクトの分散型ソリューションとなる可能性があるでしょうか? ****ミーシャ**: デンバーでのことを覚えています。私たちがさまざまな方向から市場戦略について話していたとき、多くの人がゼロ知識証明、証明システム、そして社内で大量の証明を必要とする多くのアプリケーションを開発していました。そして彼らは次のような問題に遭遇しました。私たちは製品を開発しましたが、分散化されていないため完璧ではありません。証明も分散化されていませんが、十分な証明力がないため、行き詰まっています。人々は製品を開発しましたが、行き詰まりを感じています。私たちの側では、これらの問題を解決するためのテクノロジースタックを構築しており、市場サービスを改善し、バリューチェーンに統合し、証明の分散化と分散化を実現し、ロールアップのサポートを提供できます。その仕組みとしては、ロールアップの検証者はどこかから認証を取得する必要があり、検証者自身が認証者になる必要があります。場合によっては、検証者が独自のハードウェア、GPU、ASIC などを構成したくない、構成できない、または構成できない場合があります。資本だけがあってインフラストラクチャがない場合は、どこかから証明を入手する必要があります。現時点では、Proof Marketこれは素晴らしいことです。資本はあるがインフラを持っていない、またはインフラを所有したくない人々に証拠を提供します。2 番目の点は、私たちが異なる方向から始めたと述べた理由ですが、私たちは意思決定の観点からそれらを改善することに着手しました。サードパーティチームのような人々は、私たちの上に分散型ソーターを追加しようとしています。おそらく誰かがシステム全体の上にロールアップを置くでしょう。その頃には技術スタックが完成し、システム全体が実装されるでしょう。**BlockBeats: 最後に、ミーシャは =nil を明らかにできますか? 今年の財団のロードマップで最も重要なことは何ですか? ****ミーシャ**: 私たちの主な方向性は 2 つあります。 1 つ目の方向性は検証可能なアプリケーションであり、これらのユースケースを公開し、より多くの人に知ってもらう必要があります。これらのいくつかはすでに知られており、いくつかはあまり知られておらず、まだ有効になっていないものもあります。たとえば、zkLLVM の使用例では、zkLLVM アプリケーション専用に構築されたフロントエンドが必要です。これにより、Drupal と zkLLVM が zkLLVM のユースケースやその他すべてのことに役立ちます。もう 1 つの例は、私たちの上で開発を行っている人々がプロジェクトを完了できるよう支援したいということです。これは zk ゲームの興味深い点です。イーサリアムで 3D サードパーソン シューティング ゲームをプレイすることを考えたことはありますか。まだ実現されていませんが、いずれ可能になるでしょう。このようにして、Proof マーケットプレイスと zkLLVM で新しいユースケースが可能になります。時には風変わりで、時には面白く、時には本当に役立つこともあります。2 番目の大きな方向性は、このプロトコルを分散化して誰でもアクセスできるようにする必要があります。これにより、分散型シーケンサーのユースケースを実装し、プロトコルを誰でもアクセスできるようにし、実験を試し、その基盤の上に何かを構築できるようになります。様子を見てみますが、うまくいくことを願っています。私たちが Proof 市場向けに構築したプロトコルのため、今日の市場にはこれに匹敵するものはありません。おそらく、実際の問題を解決することに加えて、サードパーティの開発者がそれを使用できるため、他では実装できない機能を試すことができるため、興味深いものになるでしょう。これが私たちの 2 つの一般的な方向性です。セキュリティの確保と分散化の実現です。
インタビュー = nil_ Foundation: Proof マーケットを構築し、「すべてを ZK にできる」というビジョンを実現
4月にモンテネグロで開催されたEDCON以来、「ZK」は今年最もホットなワードとなり、イーサリアムがもたらす物語空間の拡大は新たな最高点に達した。多くの人は、これが数千億ドルの新しい市場となり、より多くの機会と「ZKマイニング」のような富の物語を生み出すだろうと信じています。もちろん、ZK はまだ到来していない新しい時代であるため、現時点では多くの機会を正確に把握することが困難であることも意味します。
ZK の将来がどうなるかは、さらに想像力が必要です。そして、=nil; 財団によって構築された Proof マーケットは、数千億ドルのこの時代について私の無限の空想を呼び起こしました。最近、=nil; Foundation の共同創設者である Mikhail Obamarov (以下、Misha) と詳細な会話を交わし、=nil; Foundation、zkLLVM、Proof マーケット関連のトピックについて話し合いました。
インタビューの概要
人々は情報圧縮に ZK を使用しますが、これはこのテクノロジー スタックの最も刺激的な「誤用」です。
ZK プルーフの生成は、そのような専門的なサービスを提供する生産者に委託し、市場の要求に応えるための専門的な生産者ネットワークを形成する必要があります。
現在のプルーフ市場では、PEV（証明者抽出可能価値）という現象が現れています。
Proof マーケットはまだ完全に分散化されていないため、これが今後しばらくチームのワークセンターとなるでしょう。
= nil; 原点
ミーシャは 2013 年から暗号化業界に携わっています。サークルに入った後、彼が最初にしたことは、Bitmessage の C++ 実装を研究することでした。これはビットコインのメッセージング プロトコルであり、その後何度か破られていますが、当時は多くの人が夢中になっていました。その後、ミーシャはダン・ラリマー（つまり、BM、Steemit、Bitshares、EOS の創設者）とともに BitShares を中心に一連の開発作業を開始し、その過程で後に Lido を開発する Konstantin Lomashuk に会いました。当時、Konstantin は Bitshares 関連の暗号化プロジェクトをいくつか抱えており、ロシア専用の Steemit フォーク、つまり Golos Network を作成したいと考えていました。
2016 年、ミーシャはダンとコンスタンティンとともにゴロスの CTO として新たな旅を始めました。しかし2年後、ミーシャはゴロスに飽き、ダンが設計した製品は満足のいくものではなく、内部構造も不適切で、品質も十分ではないと考えた。その結果、ミーシャはゴロスやスティーミットなどの関連プロジェクトを離れ、2018年4月にコンスタンティンとともにニルを設立した。
Misha の当初のアイデアは、適切なデータ管理、アーキテクチャ、セキュリティなどの欠如など、Golos と Steemit に存在する不安定性の問題に人々が遭遇するのを防ぐことでした。したがって、Nil の目的は、データベース管理業界の成果を暗号化業界にもたらし、この分野にさらなる信頼性、セキュリティ、拡張性などをもたらすことです。もちろん、ミーシャが予期していなかったのは、彼の新しい旅が、暗号化された世界のスケーラブルな未来のまさに中心につながるということでした。
**BlockBeats: 暗号化ビジネスを始めたきっかけや暗号化業界に参入した理由など、簡単に経歴を紹介してください。 **
ミーシャ: それは昔のことです。私が暗号通貨業界に関わるようになったのは 2013 年頃で、当時は Bitmessage の C++ 実装に取り組んでいました。当時誰もが夢中になっていたビットコインのようなメッセージング プロトコルを覚えているかもしれません。何度かハッキングされましたが、当時はまだ人気がありました。
それから私は BitShares と Dan Larimer (つまり、Steemit、Bitshares、EOS の作成者 BM) を中心に開発を開始し、その後 Konstantin Lomashuk に会いました。今ではおそらく Lido のおかげで彼のことを知っているでしょう。当時、彼は Bitshares 関連の暗号化プロジェクトをいくつか抱えており、ロシア専用の Steemit フォークを作成したいと考えていました。そこで私たちは Golos を設立し、私は 2016 年に CTO に就任し、それ以来一緒に仕事を続けてきました。
しかし、2018 年 4 月に、私は Golos に飽きました。ダンが設計した製品が満足のいくものではなく、彼の製品は決して長く動作しませんでした。そして、動作はしましたが、内部アーキテクチャが私には合わなかったと思います。それは、品質が合わなかったのです。それで十分だったので、私は Golos と Steemit や他のすべてのプロジェクトを辞め、2018 年 4 月に Nil を始めました。
当初の私の目標は、Golos と Steemit で私が抱えていた問題、つまり適切なデータ管理、アーキテクチャ、セキュリティなどが備わっておらず、すべてが非常に不安定であるという問題に人々が遭遇しないようにすることでした。それが良い解決策だとは思わなかったので、信頼性、セキュリティ、スケーラビリティなどを意味するデータベース管理業界の仕事を暗号化業界に持ち込むために、Kosta と Nil を設立しました。その後の物語はニルの成長です。
**BlockBeats:=nil; 財団はいつからゼロ知識証明に注目し始めましたか? **
ミーシャ: 振り返ってみると、最初の DBMS (データベース管理システム) プロトタイプが完成した 2020 年頃に、いくつかの問題に気づきました。正直に言うと、データベース管理システムと暗号化業界の統合を試みるまで、実際にそのようなことを試みようとした人は誰もいませんでした。そして、このプロジェクトが完了したとき、信頼の前提が私たちが望んでいたものではないことに気づきました。
私たちのデータを使用するかどうかにかかわらず、それがうまくいくかどうかは、誰もが私たちを信頼する必要があります。私たちは、この不信感を軽減する方法、信頼性をできるだけ低くする方法を考えました。その後、ある種のテクノロジを使用する必要があるかもしれないことに気づきました。この目標を達成するには、暗号化ツールが必要です。そこで、この目的のために、A暗号スイートが構築されます。
当時はまだ業界も発展途上で、アークワークスのような開発環境もありませんでしたが、理論的な構想や実験はあったのでやってみなければいけないと考えていました。私たちはスイートを構築し、独自の証明システムを構築しました。次に、イーサリアム財団とミナ財団の人々と協力して回路コンパイラを構築しました。自分たちでプルーフを生成しないようにするために、私たちはプルーフ生成に市場力学を導入するためのプルーフ マーケットを設立しました。
ミナ財団の人々とコンパイラを構築する際に、私たちはソラナ財団の人々とも協力しています。その過程で、私たちは Proof of State が必要であることに気づきました。Proof of State は当時、Mina と Ethereum の人々が探していたものでした。 2021 年の初め頃、データベース管理システムに必要な状態証明を開発していたとき、ミナ、イーサリアム、ソラナの人々は、これが「zk ブリッジング」であると感じました。なぜなら、Justin Drake、Evan Shapiro、Anatolly は皆、より安全な Bridge テクノロジーが必要だと考えているのに、それを何と呼んでも、それは zkBridge だと言っているからです。
**BlockBeats: ゼロ知識証明に関しては、暗号化の分野ではかなり長い間研究と試みが行われてきましたが、大きな進歩は得られませんでした。しかし、今年に入ってから、ZKフィールドの開発はパンク状態になっているようですが、なぜでしょうか？ **
ミーシャ: 実際には、zk テクノロジー全体に適用できる方法は 2 つだけです。1 つ目の方法は明らかにプライバシー目的で使用され、2 つ目の方法は、みんなが話題にしている拡張などの圧縮に使用されます。 、zk-Rollups、zk-Bridges、zk-MLS、zk-Oraclesなどの出現。人々は圧縮のためにこのスタックを「誤用」していますが、これは私がこれまで見た中で最も刺激的な「誤用」だと思います。そこで問題は、なぜ今なのかということです。私たちはこれを数年前に達成することができましたが、これは、それを使いやすく、実現可能にし、興味深いものにするためのいくつかの重要な技術開発マイルストーンとなる可能性があります。
最初のマイルストーンは 2016 年に起こり、このテクノロジーは暗号通貨業界にとってますます有用になりました。当時、ランク 1 制約システム (R1CS) が非常に一般的になり、さまざまなアプリケーションが登場し始めました。基本的に、プライバシーの保護が可能になると、このことが可能になります。例えば、Zcash、Tornado Cashなど。これらのプロジェクトはその時代に生まれた、またはこれらのプロジェクトのアイデアはその時代に生まれました。
2 番目は 2019 年から 2021 年の間で、この技術にとって 2 番目の重要な時期となります。当時、ブルーム フィルター (Blunt 議論) がますます人気を博しました。人々はブルーム フィルターに基づいた証明システムを構築し始めました。また、プレースホルダーと呼ばれる独自の証明システムもあります。この期間がなぜ重要なのでしょうか?これらのブルームフィルターベースの証明システムのおかげで、プロジェクトがこのスタックを圧縮に使用できるようになるからです。これにより圧縮が改善され、2021 年には適切なロールアップ スケーリングと zkBridge をより安価に実行できるようになります。
現在、私たちは証明システムのさらなる開発においてある程度の進歩を遂げており、プロジェクトでも一定の進歩を遂げています。情報が長期にわたって共有されるこのような環境では、複雑な数学的制約や計算を記述することも非常に困難であると言えば十分でしょう。 STARK の導入、この複雑さの問題を解決するための zkVM の導入、アプリケーションの構築を容易にする zkLLVM コンパイラの導入など、多くの人々がこの問題に取り組んできました。 2019年から2021年にかけて証明システムの開発が進み、2020年後半から2021年初頭、2022年後半にかけてツールの開発も進みました。これらすべての進歩により、複雑な計算の証明を構築することが十分に効率的で経済的に実行可能になります。
もちろん、証明システムの開発はまだ終わっていません。より多くのアプリケーションシナリオを実現するには、システムを証明するためにやるべきことがまだたくさんあります。例えば、今年か来年になるかもしれませんが、証明システムの開発が行われることになると思いますが、ここでも関連する研究開発を行っております。これらの証明システムの開発により、経済的に実行可能な zkLLVM アプリケーションが可能になり、私たちはそれを実現する最初のチームになることを望んでいます。とにかく、現在、誰もが証明システムを改善しようとしています。
**BlockBeats: zkLLVM について言及しましたが、これは開発者が独自の zk 回路を作成するために構築されたコンパイラーです。 zkLLVM の重要性はどこだと思いますか?また、製品の現在の成熟度はどの程度ですか? **
Misha: zkLLVM は最初ではないかもしれませんが、最初の回路コンパイラの 1 つでした。これまでにプロトタイプや DSL プロジェクトを見たことはありましたが、仮想マシンの代わりに完全に機能する回路コンパイラを使用したものは、これまであまり見たことがありませんでした。いくつかありますが、実際に使っている人がいるかどうかはわかりません。だからこそ重要だと思います。そして、この業界ではかなりの数の人々が、「自分が作ったわけではない」というジレンマを解消しようとしていますが、これは非常にエネルギーを消費します。明らかに、人々は最終的に本当に優れた製品を作成することになりますが、この「私が作成したわけではない」というジレンマにより、開発に時間と費用がかかります。
たとえば、私たちは現在 Zoom を介して通信していますが、ラップトップ上のほぼすべてのソフトウェアは LLVM でコンパイルされています。私たちはそれらすべてを取り上げて証明可能にしただけです。したがって、私たちはコンパイラーのエコシステム全体を暗号業界に持ち込んで、効率性と経済性を高めるためにこれらの取り組みを暗号空間で再利用できるようにしているだけだと思います。これにより、広く使用されるプログラミング言語も誕生しました。世界中には、Rust、C++、Go、TypeScript などで書かれた、イーサリアム内やトラストレス環境で実行したいソフトウェアがたくさんあります。
私のお気に入りの例は、人々が Doom ソース コード (C/C++ ソース コード) を取得し、それを zkLLVM 経由で Ethereum に証明し、それを相互にドラッグして、完了するまでにどれだけ時間がかかったかを誇示することです。たとえば、私は Doom スピード チャレンジを 20 分で完了しました。これが、Doom スピード チャレンジを 20 分で完了したことを証明する証拠とイーサリアム NFT です。
**BlockBeats: 現在 zkLLVM を使用しているのはどのユーザー グループですか?また、どのような製品が作成されていますか? **
ミーシャ: 多くの異なる種類のプロジェクトがこれらのテクノロジーを使用しており、いくつかのプロジェクトは、デプロイするために何かを構築しているところ、またはすでに実行されているものかもしれません。最も明白な使用例は、証明システムによって保護された、コンパイラーで構築された zkBridge です。おそらくこれが、私たちがコンパイラーの必要性を認識し、最初にコンパイラーの構築を開始した理由の 1 つです。また、プログラムの正式な仕様を証明ステートメントに組み込むのではなく、形式的なステートメントをコンパイルする zkLLVM コンパイラーを使用して証明に凝縮するために、証明ステートメントの形式的な検証に使用することも試みられています。実際、人々はコンパイラをコンパイルします。
たとえば、zkOracles のようなアプリケーションを考えてみると、人々はイーサリアムの履歴データを取得するために zkOracles を構築したり、イーサリアムのステーキング発行を確保するために Lido を構築したりしています。 2 年以上運営されているにもかかわらず、人々は信頼に関する前提条件が多数存在する問題に取り組んでいます。 2020 年に Lido を設計したとき、これは許容可能でしたが、ユーザーの TVL を危険にさらすわけにはいかないため、信頼の前提を減らしたいと考え、ZK の Proof of Work で保護することにしました。他にもたくさんのプロジェクトがあり、正直に言うと永遠に続けることができます。現在、CRM には約 80 のプロジェクトがあります。
**BlockBeats:=nil; Foundation は以前、StarkWare、Mina、その他の L2 チームやその他の VC から 2 億米ドルを超える評価で投資を受けていました。この資金はProof市場の構築に使用されるのでしょうか、またStarkWareとMinaからの投資は特定のエコシステムと協力する傾向が高まることを意味しますか? **
ミーシャ: これは、この 5 年間で最初で唯一の資金調達ラウンドです。以前はその必要がなかったため、今がそれを行う時期だからです。私たちは十分なプロトタイピングを行い、十分なプロジェクトを支援し、十分な学習を行ってきたので、構築すべきと考える方法で製品を発売するのに十分な強さと自信を感じています。
この資金調達ラウンドは約 1 年前に終了し、実際に資金調達が行われてから数か月後に発表しました。私たちは、「これは私たちが作ったものです」と安心して話し始めるまで、資金調達を発表しませんでした。お金を集めるために、お互いに何かを約束し始めると、何のためにお金を集めたのか、何を届けるつもりなのかと聞かれるようになります。製品とは何ですか?誰かがあなたの製品を使用していますか?そのため、少なくとも何らかの対応が完了するまで、このテーマに関する議論は意図的に延期しました。
私たちは、Mina と Starkware チームのエコシステム全体と実際に連携しています。すでに、Mina エコシステムには、私たちの上に構築されたり、私たちと一緒に構築されたり、私たちと提携したりするアプリがたくさんあります。最近、ミナのチームはロールアップの研究と開発を開始しましたが、これには多くの検証機能が必要です。さらに、2021 年には、Mina を使用してコンパイラベースの状態証明検証を構築しました。これは、私たちが協力したもう 1 つの mina エコシステム プロジェクトです。
Starkware エコシステムとの連携でも多くのことが起こっています。もちろん、これが私たちのコラボレーションの目的であり、Starknet エコシステムの証明可能なアプリケーションにも役立ちます。たとえば、ゼロ知識証明ブリッジとして当社の技術スタックを使用する、Starknet へのブリッジ プロジェクトがいくつかあります。いくつかのゲーム プロジェクトで、検証機能が必要であることがわかりました。
他にも、古いブリッジ技術を使用し、状態証明検証を活用し、その上にイーサリアム アプリケーションを構築しようとするプロジェクトがいくつかあります。 StarkNet 上に L3 を構築している人もいますが、検証機能を持つことが良い選択肢になるだろうと彼らは言いました。とにかく、それが私たちが彼らと協力してきた目的です。正直に言って、私はこのパートナーシップに満足しています。
ZK プルーフの流通市場
ゼロ知識証明 (ZK Proof) は、現在の暗号化市場における ZK 分野の絶対的なコアであり、その存在は ZK Rollup や zkEVM などの多くのシナリオに無限の可能性をもたらします。ただし、ZK プルーフの生成は重い計算タスクでもあり、プルーフを完了するまでに数時間かかることがよくあります。そのため、現在のほとんどのソーターは依然として集中化の問題を解決できません。 ZK 証明を確実かつコスト効率よく生成するには、コンピューティング インフラストラクチャを開発および維持するだけでなく、それを拡張する必要もあります。ミーシャ氏の見解では、市場メカニズムの導入がこの問題に対する最適な解決策です。
=nil; 財団チームは、ZK プルーフの生成は、そのような特殊なサービスを提供するプロデューサーに委託すべき作業であると考えています。この前提の下では、誰もが必要な ZK プルーフの生成をリクエストでき、プロのプロデューサー ネットワークがそのようなリクエストに応えるプルーフ マーケットが必要です。
**BlockBeats: それでは、具体的に Proof Marketplace について話しましょう。このアイデアはどこから来たのか、またその背後にあるストーリーは何ですか? **
ミーシャ: このアイデアは、2020 年から 2021 年末まで、ファイルコインに関連するプロトコル アプリケーションやさまざまなことに私たちが広範囲に参加したことに由来しています。私たちはファイルコインの周りで起こっている狂気を直接目撃しただけでなく、私たちの視点からそれに参加しました。そのとき、私たちはすべての証明システムを正しく行う方法、適切な引数を行う方法などを学び、公開バージョンより 10 倍高速な Filecoin 証明器を実装し、マイナーがハードウェアを最大限に活用できるようにしました。実際、私たちはマイナーの観点からコストを削減しようとするすべての実験を監視するハブです。
その間、私たちは、このハードウェアを使用してこの特定の証拠を生成するのにどれほど価値があり、どのくらい時間がかかるか、誰がどのハードウェアを使用しているか、そのためにどのデータセンターが構築されているかなど、多くの実際の市場データを学びました。そして、イーサリアム財団、ミナ財団、その他多くの団体と協力して、これらの国家の証明と合意の証明が非常に面倒であることがわかり、誰もこれらを自分で証明することを絶対に許可しません。
正直に言うと、大きすぎるため、この種のハードウェアをすぐに生成できるものは誰も持っていません。たとえば、ミナのコンセンサスと同様に、ミナの国家証明は政策投資家曲線に約 350 億ドルを掛けたものですが、これはかなりの額です。または、Solana Proof of Consensus には、とりわけ約 4000 の ECDSA 署名が含まれており、生成には多大な時間がかかります。
これに気付いたとき、私たちはもうそれを行わないことに決めました。私たちは、よし、この作業は外注しようと考えました。ファイルコインに関連するデータがすでにたくさんあるので、このための市場を構築します。市場を構築しましょう。それを商品にして、市場のダイナミクスをこれに適用して、人々が集中プロトコルによって調整されるようにします。それらは互いに競合するため、ハブではなくプロトコルをハブにします。私たちの考えは正しかったことが分かりました。現在、誰もが Proof マーケットを構築しており、私たちはその方向性を推測しました。
**BlockBeats: Proof マーケットを構築するとき、すでに構築した zkLLVM とのダイナミクスを考慮しましたか? **
ミーシャ: 最初は 2 つのプロジェクトは実際には別々のものでした。それらは 2 つの別個のものでした。たとえば、回路を構築するにはツールチェーンだけが必要です。手動で構築するわけではないため、ツールチェーンは大きすぎます。その後、他の人もこのツールチェーンを必要としていることがわかり、誰もが使用できるようにオープンソース化することにしました。
そして、プルーフ市場もまた別のものです。なぜなら、私たちはそれが単なるプルーフ生成市場であると考えているからです。私たちは、証拠をもとに推測しようとする人々のことなど考えもしませんでした。彼らは実際には安く買って高く売ろうとしているのですが、そんなはずはないのでかなりばかげていますが、とにかく、それが現状です。
Proof マーケットをサポートするプロトコルは、非常に特殊なプロトコルである必要があります。これは、多くの検証が必要であり、この面で多くの負荷を処理する必要があるためです。人々が検証が必要なデータを持って来た場合、彼らはそのデータをプルーフ市場のオーダーブックにロードするため、大量のデータを扱う必要があります。そのため、プロトコルは非常にデータ集約的になります。平均的な状態の証拠。よくできた平均的な状態証明の記述が約 2GB のデータを消費したら、2GB のデータを処理できるプロトコルを探してみてください。それはほぼ不可能です。
しかしその後、人々は zkLLVM を使って非常に大きなことを証明し始め、Ross や C++ などのコードベースは人々が Solidity で行っていたものと比較してかなり巨大なものになりました。そこで、それらをまとめて相互に関連させて、サービスとして使用できるようにします。私たちはコンパイラーがかなり効率的に機能していると今でも考えており、このままの状態を維持したいと考えています。
**BlockBeats: 現在、Proof 市場の主なユーザー グループと参加者は誰ですか? **
Misha: 最初のタイプのユーザーは主に zkBridge で、一部のコンセンサス証明と状態証明は生成するのが非常に重いです。イーサリアムのコンセンサス証明のような正しく安全な検証を生成する場合、たとえば、完全なイーサリアム コンセンサス検証と 100,000 ノードすべての署名バリデータ検証を使用すると、生成に時間がかかります。
2 番目のカテゴリは zk oracles です。これは、イーサリアムの履歴データにアクセスする必要があるアプリケーションや、特定の方法でイーサリアム データを処理して、それを EVM で使用する必要があるアプリケーションなどです。担保資産のリスクパラメータを計算してEVMにロードしようとする融資プロトコルなど、一部のアプリケーションはこの方法でガスコストを削減しようとしますが、コストの観点からEVMで計算することはできません。
彼らは、さまざまな取引所やさまざまな指数から必要なすべてのイーサリアム データを取得し、それを EVM に入力し、それを担保のリスク パラメーターのセットとして使用します。これは、別の Lido の神託のようなもので、一連の計算 (Proof マーケットや zkLLVM 単体のセキュリティなど) をアウトソーシングすることで、プロトコルがどのようにセキュリティを向上させ、実行コストを削減できるかを示しています。ゼロ知識の神託が非常に重要であることは疑いの余地がありません。
3 番目のカテゴリはロールアップです。これは既存のロールアップまたは新しいロールアップで使用でき、一部はそうしようとしています。 Rollup バリデーターになろうとする人は誰でも、Proof マーケットで何らかの証明を実装したいという願望を抱くでしょう。特殊なハードウェアを扱い、レンタルした AWS サーバーでノードを実行することは、検証者にとって非常に困難です。 AWS は現在 ATX を提供しておらず、非常に強力な GPU も提供していないため、基本的にバリデーターはこれらの zkLLVM ユースケースに付属します。明らかに、zkLLVM の使用例はすでにいくつかありますが、まだ本番環境にはなっていないことを認めなければなりません。
zkLLVM の使用例は、手元のモデルの複雑さを正当化する必要があるため、大規模なモデルや非常に複雑なモデルにも非常に適用できます。これも現在進行中のものですが、繰り返しになりますが、まだ製品化されておらず、実験段階にすぎません。運用が開始されれば、Proof 市場を証明可能な AI コンピューティング市場に変えることができます。これはばかげているように思えます。
**BlockBeats: Proof Market の Proof Generator になりたい場合、要件は何ですか? **
ミーシャ: 証明ジェネレーターになるための要件や制限は実際にはそれほど多くありません。すべては証明したい特定の回路と特定のステートメントによって異なります。私たちは「Proof Market Toolchain」というものを特別に用意しており、証明者がマーケットでさまざまな証明を処理する際に、それをサービスとして起動するか、マシン上で動作するツールチェーンとして使用するだけのバックステージプロセスです。
特定のステートメント、特定の回路、特定のアプリケーション、特定のプルーフに対して、より優れたハードウェア供給が市場にない場合は、注文を受けてプルーフを生成できます。最高のハードウェアを持っていて、プルーフを最速で生成することを約束でき、他に優れた競合他社が存在しない場合は、注文を受けてプルーフを生成し、報酬を得ることができます。
**BlockBeats: =nil; Foundation を使用しているすべてのユーザーはアカウントを登録する必要があります。生成されたプルーフ自体、またはそのトランザクションおよび所有権情報がプライベート サーバーに保存されている場合、集中管理の問題が発生しますか? **
ミーシャ: これはまさに私たちが年末までに取り組む予定のことです。はい、現在の市場の証拠はそれほど分散化されていません。私たちはそれをサポートするプロトコルノードをリリースしておらず、このプロトコルについて公の場で話したこともありません。現在の仕組みは次のとおりです。Lido にも参加し、バリデーターとしてバリデーターとして機能し、バリデーターオペレーターとしてバリデーターとして機能する数人が、一時的にそれをホストして、どのように進むかを確認することができます。その後、ソース コードを配布し、実際に 6 つまたは 8 つをテスト モードとして実行しました。
現時点では、システムはある程度分散化されていますが、公開されておらず、真に分散化されていません。誰もが Proof Market ノードに参加して実行できるわけではありません。それは私たちにとっても疑問です。私たちはセキュリティについて、どの程度分散化されているか、信頼できるかについて尋ねてくれるアプリが大好きです。これは現状でも使えるものなのでしょうか？私は、「はい、できます。しかし、テストモードで実行しているため、十分に分散化されていません」と答えました。この問題の解決に向けて、私たちの当面の最重要課題として全力で取り組んでまいります。
**BlockBeats: これらの問題に対処するためにどのような措置を講じていますか? **
ミーシャ: まず、最初から特定の分散プロトコルを使用して、分散プロトコルに基づいた市場実証を設計しました。導入と運用についていくつかのオプションを検討し、イーサリアム上に直接導入することを試みましたが、経済的実現可能性を計算したところ、これを実行すると年間約 25 億ドルのイーサリアム料金を支払う必要があることがわかりました。そのため、イーサリアムで市場を運営することは財政的にまったく不可能であることが判明しました。
次に、Rollup などで実行してみます。しかし、いくつかの異なるロールアップを試したにもかかわらず、コストは依然として高かった。プルーフ・オブ・マーケットの運営と裁定取引のコストを計算したところ、プルーフ・オブ・マーケットのコストだけで年間 2 億 5,000 万ドルに達し、これも非常に高額なコストであることがわかりました。そのため、負荷、コスト、大量のデータなどを処理できる独自のプロトコルを考え出す必要がありました。
私たちの目標は、アプリケーションがイーサリアムに依存する他の方法がないため、このプロトコルを可能な限りイーサリアムのセキュリティに近づけることです。シリアル化の際、処理される負荷は基本的に同じであるため、このプロトコルはシリアル化などの操作にも非常に便利であることがわかります。注文者と証明者の間の待ち時間を短縮して、すぐにデータを証明者に送信してブロックを獲得できるようにしたいと考えています。
このプロトコルにシーケンサーをどのようにデプロイするかは、私たちの現在の主な関心事の 1 つでもあり、サードパーティの開発者が使用できるプラットフォームを構築して、誰でもこのプロトコルをサポートするノードを起動して実行できるようにしたいと考えています。そして、コード展開の点で、市場実証アプリケーションがイーサリアムと同じくらい安全であることを確認してください。
**BlockBeats: プロトコルのインセンティブ メカニズムについて詳しく教えていただけますか? **
ミーシャ: もちろん、私たちは証明の支払いにさまざまなトークンを使用したいと考えています。そのため、全員に特定のトークンの使用を強制することはできません。つまり、私たちは中立であるため、できる限りトークン中立でなければなりません。あらゆる製品やアプリケーションで使用できます。たとえば、Arbitrum と Ethereum の連携方法に似ている可能性が高く、Ethereum と Arbitrum を併用できるのに、なぜそうではないのでしょうか。
この方向への最初のステップは、間違いなく、先日デプロイした EVM Endpoint Approval Marketplace です。これは、イーサリアムでデプロイされたすべての資産を、承認者またはプルーフ マーケットで独自のトークンを支払う意思のあるアプリケーションに対するインセンティブとしてプルーフ マーケットで使用できるようにする支払いソリューションであり、これはこの方向への最初のステップです。ステップ。
マーケットの奇抜さを証明する
市場である以上、人々が予測したり制御したりできない変動性と複雑性が存在するはずです。人々が ZK 証明について推測するかどうか、またどのように推測するかは、チームが監視し記録する必要がある重要なデータです。数か月にわたる実際のテストの後、Proof 市場ではどのような興味深い現象が現れましたか?チームは将来に向けてどのような計画を持っていますか?
**BlockBeats: 市場メカニズムの導入により、プルーフ生成プロセスは延長されますか? **
ミーシャ: オークション、つまり仕事の最高入札者を見つけるのには時間がかかります。おそらく私たちにとっては数秒ではなく、数秒です。通常、このプロセスには数秒かかりますが、ほとんどの場合は 1 秒未満です。需要と供給が非常に豊富であるように思われるため、1 秒未満の遅延が発生します。
1 秒未満の遅延があっても、私が見た最悪のケースでは、アプリは 3 ～ 4 秒間プロバイダーを見つけることができません。しかし、それでも、この遅延はプルーフ生成時間全体に匹敵するものではありません。したがって、市場力学によって得られる群衆生成の利点に比べれば、それは懸念事項ではないと思います。
**BlockBeats: 誰かが生成された証明を使って推測したい場合、それは良いことですか、それとも悪いことですか?チームは何らかの形で介入するだろうか？ **
ミーシャ: 私たちのサイトでは奇妙なことがたくさん起こっています。今言及したことは最も奇妙なことではありません。プルーフ市場ではさらに奇妙なことが起こっていますが、最初にそれについて話しましょう。推測の問題。私たちにはそれができないので、これを制御することはできません。このプロジェクトを一般に公開し、このプロトコルを誰もが利用できるようにし、ロールアップなどで週に 1 回実行できるようにすると、私たちはこれらすべてを制御できなくなります。
私たちは今、干渉しないように、何かをしようとしないように努めています。なぜなら、いつかはそれができなくなるからです。それでは何の意味があるのでしょうか？それでは、推測してみましょう。証明可能なアプリケーションのような回路のようなアプリケーションを構築できますが、基本的にはそれだけなので、推測も可能です。プルーフ市場での投機以外の用途はありません。
私がこれまで見た中で最も奇妙な使用例の 1 つは、計算能力と先物を取引し、その先物を使って投機的な議論をしようとする人です。これはビットコインのハッシュレート先物に似ていますが、zk プルーフでも同様です。 MEVについて疑問に思ったことはありますか?実際に Prover Extract Value (PEV) があると言ったらどうなるでしょうか?
アプリケーションがデータを持ってきて、何かが証明を必要とし、証明者がそれを行うというようなことは機能しません。データを取り込み、証明の生成を開始すると、すべてが期待どおりに機能します。しかし同時に、証明者がこのデータなどでさらに利益を得ようとしている場合も同様です。彼らはこのデータを、イーサリアムや他のプロトコル、さらにはロールアップなど、他の場所で使用します。
彼らは、このデータを証拠の生成に使用するのではなく、このデータからできるだけ多くの価値を抽出するためにこれを行います。抽出可能な価値証明には他にもさまざまなタイプがあります。たとえば、証明がいつ生成されるかを予測し、API をリバース エンジニアリングして Proof Market プロトコルにトランザクションを挿入してプルーフを売買するトランザクションを挿入しようとする人などです。それ。このようにして、イーサリアムのトランザクションでライトニングマイナーや構築者や提案者が投機するのと同じように、証明者が販売したり、購入者が価格を推測してそこから価値を引き出すことができます。
証明者が証明を生成するときに取得したデータを悪用するのを防ぐ方法を実験し始めた人もいます。これを行うには、FHE (準同型暗号) データの証明を生成するしかありません。彼らは証明の生成に必要なデータを隠すために zkFHE のようなものを作成しようとしていますが、FHE は計算コストが非常に高いため、証明のコストが増加します。
それを空に飛ばすようなもので、証拠コストが2倍、3倍、さらには10倍にもなります。しかし彼らは、誰も私のデータを使用していないし、誰も私のデータから何も抽出していないと言うでしょう。したがって、zkFHEは、高レベルの複雑さのような独立した複雑さのレベルであるProof市場から生まれます。
**BlockBeats: 現在、Proof マーケットは ZKLLVM および mina と互換性がありますが、将来 Proof マーケットがさまざまな回路のプルーフをどのように生成するか知りたいです。 **
ミーシャ: 簡単に言えば、プロセスは次のとおりです: アプリケーションは証明する必要があるステートメントを運び、このステートメントはバイトコードまたは仮想マシンにコンパイルされて、プルーフ マーケットを強化します。この仮想マシンは EVM です。そして彼らはこの要求を持ってここに来て、私がこの主張を証明する必要があると言いました。 Proof Market は許可を必要とせず、その後、新しい回線ペアが展開されます。これにより、新しい回線ペアが生成され、それぞれの新しい回線が新しい取引ペアになります。
証明者が特定の新しいクレームの必要性を認識した場合、その新しいクレームは突然の継続的なニーズ、一度限りの大きなニーズ、または 1 回限りだが依然として興味深いニーズである可能性があります。証明者は、「分かった、この回路を関心のある回路のリストに追加したい、そしてこの回路の証明を生成したい」と言うことができます。その後、Proof Market は適切な変更を加え、プルーフを生成して送信します。私たちはこのプロセスをできるだけ簡単にするために懸命に取り組んでいます。
**BlockBeats: さまざまな証明システムにどのように実装されますか? **
ミーシャ: これはもっと興味深い話です。さまざまな証明システムが Proof マーケットに接続するための要件は基本的に 1 つだけです。それは、この証明システムのベリファイアを EVM バイトコードにコンパイルすることです。 Proof マーケットプレイスを動かすのは EVM であるため、バリデータは EVM にコンパイルされます。 Solidity で書かれている場合もあれば、Rust または C++ で書かれている場合もあります。
Solidity で書かれている場合は、それをデプロイするだけでよく、Rust または C++ で書かれている場合は、zkLLVM を利用して Rust と C++ のベリファイアをコンパイルするツールチェーンを提供し、zkLLVM をメインラインの言語から言語への変換として使用できるようにします。 Rust、C++、またはその他の言語からバリデータを生成し、Proof マーケットプレイスにデプロイできる EVM コンパイラ。導入後、Proof マーケットプレイスは新しいプルーフ システムの検証をサポートします。その限りにおいては無許可です。
**BlockBeats: あなたはかつてロールアップの分散化プロセスに関するラウンドテーブルディスカッションで、=nil; と言っていたのを覚えています; Foundation の道はほとんどのロールアップとは逆であり、最初にプルーフ生成ネットワークを構築し、次にソーターの変更を分散化することです。それでは、=nil; Foundation の Proof マーケットプレイスは、これらのロールアップ プロジェクトの分散型ソリューションとなる可能性があるでしょうか? **
ミーシャ: デンバーでのことを覚えています。私たちがさまざまな方向から市場戦略について話していたとき、多くの人がゼロ知識証明、証明システム、そして社内で大量の証明を必要とする多くのアプリケーションを開発していました。そして彼らは次のような問題に遭遇しました。私たちは製品を開発しましたが、分散化されていないため完璧ではありません。証明も分散化されていませんが、十分な証明力がないため、行き詰まっています。
人々は製品を開発しましたが、行き詰まりを感じています。私たちの側では、これらの問題を解決するためのテクノロジースタックを構築しており、市場サービスを改善し、バリューチェーンに統合し、証明の分散化と分散化を実現し、ロールアップのサポートを提供できます。その仕組みとしては、ロールアップの検証者はどこかから認証を取得する必要があり、検証者自身が認証者になる必要があります。
場合によっては、検証者が独自のハードウェア、GPU、ASIC などを構成したくない、構成できない、または構成できない場合があります。資本だけがあってインフラストラクチャがない場合は、どこかから証明を入手する必要があります。現時点では、Proof Marketこれは素晴らしいことです。資本はあるがインフラを持っていない、またはインフラを所有したくない人々に証拠を提供します。
2 番目の点は、私たちが異なる方向から始めたと述べた理由ですが、私たちは意思決定の観点からそれらを改善することに着手しました。サードパーティチームのような人々は、私たちの上に分散型ソーターを追加しようとしています。おそらく誰かがシステム全体の上にロールアップを置くでしょう。その頃には技術スタックが完成し、システム全体が実装されるでしょう。
**BlockBeats: 最後に、ミーシャは =nil を明らかにできますか? 今年の財団のロードマップで最も重要なことは何ですか? **
ミーシャ: 私たちの主な方向性は 2 つあります。 1 つ目の方向性は検証可能なアプリケーションであり、これらのユースケースを公開し、より多くの人に知ってもらう必要があります。これらのいくつかはすでに知られており、いくつかはあまり知られておらず、まだ有効になっていないものもあります。たとえば、zkLLVM の使用例では、zkLLVM アプリケーション専用に構築されたフロントエンドが必要です。これにより、Drupal と zkLLVM が zkLLVM のユースケースやその他すべてのことに役立ちます。
もう 1 つの例は、私たちの上で開発を行っている人々がプロジェクトを完了できるよう支援したいということです。これは zk ゲームの興味深い点です。イーサリアムで 3D サードパーソン シューティング ゲームをプレイすることを考えたことはありますか。まだ実現されていませんが、いずれ可能になるでしょう。このようにして、Proof マーケットプレイスと zkLLVM で新しいユースケースが可能になります。時には風変わりで、時には面白く、時には本当に役立つこともあります。
2 番目の大きな方向性は、このプロトコルを分散化して誰でもアクセスできるようにする必要があります。これにより、分散型シーケンサーのユースケースを実装し、プロトコルを誰でもアクセスできるようにし、実験を試し、その基盤の上に何かを構築できるようになります。様子を見てみますが、うまくいくことを願っています。私たちが Proof 市場向けに構築したプロトコルのため、今日の市場にはこれに匹敵するものはありません。
おそらく、実際の問題を解決することに加えて、サードパーティの開発者がそれを使用できるため、他では実装できない機能を試すことができるため、興味深いものになるでしょう。これが私たちの 2 つの一般的な方向性です。セキュリティの確保と分散化の実現です。