CoinVoice has recently learned that ZKM has released the next generation zkVM (Zero Knowledge Proof Virtual Machine) Ziren (formerly zkMIPS). Through GPU acceleration, a distributed proof architecture, and a deeply optimized constraint system, it opens new possibilities for the deployability and scalability of Zero Knowledge (ZK) systems in real-world application scenarios. Ziren achieves a core proof speedup of 30 times, an aggregation proof speedup of 15 times, and reduces the state preparation time from 5 minutes to 30 seconds. It has already been put into use in the GOAT Network Bitcoin native zkRollup project.
The naming inspiration for Ziren comes from a variant of the mythological 'Siren', representing the transition from illusion to reality — technology is no longer just alluring, but a true promise of practical usability. Ziren aims to be a truly efficient, trustworthy, and deployable zk infrastructure in the hands of mainstream developers, supporting proof generation for Rust/C/C++ programs, compatible with the complete Ethereum Rust client verification, helping developers easily build reliable zero-knowledge systems. [Original link]