04
Ziren 2.0: A New Proving System for zkVMs

Project ZKM released Ziren 2.0, introducing a new proving system for its zkVM, with applications including Bitcoin verification through BitVM-based protocols.

x.com/ProjectZKM
🔗 Ziren 2.0

Ziren 2.0 is here, replacing the proving core of our zkVM with a new proof system, jagged-over-WHIR, rebuilt across 1,690 commits and documented in the design paper on the IACR Cryptology ePrint Archive.