LLVM adiciona intrínsecos de tempo constante para proteger código criptográfico
A Trail of Bits integrou suporte a tempo-constante no LLVM (proposto para LLVM 22) introduzindo as intrínsecas __builtin_ct_select (llvm.ct.select.*) que forçam a seleção condicional a compilar para código de máquina em tempo constante. Em x86-64 essas intrínsecas reduzem para cmov, em AArch64 para CSEL, e em outros alvos caem de volta para aritmética mascarada. Os benchmarks da ETH Zürich (suite Breaking Bad) e as primeiras integrações (HACL*, Fiat-Crypto, BoringSSL, HACL*) mostram que as intrínsecas preservam as propriedades de tempo-constante através dos níveis de otimização com custo de desempenho mínimo. O trabalho aborda um risco de longa data dos compiladores, onde código fonte sem ramos e de tempo constante pode ser transformado em ramos dependentes de dados, permitindo ataques por canais laterais de tempo sobre segredos criptográficos. A Trail of Bits planeja mais intrínsecas para aritmética de tempo-constante e barreiras de expressão completa, e a mudança atraiu interesse das comunidades Rust, Swift e WebAssembly, o que significa que qualquer linguagem que alvo LLVM pode adotá-la. Para traders de cripto, a mudança reduz uma classe de vulnerabilidades de implementação em bibliotecas e toolchains criptográficas amplamente usadas, diminuindo o risco operacional para serviços de custódia, exchanges e projetos DeFi que dependem de criptografia por software.
Neutral
Isto é principalmente uma melhoria de segurança e de ferramentas, em vez de um evento que mova diretamente os preços dos tokens. Ao reduzir uma classe de vulnerabilidades de implementação em bibliotecas criptográficas e compiladores, a mudança diminui o risco operacional e de execução para serviços que gerenciam ativos cripto (custodiantes, exchanges, carteiras, DeFi). Isso reduz o risco extremo para projetos específicos que dependem das bibliotecas afetadas, o que é construtivo para a estabilidade do mercado a longo prazo, mas não se espera que gere pressão de compra imediata ou altere materialmente as avaliações de tokens no curto prazo. Impacto de curto prazo: mínimo — é improvável que traders reajam com grandes alterações de posição apenas por essa atualização de ferramentas. Impacto de longo prazo: modestamente positivo — garantias de compilador aprimoradas podem reduzir a exploração futura de chaves privadas e implementações, diminuindo o risco sistêmico e o prêmio de segurança incremental para projetos que adotem a cadeia de ferramentas. No geral, a atualização é positiva para a segurança, mas não movimenta o preço por si só.