LLVM fügt konstantzeitige Intrinsics hinzu, um kryptographischen Code zu schützen

Trail of Bits hat Unterstützung für konstantzeitliche Operationen in LLVM upstream eingebracht (vorgeschlagen für LLVM 22) und dafür __builtin_ct_select (llvm.ct.select.*)-Intrinsics eingeführt, die bedingte Auswahl zwingen, zu konstantzeitlichem Maschinencode kompiliert zu werden. Auf x86-64 werden diese zu cmov, auf AArch64 zu CSEL, und auf anderen Targets fallen sie auf maskierte Arithmetik zurück. ETH Zürich Benchmarks (Breaking Bad Suite) und frühe Integrationen (HACL*, Fiat-Crypto, BoringSSL, HACL*) zeigen, dass die Intrinsics konstantzeitliche Eigenschaften über Optimierungsstufen hinweg mit minimalen Performance-Kosten bewahren. Die Arbeit adressiert ein lang bestehendes Compiler-Risiko, bei dem branchloser, konstantzeitlicher Quellcode in datenabhängige Branches umgewandelt werden kann, wodurch Timing-Seitenkanalangriffe auf kryptografische Geheimnisse möglich werden. Trail of Bits plant weitere Intrinsics für konstantzeitliche Arithmetik und Full-Expression-Barriers; die Änderung hat Interesse aus den Rust-, Swift- und WebAssembly-Communities geweckt, was bedeutet, dass jede Sprache, die LLVM als Ziel hat, sie übernehmen kann. Für Krypto-Trader reduziert die Änderung eine Klasse von Implementierungs-Schwachstellen in weit verbreiteten Krypto-Bibliotheken und Toolchains und senkt das operationelle Risiko für Custodial-Services, Börsen und DeFi-Projekte, die auf Software-Kryptographie angewiesen sind.
Neutral
Dies ist in erster Linie eine Sicherheits- und Tooling-Verbesserung und kein Ereignis, das direkt Token-Preise bewegt. Indem eine Klasse von Implementierungsschwachstellen in kryptographischen Bibliotheken und Compilern reduziert wird, senkt die Änderung das Betriebs- und Ausführungsrisiko für Dienste, die Krypto-Assets verwalten (Custodians, Börsen, Wallets, DeFi). Das reduziert Tail-Risiken für spezifische Projekte, die von den betroffenen Bibliotheken abhängen, was konstruktiv für die langfristige Marktstabilität ist, aber es wird nicht erwartet, dass dies unmittelbaren Kaufdruck erzeugt oder kurzfristige Token-Bewertungen materiell verändert. Kurzfristige Auswirkung: minimal — Händler werden voraussichtlich nicht allein aufgrund dieses Tooling-Updates mit großen Positionsänderungen reagieren. Langfristige Auswirkung: leicht positiv — verbesserte Compiler-Garantien können die künftige Ausnutzbarkeit privater Schlüssel und Implementierungen reduzieren, das systemische Risiko senken und die zusätzliche Sicherheitsprämie für Projekte verringern, die die Toolchain übernehmen. Insgesamt ist das Update sicherheitspositiv, bewegt aber nicht von sich aus die Preise.