PT-2025-18927 · Openvm · Openvm

Published 2025-05-02 · Updated 2025-05-05 · CVE-2025-46723

Positive Technologies (AI Summary)

CVSS v2.0

9.4

High

Base vector

AV:N/AC:L/Au:N/C:N/I:C/A:C

Name of the Vulnerable Software and Affected Versions OpenVM version 1.0.0

Description The issue is related to an overflow vulnerability in the AUIPC instruction decomposition of the OpenVM framework. A typo in the code results in incorrect range checking of the highest limb of pc, leading to a situation where a malicious prover can manipulate the destination register to take a different value than intended. This is achieved by making the decomposition overflow the BabyBear field.

Recommendations For OpenVM version 1.0.0, update to version 1.1.0 to resolve the issue. As a temporary workaround, consider restricting the use of the AUIPC instruction in the affected version until the patch is applied.

Exploit

Fix

Weakness Enumeration

CWE-131

Related Identifiers

BDU:2025-14814

CVE-2025-46723

GHSA-JF2R-X3J4-23M7

Affected Products

Openvm

References · 16

• 🔥 https://github.com/CVEProject/cvelistV5/tree/main/cves/2025/46xxx/CVE-2025-46723.json · Exploit
• https://osv.dev/vulnerability/CVE-2025-46723 · Vendor Advisory
• https://nvd.nist.gov/vuln/detail/CVE-2025-46723 · Security Note
• https://bdu.fstec.ru/vul/2025-14814 · Security Note
• https://osv.dev/vulnerability/GHSA-jf2r-x3j4-23m7 · Vendor Advisory
• https://github.com/openvm-org/openvm/blob/0f94c8a3dfa7536c1231465d1bdee5fc607a5993/extensions/rv32im/circuit/src/auipc/core.rs#L135 · Note
• https://github.com/openvm-org/openvm/releases/tag/v1.1.0 · Note
• https://github.com/openvm-org/openvm/security/advisories/GHSA-jf2r-x3j4-23m7 · Note
• https://github.com/openvm-org/openvm/commit/68da4b50c033da5603517064aa0a08e1bbf70a01 · Note
• https://github.com/openvm-org/openvm · Note
• https://twitter.com/VulmonFeeds/status/1918457116211192316 · Twitter Post
• https://twitter.com/cybercronai/status/1918672002266607646 · Twitter Post
• https://t.me/cvetracker/22973 · Telegram Post
• https://cantina.xyz/code/c486d600-bed0-4fc6-aed1-de759fd29fa2/findings/21 · Note
• https://twitter.com/CVEnew/status/1918568453650497789 · Twitter Post