什么是Nexus (NEXUS)

Nexus：开创可验证的Web3时代互联网

Nexus代表了一个在人工智能、区块链和零知识密码学交汇处的开创性倡议，旨在从根本上改变数字信任基础设施。通过开发一个行星级超级计算机，将全球计算资源聚合成一个可验证的区块链，Nexus解决了当代去中心化系统中的关键限制——可扩展性、可审计性和可访问性。本报告综合了Nexus的技术架构、领导团队、融资情况、运营机制和发展轨迹，完全基于项目的主要文档和官方通讯。

Nexus生态系统概述

使命与愿景

Nexus旨在建立一种新的互联网基础设施范式，称为“可验证互联网”，在这里计算完整性是可以数学证明的。该项目旨在将全球闲置的计算资源——从智能手机到数据中心——集中到一个统一的、基于零知识证明的区块链中。这种架构使自主AI代理、去中心化应用和用户能够在一个密码学可审计的环境中进行交互。核心论点认为，可验证性将成为数字交互的基础，就像加密技术对隐私的重要性一样。

核心技术组件

生态系统由三个相互依赖的层次组成：

• Nexus zkVM：一个用Rust构建的虚拟机，模拟RISC-V架构，执行和证明任意计算。其设计通过整合zk-SNARKs和递归证明组合的进展，实现了比之前版本快1000倍的证明生成速度。
• 第一层区块链：一个兼容EVM的链，每个节点在本地运行zkVM。网络效应推动可扩展性——每增加一个节点，吞吐量就会增加，同时增强安全性。
• 通用证明：一个密码学累加器，将所有网络活动压缩成一个简洁的证明，作为全球信任的锚点。

这三者结合使Nexus能够实现其所称的“可验证计算”，这一新计算原语的重要性可与云计算或人工智能的出现相提并论。

创始团队与领导

执行领导

Daniel Marin，创始人兼首席执行官，领导Nexus。他在《福布斯》2025年30位30岁以下科学家名单中被认可，Marin将Nexus的使命阐述为实现“一个身份得到验证而不需要放弃个人数据的互联网”。他的背景涵盖密码学和去中心化系统，曾在多家有影响力的科技组织任职。

技术架构师

工程团队包括来自学术界和行业的先锋：

• 密码学研究：由专注于zkSNARKs和形式验证的前研究人员领导。
• 系统工程：包括Rust编译器开发和高性能分布式系统的贡献者。
• 产品开发：整合来自各大科技组织的人才，专注于主流可访问的接口。

这种跨学科的组合反映了项目对科学严谨性和大众采用的双重重视。

投资环境与融资

机构支持

Nexus在2024年6月的A轮融资中获得了2500万美元，由知名风险投资伙伴共同领导。这是在2022年末获得200万美元种子投资之后，由一家知名风险投资公司主导，并有其他投资团体参与。该资金加速了三个战略优先事项：

1. 扩大zkVM以显著提高计算能力。
2. 扩展Nexus网络及其全球节点基础设施。
3. 启动可验证AI实验室进行应用研究。

战略合作

超过50个组织已与Nexus的测试网络集成，展示了其在多个行业的实际应用潜力。

这些合作验证了Nexus在理论密码学之外的实用性，转向可触及的基础设施。

运营机制与创新

节点参与架构

任何连接互联网的设备都可以通过两种途径贡献计算资源：

• Nexus OS：一个基于网页的界面，允许用户一键参与，将闲置的CPU/GPU周期分配给证明生成，以换取可追踪的贡献积分。
• 命令行界面（CLI）：为希望部署自定义工作负载或优化硬件配置的高级用户提供。

这种双重方法平衡了可访问性与灵活性，网络参与节点的显著增加证明了这一点。

证明生成工作流程

1. 任务分配：一个编排层根据能力分析和可用性将计算片段分配给节点。
2. 本地执行：zkVM处理分配的任务，同时生成完整性证明。
3. 证明聚合：递归组合将数千个单独的证明合并为一个通用证明，证明网络行为。
4. 链上验证：聚合证明验证第一层账本上的交易和智能合约。

这一工作流程使Nexus能够实现其所描述的“横向扩展”，允许吞吐量随着节点数量的增加而线性增长，而不是模块化区块链。

可验证AI集成

可验证AI实验室探索模型审计和代理经济等新交集，确保AI系统在可验证框架内运行。这些举措使Nexus成为负责任的人工智能的关键基础设施。

发展时间线

基础阶段（2022–2023）

• 2022年第四季度：为zkVM原型获得种子资金。
• 2023年上半年：开放源代码发布Nexus zkVM alpha，支持多种智能合约语言。

测试网络演变（2024–2025）

• 2024年5月：部署测试网络I，展示在处理计算证明方面的早期成功。
• 2025年2月：推出测试网络II，允许更广泛的集成和实时数据验证。
• 2025年6月：测试网络III正在进行中，展示增强的编排和奖励机制，显著吸引更多参与者。

主网路线图

• 2025年第三季度：预计主网I启动，重点关注证明者网络的稳定性。
• 2026年及以后：每季度推出可验证AI代理和去中心化身份标准。

技术区别与创新

zkVM架构突破

Nexus的虚拟机引入了显著的能力，使其与其他系统区分开来：

1. 有限证明：证明任意长计算的能力对于复杂应用（如递归神经网络）至关重要。
2. 形式验证：确保zkVM本身遵循严格的正确性标准，使用先进的定理证明技术。
3. 混合执行：支持高层应用逻辑和低层证明生成，简化节点功能并扩展能力。

经济模型设计

经济框架采用非通货膨胀性激励——确保奖励与可验证的贡献紧密相关，而非投机交易。该模型强化了项目的基础信念，即信任应通过真实参与获得，增强社区参与感和诚信。

结论与未来轨迹

Nexus超越了传统区块链框架，通过重新构想在密码学、去中心化系统和人工智能交汇处的互联网基础设施。其技术架构——以zkVM、聚合证明机制和包容性参与模型为中心——解决了可验证计算的扩展性存在的根本限制。该项目强大的资金和合作伙伴关系预示着成熟和更广泛采用的光明前景。

展望未来，有三个轨迹值得关注：

1. 主网可扩展性：实现计算能力和交易吞吐量的雄心勃勃的目标。
2. AI代理集成：扩展自主系统作为本地网络参与者，增强基础设施的功能和可用性。
3. 正式标准化：争取在知名互联网治理机构内将Nexus的证明协议作为正式标准。

随着对数字信任的需求不断上升，Nexus有望成为下一个计算范式的基础设施，旨在使可验证的交互成为新兴Web3生态系统的基石。