`openvm-pairing` pairing check missing proper subfield check on scaling factor
Key facts
- Attack vector
- Network
- Privileges required
- None
- User interaction
- None
- Attack complexity
- Low
- Attack requirements
- None
- Impact type
- —
- Confidentiality · integrity · availability
- None · High · None
- Fix status
- Fixed
Attack profile from CVSS 4.0 · CNA. Fix status from CNA.
Summary
OpenVM is a performant and modular zkVM framework built for customization and extensibility. Prior to version 1.6.0, the openvm-pairing guest library's try_honest_pairing_check function invokes Theorem 3 of https://eprint.iacr.org/2024/640.pdf but does not check that the scaling factor s is in a proper subfield of Fp12. This allows incorrect results to the pairing check. This issue has been patched in version 1.6.0.
Why it matters now
SSVC decision points
CISA ADP · SSVC 2.0.3
- Exploitation
- Poc
- Automatable
- Yes
- Technical impact
- Partial
The decision (Track, Attend, Act) also depends on your mission and well-being impact; see CISA's SSVC guide.
Affected products
| Vendor | Product | Affected versions | Fixed in | Status | Source |
|---|---|---|---|---|---|
| openvm-org | openvm | before 1.6.0 | 1.6.0 | Patch available | CNA |
- openvm Vendoropenvm-org Affected before 1.6.0 Fixed in 1.6.0 Patch available CNA
Remediation
- Fix · CNA openvm (openvm-org) Fixed in 1.6.0
Timeline
- 2026-10-02 Threatist record created from CVE-2026-46669
References
More openvm-org vulnerabilities
- TI-2026-83375 Proof verification bypass in OpenVM Halo2 Solidity verifier CVSS 4.0HIGH 8.7
- TI-2026-83374 OpenVM MemoryMerkleAir lets forged rows change the memory root CVSS 4.0HIGH 8.7
- TI-2025-29394 OpenVM byte decomposition of pc in AUIPC chip can overflow CVSS 4.0HIGH 7.8
- TI-2026-83376 OpenVM's Halo2 verifier accepts non-canonical app commitments CVSS 4.0MEDIUM 6.9
Sources
This product uses the NVD API but is not endorsed or certified by the NVD. Sources and licences