Vulnerabilities

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

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.

  1. 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

  2. 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.