如果互联网上的每一次运算都能在数学上被证明是正确的，会是什么样子？

Nexus正是为此而生的区块链基础设施项目——一个分布式零知识虚拟机（zkVM），旨在让可验证计算在互联网规模下真正可行。

本指南涵盖您所需了解的一切：Nexus的功能、它解决的问题、NEX代币的运作方式，以及如何在MEXC上购买NEX。

重点摘要

• Nexus是一个分布式zkVM项目，正在打造一台可验证的超级计算机，每秒能够证明一万亿个CPU运算周期。
• NEX是Nexus区块链的原生数字货币，总固定供应量为100万亿枚代币。
• NEX代币分配如下：60%分配给国库（已解锁），20%分配给团队，20%分配给投资者——后两者均受3年锁仓期约束。
• Nexus针对的问题比StarkNet或zkSync等ZK Rollup更广泛——它不受特定链限制，设计用于证明任何程序，而不仅限于区块链交易。
• NEX可在MEXC上进行现货与合约交易。

什么是Nexus加密货币（NEX）？

Nexus是由Nexus Labs打造的分布式zkVM（零知识虚拟机）项目，目标是在互联网规模下实现可验证计算。

其核心愿景：将全球计算机整合成一台单一的、可验证的超级计算机，每秒能够证明一万亿个CPU运算周期。

与传统区块链需要在每个节点重新执行交易以达成共识不同，Nexus使用密码学零知识证明——仅需一次——以数学确定性验证任何计算。

NEX是Nexus区块链的原生数字货币，作为这个可验证计算网络的经济核心。

Nexus与NEX代币有何不同？

Nexus加密货币解决了什么问题？

零知识证明已存在数十年——但对大多数现实应用而言，它仍然过慢、过贵且难以使用。

Nexus识别出制约可验证计算发展的三个相互关联的问题。

ZK证明在规模化方面仍不实际

目前的ZK证明方法要求手动编写复杂的算术电路，或使用扩展性较差的CPU型zkVM。

仅通过标准虚拟机模拟来证明单一个SHA-256哈希，就需要约64,000个CPU运算周期——比专用电路多出约1,000倍的计算量。

Nexus通过其zkVM协处理器架构解决这一问题，在保持开发者友好编程模型的同时，为自定义操作提供类似ASIC的性能。

大型计算无法在不耗费庞大资源的情况下被证明

传统zkVM设计需要提前决定计算长度的静态上限。

超过该限制的证明需要生成新的公开参数，或尝试高成本的SNARK递归——在规模化情境下两者均不实际。

Nexus通过无界渐进可验证计算（IVC）解决此问题，允许任意大型程序的证明以渐进方式生成与累积，无需静态限制。

分布式计算缺乏无信任验证机制

SETI@Home和Folding@Home等项目利用数百万台志愿计算机进行大规模计算——但依赖概率方法（复制与比对）来验证结果。

这仅提供大约的完整性保证，而非数学证明。

Nexus网络旨在提供可证明的保证：其分布式证明者网络中的每个节点都生成密码学证明，因此无论哪些机器执行了工作，最终输出都是可验证正确的。

Nexus Labs与NEX加密货币的背景故事

Nexus由Nexus Labs开发，主要作者Daniel Marin带领研究团队，成员包括Michel Abdalla、Jens Groth等人。

Nexus白皮书于2024年1月发表，将Nexus zkVM作为以Rust语言构建的完全开源项目正式介绍。

该项目建立在近四十年的基础密码学研究之上——从1985年Goldwasser、Micali和Rackoff引入零知识证明，到Nova、HyperNova以及现代折叠方案。

其愿景：让可验证计算像通用计算一样普及。

Nexus加密货币的核心功能

Nexus zkVM——证明任何程序

Nexus zkVM是一台能够为任何程序的正确执行生成简洁零知识证明的机器。

它专注于超大型计算——10亿个CPU运算周期及以上——并通过使用现代折叠与累积方案（Nova、HyperNova、CycleFold）的极致并行化来实现这一目标。

开发者只需一条指令即可证明任何Rust程序：cargo nexus prove。

Nexus虚拟机（NVM）

NVM是一个简单、精简且可扩展的指令集架构（ISA）——一台具有40条指令的32位机器，灵感来自RISC-V，但经过重新设计以最大化证明者性能。

它采用简单的内存模型（Merkle树 + Poseidon哈希用于渐进式内存证明）以及具有公开与私有输入带的简单I/O模型。

其设计优先考虑可审计性与通用性：一台小巧、简洁的机器，其证明更易于验证和信任。

zkVM协处理器——类ASIC性能

协处理器是NVM的用户自定义指令扩展，以CCS电路形式编写。

执行协处理器时，仅需支付其特定的证明成本——而非承担跨数千个CPU周期模拟操作的开销。

这使SHA-256、ECDSA签名、BLS聚合、矩阵乘法甚至递归SNARK验证器电路的加速证明成为可能。

Nexus网络——可验证的超级计算机

Nexus网络汇聚全球异构计算机网络的集体CPU与GPU算力，执行大规模并行化的证明生成。

证明以树状结构累积——每个节点处理一块计算并将其证明向上传递——总吞吐量随网络规模成比例增长。

关键的是，Nexus证明者节点最低仅需1 GB RAM即可运行，这意味着智能手机和消费级笔记本电脑都能参与并贡献算力。

开源且生产就绪

