Story
AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM
1 report
1 website
1 discussion
Latest report
Overview
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.
Summary from blog.zksecurity.xyz.
Reports
One report so far. Additional coverage will appear here when it is linked to this story.
blog.zksecurity.xyz
AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM
Read report →
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · blog.zksecurity.xyz