jakiro
著者：Paul Veradittakit、パンタラパートナー：0xjs@作作作
序文
Zero -Knowledgeパスワードプロジェクトは、通常、2つのカテゴリに分割されます。
-
専用のZK：特定の計算を証明することにより、ブロックチェーンのスケーラビリティを改善しようとするこれらの試み。たとえば、ZK-Rollupスタック、実行レイヤーのZKEVM、およびZKは集約、決済などを証明します。これらの企業には、ZksyncraとStarknetが含まれます。
-
GM ZK：これらのZKは、どのプログラミング言語が使用されていても、ZKVMと呼ばれる計算を証明しようとします。彼らは、開発者が数日以内に（数か月ではなく）ZKプロジェクトを提供できるようにすることを目指しており、回路ではなく通常のコードを書くことに集中できるようにします。
後者は、下層から新しいシステムの構築に依存しているため、業界のリーダーはZK研究の最先端を拡大する必要があります。これらの企業には、RISCゼロ、簡潔、ネクサスが含まれます。
検証と計算を構築することは困難です。そのため、これらの企業は、ZKVM、Prooferネットワーク、カスタマイズされたサーキットなど、スタックの特定の部分を構築することに焦点を当てています。Nexusは、まったく異なる視点からこの問題に対処します。安全なインターネットを構築するには、ゼロ知識マシンの設計と使用が必要です。Nexusは、新しく検証されたコンピューターの才能と独創性をゼロから持っているため、ZKVMの各レイヤーを最適化して、最速かつ最も効率的な検証コンピューターを構築するためです。
検証計算とは何ですか？
現代社会では、真実を検証することは困難です。人工知能、深い偽造、VPN、リモートハッカー、オンライン釣りは、計算の背後にある真実をこれまで以上に容易にします。現在、私たちのコンピューターでは、CPUはコードを実行し、ソリューションを出力しています。Nexus 0.0を使用して、コード入力はソリューションと対応するゼロ知識証明と、ソリューションが正しく作成されていることを証明するため、出力が効果的であると判断できることを証明します。このようにして、情報はあらゆる情報が現実的であることを証明することができ、基礎となる情報に関する情報を開示する必要はありません。
進歩とマイルストーン
Nexusは、数十年にわたってゼロ知識証明の研究に基づいています。医療記録、軍事秘密、アイデンティティ、閲覧活動。検証と計算はピッチですが、大きな障害に直面しています。現在のZKアプリケーションは非常に遅く、計算を実行できず、開発者に悪い体験を提供します。
Nexus 1.0は、錆コードを証明するマシンを構築し、イノベーションとスケーラビリティを最適化するテクノロジースタックを設計しました。究極の目標は、インターネットと同じ大きさであっても、あらゆるアプリケーションに適応するために検証を拡大することです。Nexus 0.0は1Hz（1秒あたり1 CPUサイクル）で実行され、2023年9月に発売されました。2024年2月のEthdenverでは、Nexus 1.0の新しいバージョンは〜100Hzの速度で実行され、わずか5か月で約100倍に増加しました。チームは、Nexus ZKVMの速度を上げることを望んでいます。
このインデックスレベルの成長は、Nexus 1.0のモジュラー設計に由来するため、証明から証明の各部分までの個別の最適化が可能になり、最新の優れた研究がゼロ認識証明の分野で結果をもたらすことが証明されました。これにより、Nexusはそのテクノロジーをブロックチェーンに非常に簡単に適用できます。
暗号化されたアプリケーション
Nexusのモジュール化とは、全体的なアプリケーションに使用できることを意味し、単一の部品を使用して他のモジュラーアプリケーションをサポートすることもできます。たとえば、圧縮層は多くの大きな証明を簡潔な証明に組み合わせています。このテクノロジーはNOVAに依存しています。これは、2022年が研究論文を可決するまで発明されなかった折り畳みスキームです。Nexusは、世界で唯一の生産レベルの折り畳み実装を構築し、効率的な再帰と証明の集約を可能にします。このレイヤーは、他のZKVMをサポートするために独立して使用できます。
この設計は、現在のブロックチェーンコンセンサスおよびセキュリティ基準と簡単に統合できます。たとえば、NVMまたはNexus仮想マシンでは、「プレコンパイル」により、開発者はカスタム命令拡張マシンを使用して、Keccak-256などの一般的なスキームを事前にコンパイルすることができます（Ethereumでのトランザクションを作成および検証するため）。これは、NexusがEVM（および他の多くの）チェーンで完了した計算を統合および検証できることを意味します。
現在、ZKアプリケーションは、L1の証明書を生成および検証するために数百万ドルの費用がかかります。Nexus Proof、Compression、およびCompiler Node Networkは、既存のZKアプリケーションのパフォーマンスを大幅に改善し、既存のZKチェーン業界で大きな市場シェアを占め、数十億ドルに達する可能性があります。ZK業界は急速に発展しており、Nexusは、テクノロジースタック全体から実証済みから圧縮までの最初のクラスの設計で市場の主要地位を占めています。
チームの重要なメンバー
Nexusチームは、暗号化とコンピューターサイエンスの分野で最も優れた才能を集めています。
管理チームは次のとおりです。
-
ダニエル・マリン、CEO：有名な暗号学者のダン・ボーンの指導の下、スタンフォード大学のフレッシュ卒業生。
-
Jens Group、チーフサイエンティスト：Dfinityの元ディレクター、ロンドンの大学教授、最も広く使用されているZK-SNARK GROTH16の発明者。
-
アレックス・ファウラー、最高戦略責任者：BlockStream Coファウンダー兼元上級副社長、Mozilla最高プライバシー責任者。
-
Don Beaver、Cryptologyの副社長：彼はJump Cryptoの主要な暗号家であり、メタ、Uber、Apple、Googleの上級研究者および科学者でした。
コアチームの暗号化の専門家には次のものが含まれます。
-
ミシェル・アブダラ：上級コード・ディシップライン、国際暗号研究協会（IACR）の会長、元フランスの高等学校の教授、研究者Dfinity。
-
Samuel Judson：暗号化エンジニアは、イェール大学で暗号化の博士号を取得し、Ruzica Piskacで学び、Auth0セキュリティエンジニアを務めました。彼はZKP、正式な方法、およびAIで7つ以上の論文を書きました。
-
Kristian Sosnin：Matter Labs and ParityのRustエンジニアを務めた暗号化エンジニア。
-
Vamsi Policharla：バークレーで暗号化の博士号を勉強している暗号化エンジニア、インストラクターはSanjam Gargです。彼はバークレーコード研究グループのコアラストエンジニアであり、4つ以上のZKP論文を書きました。
-
Yinuo Zhang：Cryptoの科目。現在、サンジャムガーグ大学バークレー大学の指導の下で暗号化の博士号を研究しています。彼は以前にA16Z Crypto ’23でインターンを務め、ZKVMの研究に従事し、5つ以上のZKP論文を書きました。
いずれかのチームがインターネットスケールで検証済みの計算を作成できれば、それはNexusチームであると考えています。
PanteraとLightspeed Venture Partnersは、2024年6月10日に、Nexusの資金調達を共同でリードしていると発表しました。
Nexus 1.0は公開されています。つまり、誰でも数行しか使用して錆プログラムを証明できます。ここで手順を試してください（https://docs.nexus.xyz/）。
結論は
Nexusは、星と絶妙な技術設計で拡大できる新しい世界を克服します。Nexusは、人間が将来セキュリティインターネットを作成するための重要なステップであると考えています。ゼロの知識は、速度が常に遅く、普遍的であり、開発者の経験が悪いことを証明しています。
Nexusは、数十年のイノベーションと高い並列化とモジュラーシステムを組み合わせることにより、これら3つの問題を解決します。
Nexusが高効率の検証と計算の最初の選択肢になり、次の1兆の計算が安全で検証され、効率的であることを確認すると考えています。
