インターネット上のあらゆる計算が、数学的に正しいと証明できるとしたら、どうなるでしょうか?
Nexusは、まさにそれを実現するために構築されたブロックチェーン基盤プロジェクトです。分散型ゼロ知識仮想マシン(zkVM)として、インターネット規模で検証可能な計算を実用化することを目指しています。
このガイドでは、Nexusが何をするのか、解決する課題、NEXトークンの仕組み、そしてMEXCでのNEX購入方法まで、必要なすべてを解説します。
重要ポイント
Nexusは、Nexus Labsが構築した分散型zkVM(ゼロ知識仮想マシン)プロジェクトで、インターネット規模での検証可能な計算の実現を目標としています。
中核となる野望は、世界中のコンピューターを一つの検証可能なスーパーコンピューターに統合し、毎秒1兆CPUサイクルを証明できる能力を実現することです。
コンセンサスのためにすべてのノードでトランザクションを再実行する従来のブロックチェーンとは異なり、Nexusは暗号学的ゼロ知識証明を使用して、あらゆる計算を——一度だけ——数学的確実性をもって検証します。
NEXはNexusブロックチェーンのネイティブデジタル通貨であり、この検証可能な計算ネットワークの経済的基盤として機能します。
| Nexus | NEXトークン | |
| 概要 | プロトコル、ネットワーク、インフラ | Nexusブロックチェーンのネイティブデジタル通貨 |
| 機能 | 分散型zkVM+検証可能なスーパーコンピューターネットワーク | Nexusエコシステムの推進:トレジャリー、インセンティブ、エコシステム成長 |
| 類比 | Ethereum(プラットフォーム)に相当 | ETH(ネイティブトークン)に相当 |
| 利用者 | 開発者、証明者、ノードオペレーター | トークン保有者、エコシステム参加者 |
ゼロ知識証明は数十年前から存在していますが、ほとんどの現実的なアプリケーションにとって、依然として遅すぎ、コストが高すぎ、使いにくいままです。
Nexusは、検証可能な計算の発展を妨げている、相互に関連する3つの課題を特定しています。
現在のZK証明のアプローチでは、複雑な算術回路を手動で記述するか、スケーラビリティの低いCPUベースのzkVMを使用するかのどちらかが必要です。
標準的な仮想マシンエミュレーションで単一のSHA-256ハッシュを証明するだけでも、約64,000CPUサイクルが必要です——専用回路と比べて約1,000倍の計算量です。
NexusはzkVMコプロセッサーアーキテクチャによってこの問題を解決し、開発者にとって使いやすいプログラミングモデルを維持しながら、カスタム操作においてASICに近い性能を実現します。
従来のzkVM設計では、計算長の静的な上限をあらかじめ決定する必要があります。
その上限を超える証明を生成するには、新しい公開パラメーターを生成するか、コストの高いSNARK再帰を試みるか——いずれもスケールにおいて非現実的です。
Nexusは、無制限のインクリメンタル検証可能計算(IVC)によってこの課題に対処し、静的な制限なしに任意の大きなプログラムの証明をインクリメンタルに生成・蓄積できます。
SETI@HomeやFolding@Homeのようなプロジェクトは、大規模な計算のために何百万台もの自発的なコンピューターを活用しましたが、結果の検証には確率的手法(複製と比較)に頼っていました。
これは数学的証明ではなく、あくまで近似的な整合性保証に過ぎません。
Nexusネットワークは証明可能な保証を提供するよう設計されています:分散型証明者ネットワークの各ノードが暗号学的証明を生成するため、どのマシンが計算を行ったかに関わらず、最終出力は検証可能な形で正しいことが保証されます。
Nexusは、主要著者であるDaniel Marinが率いるNexus Labsによって開発され、Michel Abdalla、Jens Grothらを含む研究チームが参加しています。
Nexusのホワイトペーパーは2024年1月に公開され、RustでビルドされたフルオープンソースプロジェクトとしてNexus zkVMを紹介しました。
このプロジェクトは、1985年にGoldwasser、Micali、Rackoffがゼロ知識証明を導入して以来、Nova、HyperNova、現代のフォールディングスキームに至るまで、約40年にわたる基礎的な暗号学研究の上に構築されています。
プロジェクトのビジョン:検証可能な計算を汎用コンピューティングと同様に広く普及させること。
Nexus zkVMは、あらゆるプログラムの正しい実行に対して簡潔なゼロ知識証明を生成できるマシンです。
特に非常に大規模な計算——10億CPUサイクル以上——に特化しており、現代のフォールディングおよびアキュムレーションスキーム(Nova、HyperNova、CycleFold)を用いた極限までの並列化によってこれを実現します。
開発者はたった一つのコマンドで任意のRustプログラムを証明できます:cargo nexus prove。
NVMは、シンプルで最小限、かつ拡張可能な命令セットアーキテクチャ(ISA)です——40命令を持つ32ビットマシンで、RISC-Vにインスパイアされながらも、証明者の性能を最大化するよう再設計されています。
シンプルなメモリモデル(インクリメンタルメモリ証明のためのマークルツリー+Poseidonハッシュ)と、公開・非公開の入力テープを持つシンプルなI/Oモデルを採用しています。
その設計は監査可能性と汎用性を優先しており、証明の検証と信頼がより容易な、小さくクリーンなマシンです。
コプロセッサーは、CCS回路として記述されたNVMのユーザー定義命令拡張です。
コプロセッサーが実行されると、数千CPUサイクルにわたる操作のエミュレーションコストを負担することなく、その特定の証明コストのみが発生します。
これにより、SHA-256、ECDSA署名、BLSアグリゲーション、行列乗算、さらには再帰的SNARKベリファイアー回路の高速証明が可能になります。
Nexusネットワークは、グローバルな異種コンピューターネットワークのCPUおよびGPUパワーを集約し、大規模に並列化された証明生成を実行します。
証明はツリー構造で蓄積されます——各ノードが計算のチャンクを処理し、その証明を上位に渡すことで——総スループットはネットワーク規模に比例して拡大します。
重要な点として、NexusプルーバーノードはわずかRAM 1GBで動作可能であり、スマートフォンや一般向けノートパソコンでも参加して計算を提供できます。
Nexus zkVMおよびNexusネットワークは完全にオープンソースで、Rustで実装されており、GitHubで公開されています。
実装には、Nova、CycleFold、HyperNova各フォールディングスキームのプロダクショングレード版、NVM算術化、RISC-VからNVMへのコンパイラー、証明圧縮シーケンスが含まれます。
現在のスマートコントラクトは、シンプルで複製されたオンチェーンロジックに限定されています。
Nexusを使用すると、スマートコントラクトは複雑なオフチェーン計算——データベースクエリ、金融モデル、ML推論——の結果を、計算が正しく実行されたことを示すZK証明とともに利用できます。
NexusのzkVMコプロセッサーアーキテクチャにより、行列乗算などの計算集約型操作を効率的に証明できます。
これにより、モデルの出力の正確性を暗号学的に検証できるオンチェーンAI推論への道が開かれます——単に信頼するだけでなく。
開発者はRustプログラムをNexusネットワークに送信し、それを実行したノードを信頼することなく、その正しい実行の暗号学的証明を受け取ることができます。
これにより、大規模な計算の信頼不要な委任が可能になります:科学シミュレーション、データ処理パイプライン、エンタープライズワークロード、すべて検証可能な出力とともに。
NexusはDeFiプロトコルのスマートコントラクトが大規模なデータ分析——リスクモデリング、ポートフォリオ計算、清算ロジック——を正確性の暗号学的証明とともに実行できるようにします。
同じインフラが、複雑な状態管理を持つブロックチェーンゲームアプリケーションをサポートします。ゲームロジックをオフチェーンで証明し、再実行なしにオンチェーンで検証できます。
NEXはNexusブロックチェーンのネイティブデジタル通貨で、総固定供給量は100兆NEXです。
初期配分は以下のように構成されています:
トレジャリーはNexusプロトコルのコアエコシステム準備金を代表しており、短期的なトークン販売に依存することなく、開発とコミュニティの成長を資金調達するための十分な資本を プロジェクトに提供します。
NEXはNexusプロトコル内の主要な交換媒体として機能します。
ネットワークが成熟するにつれて、NEXは計算への支払いを支える通貨となることが期待されています——Nexusネットワークに計算を提供するノードオペレーターへの証明生成手数料の支払いを含みます。
60%のトレジャリー配分は、長期的なR&D、パートナーシップ、開発者インセンティブプログラム、エコシステム拡大の資金調達に特化して充てられます。
これにより、NEXはビルダー、研究者、ノードオペレーターをNexusエコシステムに迎え入れるための燃料となります。
Nexusネットワークに計算を提供するノードオペレーター——MSMプルーバーノードまたはPCDプルーバーノードを稼働させている——は、証明生成インフラに直接貢献しています。
NEXは、ネットワークの拡大に伴い、この計算上の貢献を報酬する目的で設計されたインセンティブメカニズムです。
Nexusには明確な技術的進展が待っています:現在のオープンソースzkVMから、毎秒数兆CPUサイクルを証明できる完全稼働の分散型プルーバーネットワークへ。
近期の優先事項には、非均一IVCサポート、zkVMの入出力機能、拡張されたコプロセッサーライブラリが含まれます。
長期的には、Nexusはコミュニティガバナンスの確立、クロスチェーン統合の深化、インターネット規模の検証可能な計算のための基盤インフラとなることを目指しています。
プロジェクトの掲げるビジョン——「計算とデータの整合性が証明によって守られるインターネットの未来」——は、ZK暗号学と分散型コンピューティングの最前線にその立ち位置を確立しています。
Nexusは、特定チェーンのスケーリングソリューションではなく、汎用の検証可能な計算を対象とする、より広いZKインフラ空間で活動しています。
単一ブロックチェーンに特化したプロジェクトとは異なり、Nexusはあらゆるチェーン上のあらゆるプログラムを証明するよう設計されており、より広く適用可能な暗号学的インフラ層となっています。
Nexusはまた、分散型プルーバーネットワークモデルによって差別化を図っています。RAM 1GBという最低限のスペックで計算を提供して報酬を得ることができ、専門的なZKインフラよりもはるかに参加しやすい構造になっています。
ブロックチェーントランザクションを超えた検証可能な計算——AI推論、科学的計算、エンタープライズデータパイプライン——を必要とする開発者にとって、Nexusはより広く、競争の少ない問題空間に取り組んでいます。
NEXは、世界有数の暗号資産取引所であるMEXCで取引可能です。
MEXCはNEXのスポット取引ペアを提供しており、深い流動性、競争力のある手数料、初心者から経験豊富なトレーダーまで対応したユーザーフレンドリーなインターフェースが揃っています。
MEXCでNEXを取引するには:mexc.com
ステップ1。 mexc.comにアクセスし、サインアップをクリックして無料アカウントを作成します。
ステップ2。 KYC(本人確認)を完了して、完全な取引アクセスを解放します。
ステップ3。 MEXCウォレットに入金します——USDTおよびその他のサポートされている資産が利用可能です。
ステップ4。 検索バーに「NEX」と入力し、NEX/USDT取引ペアを選択します。
ステップ5。 注文タイプを選択します——成行注文(現在の価格で即時購入)または指値注文(希望価格を設定)——数量を入力して確認します。
ステップ6。 NEXトークンがMEXCウォレットに反映されます。セキュリティ強化のため、個人ウォレットへの移送もご検討ください。
Nexusは、暗号学における最も野心的な課題の一つに取り組んでいます:インターネット自体の規模で稼働できるほど実用的な検証可能な計算の実現。
分散型zkVM、グローバルなプルーバーネットワーク、そしてネイティブ通貨としてのNEXを擁するこのプロジェクトは、コンピューティングにおける信頼の確立方法を根本的に変える可能性のあるインフラを構築しています——繰り返しの検証ではなく、数学的証明によって。
ZK暗号学と分散型インフラの交差点を追うインベスターや開発者にとって、NexusとNEXトークンは早期に理解しておく価値のあるプロジェクトです。

