この数日間、Nexus @NexusLabs プロジェクトの注目度が非常に高く、そのエアドロップインタラクションの「ワンクリックで掘る」便利さとプロジェクトの巨大な前景により、多くの関心を集めています。そのため、私は特に資料を検索して学び、これを皆さんと共有します。#Nexus #NEX #zkVM
Nexus は大規模な並列化された ZK（ゼロ知識証明）マイニングネットワークを自称しており、Daniel Marin、Jens Groth などが共同設立したもので、創設者たちは強力なコンピュータと暗号学のバックグラウンドを持っています。
2022 年にプロジェクトが始まって以来、プロジェクトは合計で 2720 万ドルの資金を調達しており、Pantera Capital、Dragonfly、Dragonfly などの有名 VC がリードしています。
「大規模な並列化されたゼロ知識証明（ZK）マイニングネットワーク」を理解するには、ZK を知っておく必要があります。以下は私が簡単にまとめた ZK の知識と、なぜブロックチェーンに ZK が必要なのかです。
📌Nexus プロジェクトは二つの部分に分けて説明できます：
一、Nexus zkVM
zkVM を簡単に理解すると、任意のプログラムまたは計算を zkVM に入力すると、ZK の証明プロセスと結果が返されます。
開発者は暗号学や複雑なゼロ知識開発技術を学ぶ必要はありませんが、zkVM 自体の構築は非常に面倒です。したがって、複雑な Nexus zkVM は ZK 証明を必要とする開発者のために多くの時間を節約できます。
主な証明プロセスは以下の通りです（ここでは具体的な ZK 証明原理を探求せず、Nexus zkVM 中の証明生成プロセスのみを論じます）：
1、作成->コンパイル
開発者はまず普通の Rust 言語プログラムを作成し、プリコンパイルツールを使用して処理し、その後 Nexus が提供するコンパイルツール（Nexus Compiler）を使用してそれを Nexus 仮想機械（NVM）命令セット向けの実行可能コードにコンパイルします。
NVM と Nexus zkVM を区別することに注意してください。
Nexus Compiler は高水準言語または特定の DSL（ドメイン固有言語）をできるだけ簡潔で効率的な低水準命令列にコンパイルし、以降の証明性能を最大化します。
2、実行と実行の痕跡（Trace）の生成
コンパイルが完了した後、プログラムは NVM 環境内で実行され、その実行プロセス全体が一連の「実行痕跡」として記録されます。この痕跡には、各ステップの状態変更、メモリアクセスなどの情報が含まれ、以降の証明生成の準備となります。
3、ブロックと分配
NVM は全体の実行痕跡を複数のブロック（チャンク）に分割し、Nexus Network のオーケストレーターを通じてこれらのブロックを異なる参加ノードに分配します。これにより、大規模ネットワークで並列計算が可能になり、証明生成の速度と効率が向上します。
4、並列証明と集約
各ノードは、自分が担当する痕跡ブロックの証明（部分的な証明）を独立して生成します。
これらの部分的な証明は最終的にネットワーク内でオーケストレーターによって統合され、元の Rust プログラムの正しい実行を証明する統一的で簡潔なゼロ知識証明が生成されます。
大規模な並列処理と再帰的 SNARK を採用しているため、最終的な証明結果は非常に小さいですが、計算プロセスの正確性を保証できます。
附：メモリ整合性チェックメカニズム
Nexus zkVM は Merkle 木に基づくベクトルコミットメント（vector commitment）方法を採用し、グローバルメモリの読み書きの正確性を追跡および検証します。
複数回の増分検証計算（IVC）プロセスにおいて、この Merkle 木の構造は、メモリアクセスの正確性と一貫性を保証し、グローバルノードの状態が改ざんされることや不一致が発生しないことを保証します。
二、Nexus Network
Nexus Network は計算「実行痕跡のブロック」を処理するネットワークであり、さまざまな計算ノードとオーケストレーターで構成されています。
オーケストレーターは主にネットワークリソースの調整、ブロックの検証タスクを異なるノードに分配、検証ノードの完了した作業を確認、現在の報酬ポイントを管理する役割を担っています。
計算ノードは Nexus zkVM を実行し、計算オーケストレーターが配布したタスクを実行し、結果を提出し、正しい結果のフィードバックを通じて報酬を得る必要があります。
📌次にプロジェクトの現状を見てみましょう
先日、Nexus の第二のテストネットが登場し、多くのエアドロップ愛好者を引きつけました。現在、NEX ポイントを取得する方法は二つあります：
1、ウェブ版を実行し、公式サイトを開いてワンクリックで開始
2、ローカル版を実行し、CLI コマンドラインでノードをインストールして実行
現在、テストネットには zklink や io.net などの有名な DePIN プロジェクトを含む 30 のノードサービスプロバイダーが計算を提供しています。
🔴まとめると
Succinct と比較すると、Nexus は Succinct の究極版であり、Succinct はゆっくりと進め、まずブロックチェーンネットワークで ZKP ネットワークを実行してから他の業界に拡張しようとしています。
しかし、今回は Nexus が直接一気に進め、世界のゼロ知識（ZK）証明生成ネットワークを作るという野心を抱いています。
しかし私の理解では、現在 ZK 技術は主にブロックチェーン分野で応用されています。Nexus は現在 Rust および Solidity 言語をサポートしており、それは Ethereum と Solana エコシステムに対応しています。言い換えれば、Nexus は Succinct の強力な競争相手と言えます。
今後の zkVM 全体のトラックの発展がどのようになるのか楽しみです！