# zkVM Underconstrained Vulnerability Advisory record · `GHSA-g3qg-6746-3mg9` - **Identifiers:** `GHSA-g3qg-6746-3mg9` · `CVE-2025-52484` - **State:** Confirmed - **Severity:** CVSS 2.7 Low - **Critical:** No - **Weakness (CWE):** [CWE-345](https://cwe.mitre.org/data/definitions/345.html) - **Tags:** [CWE-345](https://agentprime.io/advisories/tag/cwe-345.md) - **Published:** 20 Jun 2025 - **Updated:** 27 Jun 2025 - **Reviewed by a person:** No Published by the GitHub Advisory Database at 20 Jun 2025, 18:08 UTC. agentprime has not analysed this yet, so whether it affects any app is not known. ## Affected packages - `risc0-zkvm` (crates.io): affected `>=2.0.0, <2.1.0`; fixed in `2.1.0` - `risc0-circuit-rv32im` (crates.io): affected `>=2.0.0, <2.0.4`; fixed in `2.0.4` ## Machine-written summary Summary written by Claude Haiku from the source advisory. Not reviewed by a person. > Packages risc0-zkvm 2.0.0 through 2.0.2 and risc0-circuit-rv32im 2.0.0 through 2.0.3 are affected by a missing constraint in the rv32im circuit that lets a malicious prover make the RISC-V virtual machine treat the rs1 register as equal to rs2 in 3-register instructions such as remu and divu. Users of risc0-zkvm should upgrade to version 2.1.0, and users of risc0-circuit-rv32im should upgrade to version 2.0.4. Smart contract users of the official RISC Zero Verifier Router need no action, as version 2.0 has been disabled there. Written 8 Nov 2026. ## Not analysed yet We haven’t published our analysis of this Advisory yet. Once a person has reviewed it, this page will say what’s vulnerable, what has to be true for your app to be affected, and how to check. ## Severity and exploitation - 2.7 Low, CVSS 4.0: `CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:L/VA:N/SC:N/SI:N/SA:N/E:U`, from CNA (GitHub_M) - **CISA KEV:** Not listed. - **EPSS:** 0.0027, the 19th percentile, on 11 Nov 2026: FIRST’s estimate of the chance of exploitation in the next 30 days. ## Timeline - 31 Oct 2026, 15:19 UTC: First seen by agentprime - 31 Oct 2026, 15:19 UTC: [Confirmed by OSV](https://osv.dev/vulnerability/GHSA-g3qg-6746-3mg9) ## Sources - [GitHub Advisory Database: GHSA-g3qg-6746-3mg9](https://github.com/advisories/GHSA-g3qg-6746-3mg9) - [OSV: GHSA-g3qg-6746-3mg9](https://osv.dev/vulnerability/GHSA-g3qg-6746-3mg9) - - - - - - - - - Facts on this page come from the GitHub Advisory Database (CC-BY 4.0), OSV and the other sources listed, as published. We don’t reproduce full advisory descriptions, which can contain exploit code. ## Check whether this affects you A Match means an installed version is in the affected range above. Most don’t affect the app; agentprime hasn’t analysed this one yet. - With the agentprime MCP server (), ask your agent to check the project: `check_lockfile` sends a lockfile, `check_packages` a list of installed packages, and both return the Matches and the upgrades that clear them. `get_advisory` returns this record. Setup: - In a browser: reads your lockfile in the browser, never uploading it. - Whether it touches your code, with file and line: the Claude Code plugin, - As JSON: , or `POST https://api.agentprime.io/v1/match` with your packages () --- The web page: . Everything for agents: .