{"cve":"CVE-2025-46723","nvd":{"published":"2025-05-02T23:15:16.580","modified":"2026-06-17T09:26:52.697","status":"Deferred","description":"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.","cvss_v4":{"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","score":7.8},"cvss_v3":null,"cwes":["CWE-131"],"references":["https://cantina.xyz/code/c486d600-bed0-4fc6-aed1-de759fd29fa2/findings/21","https://github.com/openvm-org/openvm/blob/0f94c8a3dfa7536c1231465d1bdee5fc607a5993/extensions/rv32im/circuit/src/auipc/core.rs#L135","https://github.com/openvm-org/openvm/commit/68da4b50c033da5603517064aa0a08e1bbf70a01","https://github.com/openvm-org/openvm/releases/tag/v1.1.0","https://github.com/openvm-org/openvm/security/advisories/GHSA-jf2r-x3j4-23m7"],"products":[],"source":"nvd","synced_at":"2026-10-19T22:01:22.920403922+00:00"},"epss":{"cve":"CVE-2025-46723","score":0.00475,"percentile":0.4106,"date":"2026-11-01"},"kev":null,"osv":[{"id":"GHSA-jf2r-x3j4-23m7","url":"https://osv.dev/vulnerability/GHSA-jf2r-x3j4-23m7","summary":"OpenVM allows the byte decomposition of pc in AUIPC chip to overflow","modified":"2025-05-05T20:42:09.376504Z","packages":[{"ecosystem":"crates.io","name":"openvm","purl":"pkg:cargo/openvm","ranges":[">=1.0.0 <1.1.0"],"fixed":["1.1.0"]}]}],"attribution":["This product uses the NVD API but is not endorsed or certified by the NVD.","EPSS scores: FIRST Exploit Prediction Scoring System, https://www.first.org/epss","Known exploited vulnerabilities: CISA Known Exploited Vulnerabilities Catalog, https://www.cisa.gov/known-exploited-vulnerabilities-catalog","Package advisories: OSV (https://osv.dev), from the GitHub Advisory Database, PyPA, Go, RustSec and other ecosystem databases, under CC-BY 4.0 or CC0","CVE records: the CVE Program's CVE List (https://www.cve.org), under its terms of use (https://www.cve.org/Legal/TermsOfUse). CVE is a registered trademark of The MITRE Corporation; this product is not affiliated with the CVE Program."]}