CVE-2025-54873: RISC Zero Underconstrained Vulnerability: Division

CVE-2025-54873 · Severity: medium · CVSS 4 · Published 2025-08-05

RISC Zero Underconstrained Vulnerability: Division

Technologies: risc0-zkvm (crates.io). Vendors: crates.io.

Quick answers

Is CVE-2025-54873 exploited in the wild?
No. Junglewise Threat Intelligence has no report of CVE-2025-54873 being exploited in the wild.
How severe is CVE-2025-54873?
Medium severity, with a CVSS score of 4, published 5 August 2025.
Which products and versions are affected?
risc0-circuit-rv32im (crates.io) SEMVER:introduced=2.0.0,fixed=3.0.0; risc0-circuit-rv32im-sys (crates.io) SEMVER:introduced=2.0.0,fixed=3.0.0; risc0-zkvm (crates.io) SEMVER:introduced=2.0.0,fixed=2.2.0.
Is there a fix for CVE-2025-54873?
Yes. risc0-circuit-rv32im (crates.io): upgrade to 3.0.0 or later; risc0-circuit-rv32im-sys (crates.io): upgrade to 3.0.0 or later; risc0-zkvm (crates.io): upgrade to 2.2.0 or later. Junglewise finds every place you run it, drafts the upgrade and applies it once you approve.
Am I affected by CVE-2025-54873?
Check whether you run risc0-circuit-rv32im (crates.io), risc0-circuit-rv32im-sys (crates.io) or risc0-zkvm (crates.io) at an affected version. Junglewise does that check for you around the clock: connect your code, cloud and domains, and it matches new vulnerabilities like this one against what you actually run and tells you when one reaches you.

How to fix

  • risc0-circuit-rv32im (crates.io): upgrade to 3.0.0 or later
    cargo update -p risc0-circuit-rv32im
  • risc0-circuit-rv32im-sys (crates.io): upgrade to 3.0.0 or later
    cargo update -p risc0-circuit-rv32im-sys
  • risc0-zkvm (crates.io): upgrade to 2.2.0 or later
    cargo update -p risc0-zkvm

Affected products

  • risc0-circuit-rv32im (crates.io) SEMVER:introduced=2.0.0,fixed=3.0.0
  • risc0-circuit-rv32im-sys (crates.io) SEMVER:introduced=2.0.0,fixed=3.0.0
  • risc0-zkvm (crates.io) SEMVER:introduced=2.0.0,fixed=2.2.0

Identifiers

  • CVE-2025-54873
  • GHSA-f6rc-24x4-ppxp

This page as Markdown. Free to reuse under CC BY 4.0 with a link back.