NEXUS 2.0 ZKVM

Summary from the TLDR Crypto newsletter

Nexus 2.0 introduces a new prover frontend, backend, and SDK. The frontend uses the Jolt arithmetization system, which speeds up verifiable computation. HyperNova folding on the backend uses recursive ZK proofs to check many extensive constraints simultaneously. Developers can leverage the Nexus SDK to perform asynchronous proof generation and abstract the complexities of the zkVM.