ai-auditing

Latest stories covering ai-auditing, with summaries and links to related coverage.

1 articles · page 1 of 1

• AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM

  2026-07-17

  research

  13 min read

  AI auditor zkao identified a critical soundness bug in OpenVM's zkVM guest library openvm-pairing, allowing a malicious prover to forge any pairing equality. This vulnerability does not affect the zkVM's proving system itself but impacts code relying on the flawed library.

  cryptographyzero-knowledge-proofsvulnerability-detection