Nexus Labs announced the release of its second-generation zkVM, which integrates the Jolt computation system for the validator frontend and the HyperNova recursive proof system for the prover backend. This integration of technologies enables the Nexus SDK to be used for large-scale parallel generation of multiple proofs, further advancing the application of cryptography and zero-knowledge proof technology in the field of verifiable computation.