7月17日消息，致力于通过密码学和零知识证明实现可验证计算的公司 Nexus Labs 宣布发布其二代 zkVM，通过 Jolt 运算系统构建了验证器前端，并通过 HyperNova 递归证明系统构建证明器后端。通过这些集成， Nexus SDK 可用于大规模并行生成多个证明。 此前消息，Nexus Labs 完成 2500 万美元 A 轮融资，Lightspeed Venture Partners 与 Pantera Capital 领投。Nexus Labs 致力于构建零知识隐私工具，支持人工智能、网络安全和云计算等技术。