Vulnerability · CVE-2025-46723
OpenVM is a performant and modular zkVM framework built for customization and extensibility.
Published May 2, 2025 · catalog updated May 6, 2025 · OpenVM is a performant
Check if you run it
No confirmed exploitation is on record for CVE-2025-46723. EPSS is 0.47%. Act only if a listed version of OpenVM is a performant is installed.
Gaps on this record
- The stored product name is a package slug. The name on this page is taken from the title (OpenVM is a performant).
- No vendor fix or required action is stored. Compare the linked advisory before you change production.
- Severity
- High7.8
- Known exploitation
- Not in CISA/VulnCheck KEV
- EPSS
- 0.47%
- Remediation
- Advisory link
- Affected products
- vendor openvm-org openvm = 1.0.0
OpenVM is a performant and modular zkVM framework built for customization and extensibility. In version 1.0.0, OpenVM is vulnerable to overflow through byte decomposition of pc in AUIPC chip. A typo results in the highest limb of pc being range checked to 8-bits instead of 6-bits. This results in the if statement never being triggered because the enumeration gives i=0,1,2, when instead the enumeration should give i=1,2,3, leaving pc_limbs[3] range checked to 8-bits instead of 6-bits. This leads to a vulnerability where the pc_limbs decomposition differs from the true pc, which means a maliciou
Are you affected?
Enter the version you run. The result uses only the ranges stored on this record.
The check returns affected, not affected, or incomplete. It does not guess a version that is missing from the record.
- vendor openvm-org openvm = 1.0.0= 1.0.0
How to fix CVE-2025-46723
Recommended remediation
A patch or advisory reference is linked. Open the original publisher for availability by product version.
Official advisories
What to do
Three questions, each answered from this record only. Confirm the vendor advisory before you patch.
Should you patch?
No confirmed exploitation is on record for CVE-2025-46723. EPSS is 0.47%. Act only if a listed version of OpenVM is a performant is installed.
Which versions are affected?
Compare what you have installed with openvm-org openvm = 1.0.0 = 1.0.0. Compare the installed version with the linked vendor advisory before you change production.
What should an analyst verify?
No weakness class is stored. EPSS 0.47%. There is no CISA KEV listing. No Exploit-DB or Metasploit reference is linked. Use the source links for the original advisory.
Code
The project this record applies to. Exploit listings stay in References.
Timeline
Detection, updates, and resolution for this record.
May 2, 2025 · EUVD
Detected
OpenVM is a performant and modular zkVM framework built for customization and extensibility. In version 1.0.0, OpenVM is vulnerable to overflow through byte decomposition of pc in AUIPC chip. A typo results in the highest limb of pc being range checked to 8-bits instead of 6-bits. This results in the if statement never being triggered because the enumeration gives i=0,1,2, when instead the enumera
May 6, 2025 · EUVD
Updated
OpenVM is a performant and modular zkVM framework built for customization and extensibility. In version 1.0.0, OpenVM is vulnerable to overflow through byte decomposition of pc in AUIPC chip. A typo results in the highest limb of pc being range checked to 8-bits instead of 6-bits. This results in the if statement never being triggered because the enumeration gives i=0,1,2, when instead the enumera
Sources
- CVE.orgVulnerability recordCVE-2025-46723
Official CVE identifier
cve.org - FIRST EPSSExploitation probabilityCVE-2025-46723
30-day exploitation probability 0.5%
first.org - EUVDVulnerability recordEUVD-2025-13439
OpenVM is a performant and modular zkVM framework built for customization and extensibility. In version 1.0.0, OpenVM is vulnerable to overflow through byte decomposition of pc in AUIPC chip. A typo results in the highest limb of pc being range checked to 8-bits instead of 6-bits
euvd.enisa.europa.eu
References
Freshness
Last verified in this catalog Oct 18, 2026. Significant claims (KEV, EPSS, CVSS, affected ranges) come from the source rows above — open the original publisher for the authoritative advisory.