Katalog CVE

CVE-2026-40323

Wysokie
Opublikowano: Przetłumaczono: NVD NIST

Streszczenie

SP1 to maszyna wirtualna zero-knowledge, która potwierdza poprawne wykonanie programów skompilowanych dla architektury RISC-V. W wersjach 6.0.0 do 6.0.2 występuje podatność na poprawność w weryfikatorze rekurencyjnych shardów, co pozwala złośliwemu proverowi skonstruować rekurencyjny dowód z dowodu shard, który zostałby odrzucony przez natywny weryfikator.

Ocena ryzyka

Złośliwy użytkownik może wykorzystać tę podatność do oszukania systemu, co prowadzi do potencjalnych naruszeń integralności danych i bezpieczeństwa aplikacji.

Rekomendacja

Zaleca się aktualizację do wersji 6.1.0, która naprawia tę podatność.

Powiązane podatności

Oryginalny opis (angielski, źródło NVD)

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture. In versions 6.0.0 through 6.0.2, a soundness vulnerability in the SP1 V6 recursive shard verifier allows a malicious prover to construct a recursive proof from a shard proof that the native verifier would reject. Version 6.1.0 fixes the issue.

Dane podatności pochodzą z NVD (NIST) · CISA KEV · EPSS