Hacker Blog Posts

zkSecurity Blog company blog

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

by Stefanos Chaliasos, Hao Pham blog.zksecurity.xyz published July 17, 211 min read

We turned zkao (our AI auditor) on OpenVM, a state-of-the-art zkVM, and it found a critical soundness bug: the pairing check accepted a prover-supplied witness without proper subfield checking, which lets a malicious prover forge any pairing equality. It is fixed in OpenVM 1.6.0 and tracked as CVE-2026-46669. This is…
Read on blog.zksecurity.xyz → Discuss on HN (9) Archived copy
Points
100
HN comments
9
Submissions
1
Cited by
0 commenters

AI & Machine LearningSecurity & Privacy2026

On Hacker News

SubmittedTitle on HNPointsComments
Jul 17, 2026AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM by duha1009

More from zkSecurity Blog

All 2 posts →

Related posts from the same era