撰文：KarenZ，Foresight News

本周超级计算机项目 Nexus 上线新的测试网。Nexus 创始人兼 CEO Daniel Marin 表示，新测试网发布仅仅两小时后，便吸引了 1 万名用户的积极参与。

那么，Nexus 究竟是一个怎样的项目？它的运行机制以及参与方式又是怎样的呢？

Nexus 的灵感源自加州大学伯克利分校开发的科学试验 SETI@home（利用全球联网的计算机共同搜寻地外文明（SETI））以及斯坦福大学的 Folding@home（分布式计算项目，旨在帮助科学家通过模拟蛋白质动力学的方式开发针对多种疾病的新疗法）等大型项目，设想构建一个建立在可验证计算基础上的互联网，将分散在世界各地的计算设备（如大型 GPU farms、计算机、手机等设备）连接起来，共同组成一台超级计算机。

此外，通过利用 Nexus zkVM，Nexus 将计算供应与证明需求连接，任何人都可以将自己的设备接入网络，不仅参与计算，还能因此获得相应的奖励。

Nexus 的创始人兼 CEO Daniel Marin 毕业于斯坦福大学计算机科学专业，并在国际物理学奥林匹克中两次获奖。而首席科学家 Jens Groth 则是基于配对的 zkSNARK 的发明者，曾在 DFINITY 担任研究总监和伦敦大学学院的密码学教授。

Nexus 的工程和研究团队也汇聚了众多在密码学和计算机科学领比较具有丰富经验的专家。此外，Nexus 官网列出的顾问有 8 名，包括纽约大学密码学系主任 Yevgeniy Dodis、Zcash 首席科学家 Chelsea Komlo、以太坊密码学家 Zhenfei Zhang、谷歌密码学家 Giuseppe Persiano 、Bitso 联合创始人兼 CEO Daniel Vogel、Dragonfly 合伙人 Gengmo Qi 等。

在融资方面，Nexus Labs 在 2024 年 6 月份完成 2500 万美元 A 轮融资，Lightspeed Venture Partners 和 Pantera Capital 领投，Dragonfly Capital、Faction Ventures 和 Blockchain Builders Fund 等参投。

如前所说，作为一个大规模并行证明网络，Nexus Network 将全球范围内的计算设备紧密相连，共同形成一台超级计算机。而 Nexus zkVM 则作为这一网络的核心，可以证明任何计算。zkVM 是一种虚拟机，它使用零知识加密技术来确定计算是否正确执行，而无需访问任何私有或个人信息。

根据官方描述，Nexus zkVM 是一个模块化、可扩展、开源、高度并行、证明者优化、对贡献者友好的 zkVM ，用 Rust 编写，专注于性能和安全性。Nexus zkVM 核心组件包括：Nexus 证明者、Nexus 虚拟机（NVM）和 Nexus 证明压缩机制（递归 SNARK 的证明压缩序列）。由于 Nexus zkVM 在设计上支持大量并行计算，所以在很大程度上提升了证明生成速度。

具体来说，Nexus Network 通过安排一组证明者客户端来运行，每个客户端都可以访问 Nexus zkVM。 每个连接的证明者都会被分配一个工作单元，即要证明的程序。证明者客户端在整个证明过程中不断向 Nexus 报告进度，并在完成证明后继续等待新的任务分配。