據 Foresight News 報道，致力於通過密碼學和零知識證明實現可驗證計算的公司 Nexus Labs 宣佈發佈其二代 zkVM，通過 Jolt 運算系統構建了驗證器前端，並通過 HyperNova 遞歸證明系統構建證明器後端。通過這些集成，Nexus SDK 可用於大規模並行生成多個證明。

據 Foresight News 報道，Nexus Labs 完成 2500 萬美元 A 輪融資，Lightspeed Venture Partners 與 Pantera Capital 領投。Nexus Labs 致力於構建零知識隱私工具，支持人工智能、網絡安全和雲計算等技術。