AI audit spots critical pairing bug in OpenVM’s zkVM library
An AI‑driven auditor called zkao identified a soundness flaw (CVE‑2026‑46669) in OpenVM’s openvm‑pairing library that let a malicious prover forge any pairing equality. The bug was disclosed, patched in OpenVM 1.6.0, and demonstrates AI’s growing utility for cryptographic code review.