vulnerability-detection

Latest stories covering vulnerability-detection, with summaries and links to related coverage.

2 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.

  ai-auditingcryptographyzero-knowledge-proofs

• Mozilla says 271 vulnerabilities found by Mythos and "almost no false positives"

  2026-05-07

  news

  2 min read

  Mozilla's Mythos detected 271 vulnerabilities with nearly no false positives. The company's CTO stated that AI-assisted vulnerability detection could significantly improve defenses against zero-day exploits.

  ai-safetymozilladeveloper-tools