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