AI-Auditor zkAO entdeckt kritischen Soundness-Fehler in der zkVM-Gastbibliothek von OpenVM

Der KI-Auditor von ZK/SEC, zkao, hat einen kritischen Soundness-Bug in der OpenVM-Gastbibliothek openvm-pairing entdeckt. Der Bug ermöglicht es einem böswilligen Prover, jede Pairing-Gleichheit zu fälschen und damit die Soundness von Groth16, PLONK mit KZG und BLS-Signaturen zu brechen, die auf der anfälligen Bibliothek basieren. Dem Problem wurde CVE-2026-46669 zugewiesen und es wurde in OpenVM 1.6.0 behoben.

Wie es gefunden wurde

ZK/SEC hat OpenVM im Rahmen eines KI-Experiments mit Opus 4.6, 4.7 und Codex 5.3, 5.4 sowie einfachen Prompts und von Experten gepflegten Skills gescannt. Erste Durchläufe lieferten gültige, aber nicht ausnutzbare Ergebnisse. Das Team setzte dann zkao ein, ihren spezialisierten KI-Auditor, der nach über 9,5 Stunden Scan viele Ergebnisse lieferte. Ein schnelles Triage identifizierte das kritische Pairing-Problem mit einem minimalen PoC, der von zkao selbst generiert wurde.

Der Bug auf einen Blick

Auswirkungen

Pairings sind die Grundlage von Groth16, PLONK mit KZG und BLS-Signaturen. Ein Verifier prüft typischerweise, ob ein Produkt von Pairings gleich eins ist. Wenn ein Prover ein falsches Pairing-Produkt als eins erscheinen lassen kann, ist alles, was darauf aufbaut, nicht mehr sound. Der Bug liegt speziell im Pairing-Check, der eine korrekte Subfeld-Prüfung des Skalierungsfaktors vermissen lässt.

Hinweis: Dies ist kein Bug im Proving-System der zkVM selbst – nur Code, der die anfällige openvm-pairing-Bibliothek verwendet, ist betroffen.

Technische Details

Die KI-Pipeline von ZK/SEC verwendet eine modulare Architektur: Unter-Agenten analysieren einzelne Code-Module auf Annahmen und Invarianten, dann kombiniert ein Haupt-Agent die Ergebnisse. Für komplexe Codebasen wie OpenVM reicht isolierte Bug-Jagd nicht aus; der Schlüssel liegt im Erkennen von modulübergreifenden Invariantenverletzungen. ZK/SEC plant, in einem Folgebeitrag weitere technische Details zu veröffentlichen.