Pairing-check bypass via unchecked scaling factor
Published Jun 10, 2026 · Updated Jun 10, 2026
Improper input validation in OpenVM before 1.6.0 allows remote attackers to make invalid BN254 or BLS12-381 pairing checks pass. try_honest_pairing_check accepts a prover-supplied scaling factor without asserting that it belongs to the Fp6 proper subfield of Fp12, so c=1 and the inverse Miller-loop result satisfy the optimized equation. An attacker must supply a dishonest proof hint to a program using openvm-pairing; successful exploitation corrupts pairing-verification integrity without exposing data or interrupting service.
Summary
What happened
Improper input validation in OpenVM before 1.6.0 allows remote attackers to make invalid BN254 or BLS12-381 pairing checks pass. try_honest_pairing_check accepts a prover-supplied scaling factor without asserting that it belongs to the Fp6 proper subfield of Fp12, so c=1 and the inverse Miller-loop result satisfy the optimized equation. An attacker must supply a dishonest proof hint to a program using openvm-pairing; successful exploitation corrupts pairing-verification integrity without exposing data or interrupting service.
The record
- CVE
- CVE-2026-46669
- Published
- Jun 10, 2026
- Updated
- Jun 10, 2026
- Vendor
- OpenVM
- Product
- OpenVM
- Classifications
- CWE-20
- Attack vector
- network
- Privileges
- unauthenticated
Timeline
How it unfolded
- Jun 10, 2026CVE publishedPublication date reported by the CVE source.
- Jun 10, 2026Record updatedLatest update available in the CVE record.
Exploitability
Present is not the same as exploitable
Compare your product and version with the public record. A matching version still requires validation against your environment.
Is a vulnerable build present?
Compare these published version ranges with your installed build and any vendor patches.
- Affected versionversion=< 1.6.0
What conditions does exploitation require?
What is affected?
Published CVSS scores
CVSS describes severity. EPSS estimates exploitation probability.
Attacks
What attackers are doing with it
Daily unique IPs observed by Shadowserver honeypots for known exploited vulnerabilities (KEVs). Missing observations do not establish an absence of attacks.
Weakness, pattern, technique
Public exploit references
- Dishonest pairing-hint proof of conceptproof of concept · demonstrated
Labels summarize the accepted research assessment. They do not indicate a test against your environment.
Technologies
Your stack
See the directory against your own environment.
Your stack
Check the software in your environment
Book a demo to see how Hinoki identifies affected software and validates exploitability in your environment.
Book a demo