{"uuid": "a507dd05-d3eb-4d58-8770-93d42050cd7f", "vulnerability_lookup_origin": "1a89b78e-f703-45f3-bb86-59eb712668bd", "author": "2a075640-a300-48a4-bb44-bc6130783b9b", "vulnerability": "GHSA-JF2R-X3J4-23M7", "type": "published-proof-of-concept", "source": "https://t.me/DarkWebInformer_CVEAlerts/14630", "content": "\ud83d\udd17 DarkWebInformer.com - Cyber Threat Intelligence\n\ud83d\udccc CVE ID: CVE-2025-46723\n\ud83d\udd25 CVSS Score: 7.8 (cvssV4_0, 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)\n\ud83d\udd39 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.\n\ud83d\udccf Published: 2025-05-02T22:18:55.696Z\n\ud83d\udccf Modified: 2025-05-02T22:18:55.696Z\n\ud83d\udd17 References:\n1. https://github.com/openvm-org/openvm/security/advisories/GHSA-jf2r-x3j4-23m7\n2. https://github.com/openvm-org/openvm/commit/68da4b50c033da5603517064aa0a08e1bbf70a01\n3. https://cantina.xyz/code/c486d600-bed0-4fc6-aed1-de759fd29fa2/findings/21\n4. https://github.com/openvm-org/openvm/blob/0f94c8a3dfa7536c1231465d1bdee5fc607a5993/extensions/rv32im/circuit/src/auipc/core.rs#L135\n5. https://github.com/openvm-org/openvm/releases/tag/v1.1.0", "creation_timestamp": "2025-05-02T23:17:25.000000Z"}