00:00
2026-07-17
blog.zksecurity.xyz
ai-tools
AI meets Cryptography 2: What AI Found in OpenVM's zkVM
An AI auditor called zkao discovered a critical soundness bug in OpenVM's zkVM guest library openvm-pairing that allows a malicious prover to forge any pairing equality. The vulnerability, assigned CV…