7月17日，致力于通過密碼學和零知識證明實現可驗證計算的企業 Nexus Labs 宣布發布第二代 zkVM，通過 Jolt 計算系統構建了驗證器前端，并通過計算系統構建了驗證器前端 HyperNova 遞歸確認系統構建確認器后端。通過這些集成， Nexus SDK 可用于大規模并行生成多個證實。 此前消息，Nexus Labs 完成 2500 萬美金 A 輪融資，Lightspeed Venture Partners 與 Pantera Capital 領投。Nexus Labs 致力于構建零知識隱私工具，支持人工智能、網絡安全、云計算等技術。