PT-2025-32005 · Risc Zero · Risc0-Circuit-Rv32Im+2

Veridiseaudits · Publicado 2025-08-05 · Atualizado 2025-08-06 · CVE-2025-54873

Positive Technologies (AI Summary) · Pt

CVSS v4.0

2.7

Baixa

Vetor base

AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:L/VA:L/SC:N/SI:N/SA:N/E:U

Nome do Software Vulnerável e Versões Afetadas risc0-zkvm versões 2.0.0 até 2.1.0 risc0-circuit-rv32im versões 2.0.0 até 2.0.4 risc0-circuit-rv32im-sys versões 2.0.0 até 2.0.4

Descrição O RISC Zero é uma plataforma de computação geral verificável de conhecimento zero baseada em zk-STARKs e na microarquitetura RISC-V. Os pacotes risc0-zkvm, risc0-circuit-rv32im e risc0-circuit-rv32im-sys contêm um problema onde a divisão de inteiros com sinal permite múltiplas saídas para certas entradas, sendo apenas uma válida. Os resultados de divisão por zero também possuem restrições insuficientes.

Recomendações Atualize o risc0-zkvm para a versão 2.2.0 ou posterior. Atualize o risc0-circuit-rv32im para a versão 3.0.0 ou posterior. Atualize o risc0-circuit-rv32im-sys para a versão 3.0.0 ou posterior.

Exploit

Correção

Divide By Zero

Enumeração de Fraquezas

CWE-369

Identificadores relacionados

CVE-2025-54873

GHSA-F6RC-24X4-PPXP

Produtos afetados

Risc0-Circuit-Rv32Im

Risc0-Circuit-Rv32Im-Sys

Risc0-Zkvm

Referências · 9

• 🔥 https://github.com/CVEProject/cvelistV5/tree/main/cves/2025/54xxx/CVE-2025-54873.json · Exploit
• https://github.com/risc0/risc0 · Nota
• https://github.com/risc0/risc0/security/advisories/GHSA-f6rc-24x4-ppxp · Nota
• https://github.com/risc0/risc0/pull/3235 · Nota
• https://github.com/risc0/zirgen/pull/249 · Nota
• https://twitter.com/CVEnew/status/1952880932341620862 · Publicação no Twitter
• https://nvd.nist.gov/vuln/detail/CVE-2025-54873 · Nota de Segurança
• https://osv.dev/vulnerability/GHSA-f6rc-24x4-ppxp · Aviso do Fabricante
• https://osv.dev/vulnerability/CVE-2025-54873 · Aviso do Fabricante