LLVM aggiunge intrinseci a tempo costante per proteggere il codice crittografico
Trail of Bits ha inserito il supporto a tempo-costante in upstream su LLVM (proposto per LLVM 22) introducendo le intrinsic __builtin_ct_select (llvm.ct.select.*) che forzano la selezione condizionale a essere compilata in codice macchina a tempo costante. Su x86-64 queste si abbassano a cmov, su AArch64 a CSEL, e su altri target ricadono su aritmetica mascherata. I benchmark dell'ETH Zürich (suite Breaking Bad) e le prime integrazioni (HACL*, Fiat-Crypto, BoringSSL, HACL*) mostrano che le intrinsic preservano le proprietà di tempo costante attraverso i livelli di ottimizzazione con un costo prestazionale minimo. Il lavoro affronta un rischio di lunga data del compilatore in cui codice sorgente senza branch e a tempo costante può essere trasformato in branch dipendenti dai dati, consentendo attacchi side-channel temporali sui segreti crittografici. Trail of Bits prevede ulteriori intrinsic per aritmetica a tempo costante e barriere per espressioni complete e la modifica ha suscitato interesse dalle comunità Rust, Swift e WebAssembly, il che significa che qualsiasi linguaggio che targetta LLVM può adottarla. Per i trader di criptovalute, la modifica riduce una classe di vulnerabilità di implementazione nelle librerie e toolchain crittografiche largamente usate, riducendo il rischio operativo per servizi di custodia, exchange e progetti DeFi che dipendono dalla crittografia software.
Neutral
Si tratta principalmente di un miglioramento della sicurezza e degli strumenti più che di un evento che sposti direttamente i prezzi dei token. Riducendo una classe di vulnerabilità di implementazione nelle librerie crittografiche e nei compilatori, la modifica abbassa il rischio operativo e di esecuzione per i servizi che gestiscono asset crittografici (custodi, exchange, wallet, DeFi). Ciò riduce il rischio di coda per progetti specifici che dipendono dalle librerie interessate, il che è costruttivo per la stabilità del mercato nel lungo periodo, ma non ci si aspetta che generi una pressione d'acquisto immediata o che cambi materialmente le valutazioni dei token nel breve termine. Impatto a breve termine: minimo — è improbabile che i trader reagiscano con grandi variazioni di posizione solo a causa di questo aggiornamento degli strumenti. Impatto a lungo termine: moderatamente positivo — garanzie di compilatore migliorate possono ridurre la sfruttabilità futura delle chiavi private e delle implementazioni, abbassando il rischio sistemico e il premio di sicurezza incrementale per i progetti che adottano la toolchain. Complessivamente, l'aggiornamento è positivo per la sicurezza ma non muove i prezzi da solo.