Nexus Labs 发布由 Jolt 和 HyperNova 提供支持的 Nexus 2.0，以改进零知识扩展

Nexus Labs 是一家专门从事零知识加密的公司，该公司推出了第二代 Nexus 2.0 zkVM，代表了其零知识机器的最新版本。

Nexus 2.0 引入了多项新功能，包括使用 Jolt 算术系统设计的证明器前端。该证明系统由投资公司 16z 的研究团队开发，通过减小电路尺寸来提高证明效率。

它还集成了 HyperNova 递归证明系统支持的新证明器后端。HyperNova 是 Nova 后端的后继者，可实现更通用、更高效的折叠。HyperNova 通过集成两个工具扩展了 Nova：SumCheck 和可定制约束系统 (CCS)。CCS 将用于描述约束的各种算术表达式整合到一个统一的框架中。SumCheck 是一种基于超立方体求和的简单且成熟的代数证明方法，它从根本上与多线性多项式求值相关。

此外，Nexus 2.0 还具有 Nexus SDK 编程框架，可以同时大规模创建各种证明。

新机器完全用 Rust 开发，是开源的，获得 MIT 许可，并建立在开放科学研究的基础上。它代表了上个月发布的 1.0 zkVM 的进步，并符合 Nexus Labs 扩展 ZK 技术以实现 1 万亿赫兹计算能力的目标。

1/ 今天我们宣布推出 Nexus 2.0 zkVM - 这是上个月 1.0 版本的重大飞跃，也是我们向将 ZK 扩展到 1 万亿赫兹计算能力的目标迈出的下一步。#zkvm #zeroknowledge pic.twitter.com/3qgPlXGX62

— Nexus (@NexusLabsHQ) 2024 年 7 月 16 日

Nexus Labs 筹集 2500 万美元以加速 Nexus 1.0 开发

Nexus Labs 开发的 Nexus zkVM 是一款模块化、可扩展、开源且高度并行化的 zkVM，采用 Rust 开发，并针对性能和安全性进行了优化。它具有高度优化的组件，例如 Nexus Prover、Nexus 虚拟机 (NVM) 和 Nexus 证明压缩机制，所有这些组件都旨在增强安全性、性能、模块化和可扩展性。

最近，该公司在 A 轮融资中筹集了 2500 万美元，由 Lightspeed Venture Partners 和 Pantera Capital 共同领投，其他知名投资者也参与其中。该项目打算利用新资金加快 Nexus 1.0 的开发并扩大其工程团队。

Nexus Labs 发布由 Jolt 和 HyperNova 提供支持的 Nexus 2.0 以改进零知识扩展，该文章最先出现在 Metaverse Post 上。

热点：JOLT LABS 扩展 提供