インターネットは壊れている——Billions Networkはそれを修復するために生まれました。 このガイドでは、Billions Networkとは何か、$BILLトークンの仕組み、他のアイデンティティプロジェクトとの違い、そしてMEXCで$BILLを購入する方法について解説します。 重要ポイント Billions Networkは、ZKプルーフと検証可能なクレデンシャルを使用し、個人データを

ブロックチェーン技術とゲーム業界の融合は、デジタル経済において最も有望な分野のひとつとして台頭しています。そのコアバリューは、プレイヤーと仮想世界がどのように関わり、暗号資産を保有し、参加者がゲーム経済に関与するかを根本的に変革する点にあります。この変革の波の中で、Moonveilは先駆的なWeb3ゲームエコシステムとして際立っています。最先端のゼロ知識 (ZK) 技術を搭載した Moonveil

MEXCの現物取引ではトークン名を検索すると、現物取引したいトークンをすぐに見つけることができます。MEXCの現物取引は、メインゾーン、イノベーションゾーン、審査ゾーン、MEME、ZK、Arbitrumなど、いくつかのセクションに分かれています。最初の3つ以外のセクションには、現在のイベントやトークンの種類にちなんだ名前が付けられています。 では、メインゾーン、イノベーションゾーン、審査ゾーンには

