1/ Today we’re announcing the Nexus 2.0 zkVM – a major leap from last month’s 1.0 release and the next step toward our goal of scaling ZK to 1 trillion Hz of compute capacity. #zkvm #zeroknowledge
2/ Our 2.0 machine includes a new prover frontend, powered by the Jolt arithmetization system.
Jolt accelerates proving by reducing circuit size by orders of magnitude. (cc: @a16zcrypto)
@a16zcrypto 3/ It also features a new prover backend, powered by the HyperNova recursive proof system.
HyperNova enables generalized and more efficient folding, and is the successor to the Nova backend.
@a16zcrypto 4/ Finally, it introduces the Nexus SDK, a programmatic framework for producing multiple proofs in parallel and at scale.
@a16zcrypto 5/ Just like all our work, the Nexus 2.0 is 100% in Rust, fully open source, MIT licensed, and based on open scientific research.