Nexus zkVM和Nexus网络完全开源，以Rust语言实现，并在GitHub上公开提供。

实现内容包括Nova、CycleFold和HyperNova折叠方案的生产级版本，以及NVM算术化、RISC-V至NVM编译器和证明压缩序列。

Nexus加密货币的现实应用场景

可验证的智能合约计算

当前的智能合约仅限于简单的、复制的链上逻辑。

通过Nexus，智能合约可以使用复杂的链下计算结果——数据库查询、金融模型、机器学习推理——并由ZK证明背书，确认计算被正确执行。

链上AI与机器学习

Nexus的zkVM协处理器架构允许高效地证明矩阵乘法等计算密集型操作。

这为链上AI推理开辟了道路，模型输出的正确性可通过密码学验证——而非单纯信任。

去中心化云计算

任何开发者都可以向Nexus网络提交Rust程序，并获得其正确执行的密码学证明——无需信任执行它的节点。

这使大型计算的无信任委托成为可能：科学模拟、数据处理管道或企业工作负载，所有输出均可验证。

复杂DeFi与游戏应用

Nexus使DeFi协议中的智能合约能够执行大规模数据分析——风险建模、投资组合计算、清算逻辑——并附带正确性的密码学证明。

相同的基础设施支持具有复杂状态管理的区块链游戏应用，游戏逻辑可在链下被证明，并在链上验证，无需重新执行。

NEX代币经济学

NEX是Nexus区块链的原生数字货币，总固定供应量为100万亿枚NEX。

初始分配结构如下：

• 团队——20%3年锁仓计划：1年悬崖期，第12个月解锁33%，剩余部分线性解锁。
• 投资者——20%3年锁仓计划：1年悬崖期，第12个月解锁33%，剩余部分线性解锁。
• 国库——60%上线时完全解锁。专门用于长期研发、生态系统发展、合作伙伴关系、激励计划和生态系统增长。

国库代表Nexus协议的核心生态系统储备，为项目提供充裕的资金空间，以资助开发和社区增长，而无需依赖短期代币销售。

NEX代币的功能

网络货币

NEX是Nexus协议内的主要交换媒介。

随着网络成熟，NEX预计将为计算付款提供动力——包括向为Nexus网络贡献算力的节点运营商支付的证明生成费用。

生态系统激励与增长

60%的国库分配专门用于资助长期研发、合作伙伴关系、开发者激励计划和生态系统扩展。

这使NEX成为随时间推移吸引建设者、研究者和节点运营商加入Nexus生态系统的燃料。

贡献者奖励

向Nexus网络提供算力的节点运营商——运行MSM证明者节点或PCD证明者节点——直接为证明生成基础设施做出贡献。

NEX是设计用于在网络规模扩大时奖励这种算力贡献的激励机制。

Nexus加密货币的未来：路线图与愿景

Nexus有清晰的技术发展路径：从当前的开源zkVM迈向一个完全运作的分布式证明者网络，每秒能够证明数万亿个CPU运算周期。

近期优先事项包括非均匀IVC支持、zkVM输入/输出能力，以及扩展的协处理器库。

长期而言，Nexus旨在建立社区治理、深化跨链整合，并成为互联网规模可验证计算的基础设施。

该项目的既定愿景——"一个计算与数据完整性由证明保护的互联网未来"——将其定位于ZK密码学与去中心化计算的前沿。

Nexus加密货币与竞争对手：NEX如何脱颖而出

Nexus在更广泛的ZK基础设施领域运作，针对通用可验证计算，而非特定链的扩展解决方案。

与专注于单一区块链的项目不同，Nexus设计用于证明任何链上的任何程序——使其成为更广泛适用的密码学基础设施层。

Nexus还通过其分布式证明者网络模型进行差异化，允许任何人仅需1 GB RAM即可贡献算力并赚取奖励，使参与门槛远低于专业ZK基础设施。

对于需要超越区块链交易的可验证计算的开发者——AI推理、科学计算、企业数据管道——Nexus解决的是一个更广泛且竞争更少的问题空间。

在哪里购买NEX代币

NEX可在全球领先的加密货币交易所之一MEXC上进行交易。

MEXC提供NEX现货交易对，搭配深度流动性、具竞争力的手续费，以及适合新手与资深交易者的友好界面。

如何在MEXC上购买Nexus币（NEX）

步骤 1。前往mexc.com，点击注册以创建免费账户。

步骤 2。完成KYC（身份）验证以解锁完整交易权限。

步骤 3。向您的MEXC钱包充值——接受USDT及其他支持的资产。

步骤 4。在搜索栏中输入"NEX"，选择NEX/USDT交易对。

步骤 5。选择您的订单类型——市价单（以当前价格立即购买）或限价单（设定您的目标价格）——输入数量后确认。

步骤 6。 您的NEX代币将出现在您的MEXC钱包中；如需提高安全性，可转移至个人钱包。

结论

Nexus正在应对密码学领域最雄心勃勃的挑战之一：使可验证计算足够实际，能够在互联网本身的规模上运行。

凭借分布式zkVM、全球证明者网络以及NEX作为原生货币，该项目正在构建可能从根本上改变计算信任建立方式的基础设施——不是通过反复验证，而是通过数学证明。

对于追踪ZK密码学与去中心化基础设施交汇点的投资者和开发者而言，Nexus和NEX代币是值得提早了解的项目。