パンテーラ・パートナーズ：検証可能なコンピューター・プロジェクト・ネクサスの説明

著：Paul Veradittakit, Partner, Pantara; Compiled by 0xjs@GoldenFinance

Preface

ゼロ知識暗号プロジェクトは、一般的に2つのカテゴリーに分類されます： 

• Dedicated ZK：これらは特定の計算を証明することで、ブロックチェーンのスケーラビリティを向上させようとするものです。例えば、zkロールアップスタック、実行レイヤーのzkEVM、ZK証明の集約、決済などがあります。これらの企業には、zkSync EraやStarknetが含まれます。

• 汎用ZK：これらのZKは、使用されるプログラミング言語に関係なく、あらゆる計算を証明しようとするもので、zkVMと呼ばれています。これらは、開発者が（数ヶ月ではなく）数日でZKプロジェクトを提供できるように設計されており、開発者は回路よりも一般的なコードを書くことに集中することができます。

後者は、まったく新しいシステムを一から構築することに依存しており、業界のリーダーたちがZK研究のフロンティアを拡大する必要があります。

検証可能な計算を構築することは非常に難しいため、これらの企業は、zkVM、証明者ネットワーク、カスタマイズ可能な回路など、スタックの特定の部分を構築することに重点を置いています。セキュアなインターネットを構築するには、ゼロ知識マシンの設計と使用方法を再発明する必要があります。ネクサスには、新しい検証可能なマシンをゼロから構築する才能と創意工夫があり、zkVMの各レイヤーを最適化して、可能な限り最速で最も効率的な検証可能マシンを構築できると信じています。

検証可能なコンピューティングとは？

現代世界では、真実を検証することは困難です。人工知能、ディープフォージェリ、VPN、リモートハッキング、フィッシングにより、コンピューティングの背後にある真実を隠すことがかつてないほど簡単になりました。現在、私たちのコンピューターでは、CPUがコードを実行し、ソリューションを出力している。ネクサス0.0では、入力されたコードから解が出力され、その解が正しく作成されたことを示すゼロ知識証明も出力される。このようにして、基礎となる情報について何も明らかにすることなく、あらゆる情報が真であることを証明することができる。

進捗とマイルストーン

Nexusは、ゼロ知識証明に関する数十年にわたる研究の上に構築されています。医療記録、軍事機密、身分証明書、ブラウジング・アクティビティ、これらはすべて、過去に安全性を維持できなかった業界である。検証可能なコンピューティングは万能薬だが、大きな障害に直面している。現在のZKアプリは遅く、任意の計算を実行することができず、開発者に劣悪なエクスペリエンスを提供しています。

Nexus 1.0は、任意のRustコードを証明できるマシンを構築し、技術革新とスケーラビリティのために最適化された技術スタックを設計します。Nexus 0.0は1Hz (1秒あたり1CPUサイクル) で動作し、2023年9月にリリースされました。

Nexus 1.0は、任意のRustコードを証明できるマシンを構築し、技術革新とスケーラビリティのために最適化された技術スタックを設計しました。2024年2月のEthDenverでは、新バージョンのNexus 1.0は~100Hzで動作し、これはわずか5ヶ月で約100倍の改善となった。チームは、Nexus zkVMの速度を指数関数的に向上させたいと考えています。

この指数関数的な成長は、Nexus 1.0のモジュール設計に由来しており、ゼロ知識証明の分野における最新かつ最高の研究を利用するために、証明者から証明圧縮まで、プロセスの各部分を個別に最適化することができます。これにより、ネクサスはその技術をブロックチェーンに簡単に適用することができる。

暗号アプリケーション

Nexusのモジュール性とは、アプリケーション全体に使用できること、あるいは個々のパーツを他のモジュール式アプリケーションをサポートするために使用できることを意味する。例えば、圧縮レイヤーは多くの大きな証明を1つの簡潔な証明にまとめる。Nexusは、世界で唯一のプロダクショングレードの折り畳み実装を構築し、効率的な再帰と証明の集約を可能にする。

このレイヤーは、他のzkVMをサポートするために独立して使用することができます。

