CVE-2026-54496
KrytyczneCVSS 9.3Prawdopodobieństwo exploitacji (EPSS)
Niskie ryzykoPercentyl 24 - wyżej niż 24% wszystkich znanych CVE
Streszczenie
W bibliotece halo2_gadgets do 0.5.0 oraz w powiązanych komponentach Zcash (zebrad, orchard, zcash_primitives, zcashd) występuje podatność polegająca na braku ograniczenia kopii dla punktu bazowego w gadżecie mnożenia skalarnego o zmiennej podstawie. Umożliwia to złośliwemu proverowi wygenerowanie ważnego dowodu dla akcji Orchard z niedookreślonym punktem bazowym, co pozwala ominąć kontrolę integralności adresu rozproszonego.
Ocena ryzyka
Atakujący może sfałszować dowód kryptograficzny, co prowadzi do naruszenia integralności transakcji w sieci Zcash. Organizacja może stracić zaufanie do poprawności przetwarzanych transakcji, a w skrajnym przypadku dojść do kradzieży środków.
Rekomendacja
Należy niezwłocznie zaktualizować wszystkie komponenty Zcash do wersji: zebrad 5.0.0, halo2_gadgets 0.5.0, orchard 0.14.0, zcash_primitives 0.28.0 oraz zcashd 6.20.0.
Oryginalny opis (angielski, źródło NVD)
ZEBRA is a Zcash node written entirely in Rust. Prior to zebrad 5.0.0, halo2_gadgets 0.5.0, orchard 0.14.0, zcash_primitives 0.28.0, and zcashd 6.20.0, the variable-base scalar multiplication gadget in halo2_gadgets/src/ecc/chip/mul/incomplete.rs used assign_advice() for the base point without a copy constraint tying it to the actual base, allowing a malicious prover to produce a valid proof for an Orchard Action with an under-constrained base point and bypass the diversified-address-integrity check that binds pk_d, g_d, ivk, the nullifier (nf), and the spend validating key (ak) to the note being spent. This issue is fixed in zebrad 5.0.0, halo2_gadgets 0.5.0, orchard 0.14.0, zcash_primitives 0.28.0, and zcashd 6.20.0.