Unipeg UPEGとは何か? Unipeg (UPEG) は、分散型金融におけるスケーラビリティの課題解決に特化したUnipeg分散型プラットフォームを支えるブロックチェーンベースの暗号通貨です。2025年に立ち上げられたUPEGは、DeFiセクターにおける高い取引コストと処理速度の遅さを解消するために開発されました。レイヤー2スケーリング技術により、UPEGはユーザーが高いセキュリティと相互

ZEC短期価格予測の概要 急速に変化する暗号通貨取引の世界では、短期価格予測により、トレーダーは日次、週次、月次のタイムフレームで機会を特定することができます。Zcash (ZEC)の短期価格予測は、テクニカル指標、取引パターン、現在の市場センチメントを組み合わせて、ZECが次にどこに向かうかについての洞察を提供します。信頼性の高い価格予測モデルを通じてZcashの価格変動を理解することで、暗号通
Suiがメインネットでガスレスステーブルコイン送金を正式ローンチ——暗号資産の大衆普及に向けた大きな一歩 Suiはメインネットでのガスレスステーブルコイン送金を正式に開始した

重要ポイントOndo Financeは、米国債や株式、ETFなどの伝統的な金融資産をオンチェーンに持ち込むことに特化した、現実資産(RWA)のトークン化プラットフォームです。Ondoのトークン化株式は、裏付けとなる株式やETFの経済的パフォーマンスを追跡するように設計されたブロックチェーン上のトークンです。これらのプロダクトは、オンチェーンでの転送可能性、小口アクセス(分割保有)、取引可能時間の拡

インターネットは壊れている——Billions Networkはそれを修復するために生まれました。 このガイドでは、Billions Networkとは何か、$BILLトークンの仕組み、他のアイデンティティプロジェクトとの違い、そしてMEXCで$BILLを購入する方法について解説します。 重要ポイント Billions Networkは、ZKプルーフと検証可能なクレデンシャルを使用し、個人データを

ブロックチェーンは長年にわたり、従来のウェブインフラを代替することを約束してきました――しかし、遅い処理速度と高い手数料がそのビジョンの実現を阻み続けてきました。 MegaETHは、MegaLabsが開発したEthereumのLayer 2ブロックチェーンであり、この状況を変えることを目指しています――毎秒10万件以上のトランザクション処理と、ミリ秒単位の応答時間を実現します。 本ガイドでは、Me