Nexus Labs 宣佈發佈其二代 zkVM,該系統通過 Jolt 運算系統構建了驗證器前端,並通過 HyperNova 遞歸證明系統構建了證明器後端。這些技術集成使得 Nexus SDK 能夠用於大規模並行生成多個證明,進一步推動了密碼學和零知識證明技術在可驗證計算領域的應用。