AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM
Blockchain Engineering & Protocols, AI & Machine Learning, Security(blog.zksecurity.xyz)view on HackerNews
zkaoOpenVMzkVMzero-knowledge proofsoundness bugAI auditingcryptography
Author: duha
Date: 7/17/2026
Article Summary:
An AI-powered auditing tool, zkao, found a critical soundness bug in OpenVM's zkVM, a zero-knowledge proof system, that allows a malicious prover to forge any pairing equality.