LLVM, kriptografik kodu korumak için sabit zamanlı intrinsic'ler ekliyor
Trail of Bits, LLVM'e sabit-zaman (constant-time) desteğini yukarıya taşıdı (LLVM 22 için önerildi) ve şartlı seçimin sabit-zamanlı makine koduna derlenmesini zorlayan __builtin_ct_select (llvm.ct.select.*) intrinsic'lerini tanıttı. x86-64 üzerinde bunlar cmov'a, AArch64 üzerinde CSEL'e düşürülüyor ve diğer hedeflerde maskeleme aritmetiğine geri dönüyorlar. ETH Zürich ölçümleri (Breaking Bad paketi) ve erken entegrasyonlar (HACL*, Fiat-Crypto, BoringSSL, HACL*) intrinsic'lerin optimizasyon seviyeleri boyunca sabit-zaman özelliklerini minimal performans maliyetiyle koruduğunu gösteriyor. Çalışma, dallanmasız, sabit-zamanlı kaynak kodun derleyici tarafından veri-bağımlı dallanmalara dönüştürülerek kriptografik sırlar üzerinde zamanlama yan kanal saldırılarına yol açabilmesi gibi uzun süreli bir derleyici riskini ele alıyor. Trail of Bits, sabit-zaman aritmetiği ve tam ifade bariyerleri için daha fazla intrinsic planlıyor ve değişiklik Rust, Swift ve WebAssembly topluluklarının ilgisini çekti; bu da LLVM hedefleyen herhangi bir dilin bunu benimseyebileceği anlamına geliyor. Kripto tüccarları için bu değişiklik, yaygın kullanılan kripto kitaplıkları ve araç zincirlerindeki bir sınıf uygulama açıklarını azaltıyor ve yazılım tabanlı kriptografiye bağımlı saklama hizmetleri, borsalar ve DeFi projeleri için operasyonel riski düşürüyor.
Neutral
Bu, doğrudan token fiyatlarını hareket ettiren bir olaydan ziyade öncelikle bir güvenlik ve araç iyileştirmesidir. Kriptografik kütüphanelerde ve derleyicilerdeki bir uygulama zafiyeti sınıfını azaltarak, bu değişiklik kripto varlıkları yöneten hizmetler (emanetçiler, borsalar, cüzdanlar, DeFi) için operasyonel ve yürütme riskini düşürür. Bu, etkilenen kütüphanelere bağlı belirli projeler için kuyruk riskini azaltır; bu uzun vadede piyasa istikrarı için yapıcıdır, ancak ani alım baskısı yaratması veya kısa vadeli token değerlemelerini önemli ölçüde değiştirmesi beklenmez. Kısa vadeli etki: minimal — traderların sadece bu araç güncellemesi yüzünden büyük pozisyon değişiklikleri yapması muhtemel değildir. Uzun vadeli etki: kısmen olumlu — geliştirilmiş derleyici garantileri, gelecekte özel anahtarların ve uygulamaların sömürülebilirliğini azaltabilir, sistemik riski ve araç zincirini benimseyen projeler için ek güvenlik primini düşürebilir. Genel olarak, güncelleme güvenlik açısından olumlu fakat tek başına fiyatları hareket ettirmez.