OpenVM Halo2 Solidity-Verifier: Umgehung der Beweisprüfung per Self-Call
Zusammenfassung
Der von OpenVM generierte Solidity-Verifier-Wrapper kann dazu gebracht werden, einen erfolgreichen internen Aufruf als Akzeptanz des Beweises zu werten. Stimmen die ersten vier Bytes des Beweises mit dem Selektor einer anderen externen Funktion des Wrappers überein, kann eine Nicht-Verifier-Funktion anstelle des Halo2-Verifiers akzeptiert werden. Anwendungen mit dem generierten Wrapper können dadurch beliebige App-Commitments und Public Values ohne gültige Beweisprüfung akzeptieren.
Betroffen
- OpenVM vor 1.7.0 (1.x-Linie)
- OpenVM 2.0.0-alpha bis vor 2.0.0-rc.3
- OpenVM 2.1.0-dev.0 bis vor 2.1.0-preview
- Hinweis: Die betroffenen Bereiche stammen aus dem CVE-Eintrag; die Herstellerwarnung wurde nicht direkt bestätigt.
Behoben in
- OpenVM 1.7.0
- OpenVM 2.0.0-rc.3
- OpenVM 2.1.0-preview
Umgehung
Unbekannt.
Ausnutzung
- Bis 31. Okt. 2026 wurde keine Ausnutzung in freier Wildbahn festgestellt.
- Kein öffentlicher Proof of Concept für diese CVE gefunden.
- CISA SSVC: Ausnutzung keine, automatisierbar ja, technische Auswirkung partiell.
Unsere Empfehlung
- Prüfen, ob OpenVM in On-Chain- oder Zero-Knowledge-Anwendungen verwendet wird, auch in Testnetzen.
- Eingesetzte Verifier-Verträge und die OpenVM-Version, mit der sie generiert wurden, ermitteln.
- Auf 1.7.0, 2.0.0-rc.3 oder 2.1.0-preview aktualisieren und betroffene Verifier-Verträge neu generieren und neu bereitstellen.
- Prüfen, ob Anwendungen das Ergebnis des Verifiers ohne weitere Prüfungen vertrauen.
- Die Relevanz für typische KMU-IT-Umgebungen ist gering.
Öffentliche Exploits
In PoC-in-GitHub, Metasploit und Exploit-DB ist für diese CVE nichts verzeichnet.
Quellen der Recherche
- CVE-2026-62334 Official record (vuldb) vuldb.com
- OpenVM security advisories github.com
- OpenVM release v1.7.0 github.com
- OpenVM release v2.0.0-rc.3 github.com
- OpenVM release v2.1.0-preview github.com
- OpenVM fix commit github.com
Recherchiert und auf Deutsch und Englisch aufbereitet von einer KI (Claude von Anthropic) auf Basis von NVD, CISA, EPSS und den genannten Quellen. Massgebend sind die Angaben des Herstellers. Recherche vom 31.10.2026 23:18.
Referenzen der NVD (9)
- https://github.com/openvm-org/openvm/blob/v2.0.0-alpha/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol
- https://github.com/openvm-org/openvm/blob/v2.0.0-beta.2/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol
- https://github.com/openvm-org/openvm/blob/v2.1.0-dev.0/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol
- https://github.com/openvm-org/openvm/commit/751bdb1725254c3268782ddf8df89f19035666e3
- https://github.com/openvm-org/openvm/pull/151
- https://github.com/openvm-org/openvm/releases/tag/v1.7.0
- https://github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3
- https://github.com/openvm-org/openvm/releases/tag/v2.1.0-preview
- https://github.com/openvm-org/openvm/security/advisories/GHSA-j29p-wr24-hp4f
Quellen
Der Tracker verbindet offizielle, frei nutzbare Datenquellen – laufend aktualisiert:
- NVD (NIST) – CVE, Bewertung (CVSS), betroffene Produkte
- CISA KEV – von der CISA bestätigt aktiv ausgenutzte Lücken
- CISA Vulnrichment – Einschätzung der CISA (SSVC) im offiziellen CVE-Eintrag
- FIRST EPSS – Wahrscheinlichkeit einer Ausnutzung
- Microsoft MSRC – Patch Tuesday: Lücken, Schweregrad, Updates
- PoC-in-GitHub – öffentliche Proof-of-Concept-Repositories
- Metasploit (Rapid7) – Module des Metasploit Framework
- Exploit-DB (OffSec) – Archiv öffentlicher Exploits (nur Verweise)
- Patch-Tage: offizielle Seiten der Hersteller (je Hersteller verlinkt) (Patch-Tage der Hersteller)
Dieses Angebot nutzt Daten der NVD-API, ist aber von der NVD weder unterstützt noch zertifiziert. EPSS-Daten © FIRST.org.
Betroffen? Wir helfen.
Wir prüfen, ob Ihre Systeme betroffen sind, spielen Updates ein und schliessen die Lücke – auf Wunsch auch laufend mit dem System Health Checker.