zkVM Underconstrained Vulnerability
Published Jun 20, 2025 · Updated Oct 23, 2026 · Also known as GHSA-g3qg-6746-3mg9
Original summary
Normalized public record · Updated Oct 23, 2026
zkVM Underconstrained Vulnerability
Publisher and source text is retained separately from QFinch interpretation.
QFinch assessment
Due to a missing constraint in the rv32im circuit, any 3-register RISC-V instruction (including remu and divu) in risc0-zkvm 2.0.0, 2.0.1, and 2.0.2 are vulnerable to an attack by a malicious prover. The main idea for the attack is to confuse the RISC-V virtual machine into treating the value of the rs1 register as the same as the rs2 register due to a lack of constraints in the rv32im circuit.
Evidence: public source recordsAffected products
| Affected package, product or range | Fix status |
|---|---|
| Consult the referenced vendor advisory for affected versions. | Consult source advisory |
Matching a version is only one part of assessing exposure. QFinch has not assessed your environment on this public page.
Remediation
Apply the vendor-supported fixed release or mitigation, then verify the affected component is no longer reachable.
- Confirm the affected product and reachable code path exist in your environment.
- Apply the vendor-supported patch or mitigation from the primary advisory.
- Rescan the exact deployed revision and retain verification evidence.
Evidence coverage
- SSVC priority
- LOW
- Confidence
- Not available
- Aliases
- GHSA-g3qg-6746-3mg9
Scores appear only when corresponding evidence exists. Missing data is never interpreted as zero risk.
Sources and record history
- Security advisory ↗
- Source repository ↗
- Source repository ↗
- Patch commit ↗
- Patch commit ↗
- Patch commit ↗
- Patch commit ↗
Record history
Published Jun 20, 2025 · Last refreshed Oct 23, 2026