この設計はまた、現在のブロックチェーンのコンセンサスおよびセキュリティ標準と容易に統合できます。例えば、NVMまたはNexus VMでは、「プリコンパイル」により、開発者はカスタム命令でマシンを拡張し、Keccak-256（Ether上のトランザクションの作成と検証に使用）などの一般的なスキームをプリコンパイルすることができます。これは、NexusがEVM（および他の多くの）チェーン上で行われた計算を統合して検証できることを意味する。

今日のZKアプリケーションは、L1上での証明の生成と検証に何百万ドルも費やしています。証明、圧縮、およびコンパイラノードのNexusネットワークは、既存のZKアプリケーションのパフォーマンスを劇的に向上させると同時に、潜在的に数十億ドルの価値がある既存のZKチェーン業界で巨大な市場シェアを獲得します。ネクサスは、プルーフから圧縮まで、技術スタック全体にわたるクラス最高の設計で市場を支配しています。

主要メンバー

Nexusチームには、暗号とコンピュータサイエンスの最高の頭脳が集まっています。

経営陣には次のようなメンバーがいます:

• Daniel Marin （CEO）:スタンフォード大学を卒業したばかりで、著名な暗号学者Dan Bonehの指導を受けています。

• Jens Groth 、チーフサイエンティスト：DFINITYの元研究ディレクター、ユニバーシティ・カレッジ・ロンドンの教授、最も広く使われているzk-SNARK Groth16の発明者。

• Alex Fowler 、最高戦略責任者： Blockstreamの共同創設者兼元上級副社長、Mozillaの最高プライバシー責任者。

• Don Beaver 、暗号技術担当副社長：元Jump Cryptoのチーフ暗号技術者、Meta、Uber、Apple、Googleのシニアリサーチャー兼科学者。

暗号の専門家のコアチームは以下の通りです：

• Michel Abdalla：上級暗号科学者、国際暗号研究協会（IACR）会長、元フランス高等師範学校教授、DFINITY研究員。研究者。

• サミュエル・ジャドソン（Samuel Judson） ：暗号技術者。イェール大学で暗号学の博士号を取得し、ルジカ・ピスカック（Ruzica Piskac）に師事。ZKP、形式手法、AIの分野で7本以上の論文を執筆。

• クリスティアン・ソスニン（Kristian Sosnin）：暗号技術者で、Matter LabsとParityの元Rustエンジニア。

• Vamsi Policharla: Sanjam Gargの指導の下、バークレー校で暗号学の博士号を取得中の暗号エンジニアで、バークレー校暗号グループの中核Rustエンジニアであり、4本以上のZKP論文を執筆しています。

• Yinuo Zhang：現在バークレー校でサンジャム・ガーグの指導の下、暗号学の博士号を取得中の暗号科学者。以前はa16z Crypto '23でインターンをしており、zkVMに取り組み、5本以上のZKP論文を執筆した。

インターネットの規模で検証可能な計算を作成できるチームがあるとすれば、それはNexusのチームだと信じています。

PanteraとLightspeed Venture Partnersは2024年6月10日、Nexusに対して2500万ドルのシリーズA資金調達ラウンドを共同で主導したと発表した。

Nexus 1.0が一般に公開されました。つまり、誰でも数行のコードで任意のRustプログラムを証明できるようになりました。ここ(https://docs.nexus.xyz/)の手順に従って、自分で試してみてください。

結論

Nexusは、スケーラブルで検証可能なコンピューティングという新しい世界に、優秀なチームと優れた技術設計で取り組んでいます。私たちは、Nexusが安全なインターネットを作ろうとする人類の未来にとって重要な一歩であると信じています。ゼロ知識証明は歴史的に時間がかかり、汎用性がなく、開発者の経験も乏しいものでした。

Nexusは、数十年にわたる技術革新と、高度に並列化されモジュール化されたシステムを組み合わせることで、3つの問題すべてを解決します。

私たちは、Nexusが効率的な検証可能コンピューティングのための主要な場所になり、今後何兆もの計算が安全で、検証可能で、効率的であることを保証すると確信しています。