LLVM lägger till konstanttids-intrinsics för att skydda kryptografisk kod

| trailofbits.com
Trail of Bits upstreamade stöd för konstant-tidsoperationer i LLVM (föreslaget för LLVM 22) genom att införa __builtin_ct_select (llvm.ct.select.*)-intrinsics som tvingar villkorlig selektering att kompileras till konstant-tidsmaskinkod. På x86-64 sänks dessa till cmov, på AArch64 till CSEL, och på andra målfall återgår de till maskerad aritmetik. ETH Zürichs benchmarktester (Breaking Bad-suite) och tidiga integrationer (HACL*, Fiat-Crypto, BoringSSL, HACL*) visar att intrinsics bevarar konstant-tidsegenskaper över optimeringsnivåer med minimal prestandakostnad. Arbetet tar itu med en långvarig kompilerrisk där branchlös, konstant-tidskällkod kan omvandlas till databeroende grenar, vilket möjliggör tidsbaserade sidoangrepp mot kryptografiska hemligheter. Trail of Bits planerar ytterligare intrinsics för konstant-tidsaritmetik och barriärer för fulla uttryck och ändringen har väckt intresse från Rust-, Swift- och WebAssembly-gemenskaperna, vilket innebär att vilket språk som helst som riktar sig mot LLVM kan anta det. För kryptohandlare minskar förändringen en klass av implementationssårbarheter i allmänt använda kryptobibliotek och verktygskedjor, vilket sänker den operativa risken för förvarstjänster, börser och DeFi-projekt som är beroende av programvarukryptografi.
Neutral
Detta är i första hand en säkerhets- och verktygsförbättring snarare än en händelse som direkt påverkar tokenpriser. Genom att minska en klass av implementationssårbarheter i kryptografiska bibliotek och kompilatorer sänker förändringen drift- och exekveringsrisker för tjänster som hanterar kryptoaktiva (förvarare, börser, plånböcker, DeFi). Det minskar tails-risk för specifika projekt som är beroende av de berörda biblioteken, vilket är konstruktivt för långsiktig marknadsstabilitet, men det förväntas inte skapa omedelbart köpartryck eller materiellt ändra kortsiktiga tokenvärderingar. Kortfristig påverkan: minimal — handlare kommer sannolikt inte att reagera med stora positionsförändringar enbart på denna verktygsuppdatering. Långsiktig påverkan: måttligt positiv — förbättrade kompilatorgarantier kan minska framtida utnyttjbarhet av privata nycklar och implementationer, vilket sänker systemrisk och det värde som tillskrivs extra säkerhet för projekt som antar toolchain. Sammanfattningsvis är uppdateringen säkerhetspositiv men inte prisdrivande i sig.