如果互联网上的每一次运算都能在数学上被证明是正确的,会是什么样子?
Nexus正是为此而生的区块链基础设施项目——一个分布式零知识虚拟机(zkVM),旨在让可验证计算在互联网规模下真正可行。
本指南涵盖您所需了解的一切:Nexus的功能、它解决的问题、NEX代币的运作方式,以及如何在MEXC上购买NEX。
重点摘要
Nexus是由Nexus Labs打造的分布式zkVM(零知识虚拟机)项目,目标是在互联网规模下实现可验证计算。
其核心愿景:将全球计算机整合成一台单一的、可验证的超级计算机,每秒能够证明一万亿个CPU运算周期。
与传统区块链需要在每个节点重新执行交易以达成共识不同,Nexus使用密码学零知识证明——仅需一次——以数学确定性验证任何计算。
NEX是Nexus区块链的原生数字货币,作为这个可验证计算网络的经济核心。
| Nexus | NEX代币 | |
| 是什么 | 协议、网络与基础设施 | Nexus区块链的原生数字货币 |
| 功能 | 分布式zkVM + 可验证超级计算机网络 | 驱动Nexus生态系统:国库、激励机制、生态系统增长 |
| 类比 | 类似以太坊(平台) | 类似ETH(原生代币) |
| 使用者 | 开发者、证明者、节点运营商 | 代币持有者、生态系统参与者 |
零知识证明已存在数十年——但对大多数现实应用而言,它仍然过慢、过贵且难以使用。
Nexus识别出制约可验证计算发展的三个相互关联的问题。
目前的ZK证明方法要求手动编写复杂的算术电路,或使用扩展性较差的CPU型zkVM。
仅通过标准虚拟机模拟来证明单一个SHA-256哈希,就需要约64,000个CPU运算周期——比专用电路多出约1,000倍的计算量。
Nexus通过其zkVM协处理器架构解决这一问题,在保持开发者友好编程模型的同时,为自定义操作提供类似ASIC的性能。
传统zkVM设计需要提前决定计算长度的静态上限。
超过该限制的证明需要生成新的公开参数,或尝试高成本的SNARK递归——在规模化情境下两者均不实际。
Nexus通过无界渐进可验证计算(IVC)解决此问题,允许任意大型程序的证明以渐进方式生成与累积,无需静态限制。
SETI@Home和Folding@Home等项目利用数百万台志愿计算机进行大规模计算——但依赖概率方法(复制与比对)来验证结果。
这仅提供大约的完整性保证,而非数学证明。
Nexus网络旨在提供可证明的保证:其分布式证明者网络中的每个节点都生成密码学证明,因此无论哪些机器执行了工作,最终输出都是可验证正确的。
Nexus由Nexus Labs开发,主要作者Daniel Marin带领研究团队,成员包括Michel Abdalla、Jens Groth等人。
Nexus白皮书于2024年1月发表,将Nexus zkVM作为以Rust语言构建的完全开源项目正式介绍。
该项目建立在近四十年的基础密码学研究之上——从1985年Goldwasser、Micali和Rackoff引入零知识证明,到Nova、HyperNova以及现代折叠方案。
其愿景:让可验证计算像通用计算一样普及。
Nexus zkVM是一台能够为任何程序的正确执行生成简洁零知识证明的机器。
它专注于超大型计算——10亿个CPU运算周期及以上——并通过使用现代折叠与累积方案(Nova、HyperNova、CycleFold)的极致并行化来实现这一目标。
开发者只需一条指令即可证明任何Rust程序:cargo nexus prove。
NVM是一个简单、精简且可扩展的指令集架构(ISA)——一台具有40条指令的32位机器,灵感来自RISC-V,但经过重新设计以最大化证明者性能。
它采用简单的内存模型(Merkle树 + Poseidon哈希用于渐进式内存证明)以及具有公开与私有输入带的简单I/O模型。
其设计优先考虑可审计性与通用性:一台小巧、简洁的机器,其证明更易于验证和信任。
协处理器是NVM的用户自定义指令扩展,以CCS电路形式编写。
执行协处理器时,仅需支付其特定的证明成本——而非承担跨数千个CPU周期模拟操作的开销。
这使SHA-256、ECDSA签名、BLS聚合、矩阵乘法甚至递归SNARK验证器电路的加速证明成为可能。
Nexus网络汇聚全球异构计算机网络的集体CPU与GPU算力,执行大规模并行化的证明生成。
证明以树状结构累积——每个节点处理一块计算并将其证明向上传递——总吞吐量随网络规模成比例增长。
关键的是,Nexus证明者节点最低仅需1 GB RAM即可运行,这意味着智能手机和消费级笔记本电脑都能参与并贡献算力。
Nexus zkVM和Nexus网络完全开源,以Rust语言实现,并在GitHub上公开提供。
实现内容包括Nova、CycleFold和HyperNova折叠方案的生产级版本,以及NVM算术化、RISC-V至NVM编译器和证明压缩序列。
当前的智能合约仅限于简单的、复制的链上逻辑。
通过Nexus,智能合约可以使用复杂的链下计算结果——数据库查询、金融模型、机器学习推理——并由ZK证明背书,确认计算被正确执行。
Nexus的zkVM协处理器架构允许高效地证明矩阵乘法等计算密集型操作。
这为链上AI推理开辟了道路,模型输出的正确性可通过密码学验证——而非单纯信任。
任何开发者都可以向Nexus网络提交Rust程序,并获得其正确执行的密码学证明——无需信任执行它的节点。
这使大型计算的无信任委托成为可能:科学模拟、数据处理管道或企业工作负载,所有输出均可验证。
Nexus使DeFi协议中的智能合约能够执行大规模数据分析——风险建模、投资组合计算、清算逻辑——并附带正确性的密码学证明。
相同的基础设施支持具有复杂状态管理的区块链游戏应用,游戏逻辑可在链下被证明,并在链上验证,无需重新执行。
NEX是Nexus区块链的原生数字货币,总固定供应量为100万亿枚NEX。
初始分配结构如下:
国库代表Nexus协议的核心生态系统储备,为项目提供充裕的资金空间,以资助开发和社区增长,而无需依赖短期代币销售。
NEX是Nexus协议内的主要交换媒介。
随着网络成熟,NEX预计将为计算付款提供动力——包括向为Nexus网络贡献算力的节点运营商支付的证明生成费用。
60%的国库分配专门用于资助长期研发、合作伙伴关系、开发者激励计划和生态系统扩展。
这使NEX成为随时间推移吸引建设者、研究者和节点运营商加入Nexus生态系统的燃料。
向Nexus网络提供算力的节点运营商——运行MSM证明者节点或PCD证明者节点——直接为证明生成基础设施做出贡献。
NEX是设计用于在网络规模扩大时奖励这种算力贡献的激励机制。
Nexus有清晰的技术发展路径:从当前的开源zkVM迈向一个完全运作的分布式证明者网络,每秒能够证明数万亿个CPU运算周期。
近期优先事项包括非均匀IVC支持、zkVM输入/输出能力,以及扩展的协处理器库。
长期而言,Nexus旨在建立社区治理、深化跨链整合,并成为互联网规模可验证计算的基础设施。
该项目的既定愿景——"一个计算与数据完整性由证明保护的互联网未来"——将其定位于ZK密码学与去中心化计算的前沿。
Nexus在更广泛的ZK基础设施领域运作,针对通用可验证计算,而非特定链的扩展解决方案。
与专注于单一区块链的项目不同,Nexus设计用于证明任何链上的任何程序——使其成为更广泛适用的密码学基础设施层。
Nexus还通过其分布式证明者网络模型进行差异化,允许任何人仅需1 GB RAM即可贡献算力并赚取奖励,使参与门槛远低于专业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代币是值得提早了解的项目。

