AI Meets Cryptography 2: Critical Bug Found in OpenVM's ZkVM
A critical soundness bug discovered in OpenVM's zkVM by zkao AI and its resolution.
In this entry, our AI auditor zkao identified a critical soundness bug in OpenVM's zkVM, allowing a malicious prover to forge pairing equality. This vulnerability has been addressed in OpenVM version 1.6.0, which all partners are believed to have upgraded to.
This synthesis was produced from its source by AI; there is no human editor or manual review step. How we work