„`html
Zusammenfassung
CVE-2026-54496 ist eine kritische Sicherheitslücke (CVSS 9.3) in ZEBRA, einem vollständig in Rust geschriebenen Zcash-Node. Die Schwachstelle ermöglicht es böswilligen Proofern, ungültige Orchard Actions zu erstellen und damit zentrale kryptografische Integritätsprüfungen zu umgehen.
Betroffene Systeme
- zebrad vor Version 5.0.0
- halo2_gadgets vor Version 0.5.0
- orchard vor Version 0.14.0
- zcash_primitives vor Version 0.28.0
- zcashd vor Version 6.20.0
Technische Details
Die Schwachstelle befindet sich in der Variable-Base-Skalar-Multiplikation-Gadget in halo2_gadgets/src/ecc/chip/mul/incomplete.rs. Der fehlerhaft implementierte Code verwendet assign_advice() fĂĽr den Basispunkt ohne entsprechende Copy-Constraint-Validierung.
Diese unzureichende Constraint ermöglicht es einem Angreifer, den tatsächlichen Basispunkt zu ersetzen. Dadurch können die diversified-address-integrity Checks umgangen werden, die normalerweise folgende Parameter an die auszugebende Note binden:
- pk_d (Diversified Public Key)
- g_d (Diversified Base)
- ivk (Incoming Viewing Key)
- nf (Nullifier)
- ak (Spend Authorizing Key)
Dadurch können manipulierte Proofs für Orchard Actions erstellt werden, die den Zero-Knowledge-Verifikationsmechanismus kompromittieren.
Empfohlene Massnahmen
- Sofortiges Update auf die gepatchten Versionen durchfĂĽhren
- Alle ZEBRA/Zcash-Nodes aktualisieren auf zebrad 5.0.0 oder neuer
- Abhängigkeiten aktualisieren: halo2_gadgets 0.5.0+, orchard 0.14.0+, zcash_primitives 0.28.0+, zcashd 6.20.0+
- Netzwerkverkehr überwachen auf verdächtige Orchard Transactions
- Blockchain-Validierungsroutinen verstärken
Bewertung
CVSS v3.1 Score: 9.3 (Critical)
Angriffsvektor: Netzwerk | Angriffskomplexität: Niedrig | Authentifizierung: Nicht erforderlich
Die kritische Einstufung ist gerechtfertigt durch die Möglichkeit, fundamentale kryptografische Garantien zu kompromittieren. Patches sind verfügbar.
„`