AMD 股票(NASDAQ: AMD)与英特尔股票(NASDAQ: INTC)处在一场持续多年的半导体竞争的中心,而这场竞争早已不止于 PC。如今的对决焦点是数据中心 CPU、AI 加速器、平台生态,以及——最关键的——执行力:在周期性行业与架构快速演进的背景下,能否以规模化节奏持续交付具竞争力的产品。 如果你在对比 AMD stock vs MSFT stock,通常是在权衡“硬件周期性 vs

如果你在研究 英特尔股票(INTC),你关注的是计算机史上最重要的名字之一,也是现代半导体领域争议最大的美股之一。英特尔(Intel) 通过 x86 CPU 定义了 PC 时代,而如今它正试图在多个战场同时取得突破:PC 处理器、数据中心 CPU、AI 加速,以及围绕制造与晶圆代工(Foundry)服务展开的重大战略重建。 本文将说明 英特尔(INTC) 是什么、所属行业、英特尔卖什么、英特尔如何

内容概述:Ondo Finance 是全球领先的真实世界资产代币化协议,已将美股与美债合规搬上区块链。Ondo 代币化股票是传统股票的“数字孪生”,一比一对应真实托管的股份。Ondo 代币化股票打破了传统券商的时间与地域限制,支持全天候交易与碎片化持有。投资者可通过 MEXC 便捷关注 Ondo 生态动态,把握真实世界资产赛道机遇。1. Ondo 代币化股票产品介绍Ondo Finance 由前高

互联网出了问题——而 Billions Network 正是为了修复它而生。 本文将带你了解 Billions Network 是什么、$BILL 代币如何运作、它与其他身份项目有何不同,以及如何在 MEXC 上购买 $BILL。 重点摘要 Billions Network 是一个去中心化身份协议,让人类与 AI 代理人能在不泄露个人数据的情况下验证身份,采用 ZK 证明与可验证凭证技术。$BIL