CVE-2025-46723

7.8 HIGH 0.5% exploit odds Fix listed Other

What it is

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 malicious prover can make the destination register take a different value than the AUIPC instruction dictates, by making the decomposition overflow the BabyBear field. This issue has been patched in version 1.1.0.

At a glance

Exploitability: Can be exploited over the network without logging in. High risk of data tampering, service disruption.
Exploit odds: 0.5% chance of exploitation in the next 30 days (EPSS).
Fix: A patch, advisory or fixed version is referenced. Upgrade or apply it.

Timeline

2025-05-02 23:15 UTC PublishedDisclosed publicly on CVE.org and NVD
2026-06-17 09:26 UTC Last updatedMost recent change to the record

Why it ranks here

Exploited in the wild: no, CISA does not list it.
Exploit odds: 0.5% in the next 30 days (EPSS).
Severity: 7.8 HIGH (CVSS).
Fix: a patch or advisory is linked.

Details

Published: 2025-05-02 23:15 UTC
Last modified: 2026-06-17 09:26 UTC
Exploit probability: 0.5% · EPSS, next 30 days
Weakness: CWE-131
Record status: Deferred

Attack profile CVSS 4.0 · 7.8

Attack vector: Network
Complexity: Low
Attack requirements: None
Privileges needed: None
User interaction: None
Confidentiality: None
Integrity: High
Availability: High

Raw vector

CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:H/VA:H/SC:N/SI:N/SA:N/E:P/CR:X/IR:X/AR:X/MAV:X/MAC:X/MAT:X/MPR:X/MUI:X/MVC:X/MVI:X/MVA:X/MSC:X/MSI:X/MSA:X/S:X/AU:X/R:X/V:X/RE:X/U:X

Is it in your code?

Hand this to your coding agent. It searches your project for the affected products and checks versions. Nothing leaves your machine.

Read https://cve-list.com/agent/cve/CVE-2025-46723.md and follow it. Check whether this project is affected by CVE-2025-46723. Read only. Don't change anything and don't upload my code. Tell me yes, no or not sure, with the file as proof.

· More options · Status badge

Download Square Reddit

Fix and advisories

References

NVD record · CVE.org record