LLVM añade intrínsecos de tiempo constante para proteger el código criptográfico
Trail of Bits incorporó soporte de tiempo constante en LLVM (propuesto para LLVM 22) introduciendo las intrínsecas __builtin_ct_select (llvm.ct.select.*) que fuerzan que la selección condicional se compile a código máquina de tiempo constante. En x86-64 estas intrínsecas se convierten en cmov, en AArch64 en CSEL, y en otros objetivos caen en aritmética enmascarada. Los benchmarks de ETH Zürich (suite Breaking Bad) y las primeras integraciones (HACL*, Fiat-Crypto, BoringSSL, HACL*) muestran que las intrínsecas preservan las propiedades de tiempo constante a través de los niveles de optimización con un coste de rendimiento mínimo. El trabajo aborda un riesgo antiguo del compilador en el que código fuente sin ramas y de tiempo constante puede transformarse en ramas dependientes de datos, permitiendo ataques por canales laterales de tiempo sobre secretos criptográficos. Trail of Bits planea más intrínsecas para aritmética de tiempo constante y barreras de expresiones completas, y el cambio ha atraído interés de las comunidades de Rust, Swift y WebAssembly, lo que significa que cualquier lenguaje dirigido a LLVM puede adoptarlo. Para operadores criptográficos, el cambio reduce una clase de vulnerabilidades de implementación en bibliotecas y cadenas de herramientas criptográficas de uso general, disminuyendo el riesgo operativo para servicios de custodia, exchanges y proyectos DeFi que dependen de criptografía por software.
Neutral
Esto es principalmente una mejora de seguridad y de herramientas en lugar de un acontecimiento que mueva directamente los precios de los tokens. Al reducir una clase de vulnerabilidades de implementación en bibliotecas criptográficas y compiladores, el cambio disminuye el riesgo operativo y de ejecución para los servicios que gestionan activos criptográficos (custodios, exchanges, carteras, DeFi). Eso reduce el riesgo extremo para proyectos concretos que dependen de las bibliotecas afectadas, lo cual es constructivo para la estabilidad del mercado a largo plazo, pero no se espera que genere una presión de compra inmediata ni que cambie materialmente las valoraciones de tokens a corto plazo. Impacto a corto plazo: mínimo — es improbable que los traders reaccionen con cambios de posición importantes únicamente por esta actualización de herramientas. Impacto a largo plazo: modestamente positivo — las garantías mejoradas del compilador pueden reducir la explotabilidad futura de claves privadas e implementaciones, disminuyendo el riesgo sistémico y la prima de seguridad incremental para los proyectos que adopten la cadena de herramientas. En general, la actualización es positiva para la seguridad pero no mueve los precios por sí sola.