LLVM додає інтрізики з постійним часом виконання для захисту криптографічного коду
Trail of Bits внесла підтримку виконання з постійним часом (constant-time) в LLVM (запропоновано для LLVM 22), ввівши інтрінсіки __builtin_ct_select (llvm.ct.select.*), які змушують умовний вибір компілюватися в машинний код з постійним часом виконання. На x86-64 вони зводяться до cmov, на AArch64 — до CSEL, а на інших цілях використовується маскована арифметика. Бенчмарки ETH Zürich (набір Breaking Bad) та ранні інтеграції (HACL*, Fiat-Crypto, BoringSSL, HACL*) показують, що інтрінсіки зберігають властивості constant-time через рівні оптимізації з мінімальною вартістю продуктивності. Робота вирішує давній ризик компілятора, коли безрозгалужуваний, constant-time вихідний код може бути перетворений на розгалуження, залежні від даних, що дозволяє таймінгові сайд-канальні атаки на криптографічні секрети. Trail of Bits планує додаткові інтрінсіки для арифметики constant-time та бар’єрів для повних виразів, і зміна привернула інтерес спільнот Rust, Swift та WebAssembly, що означає, що будь-яка мова, що таргетує LLVM, може її прийняти. Для крипто-трейдерів зміна зменшує клас вразливостей реалізації у широко використовуваних крипто-бібліотеках та тулчейнах, знижуючи операційний ризик для кастодіальних сервісів, бірж та DeFi-проєктів, що залежать від програмної криптографії.
Neutral
Це перш за все покращення безпеки та інструментів, а не подія, що безпосередньо рухає ціни токенів. Зменшуючи клас вразливостей реалізації в криптографічних бібліотеках і компіляторах, зміна знижує операційний та виконувальний ризик для сервісів, що керують криптоактивами (кастодіали, біржі, гаманці, DeFi). Це зменшує хвостовий ризик для конкретних проєктів, що залежать від уражених бібліотек, що сприятливо для стабільності ринку в довгостроковій перспективі, але не очікується, що це викличе негайний попит або суттєво змінить короткострокову оцінку токенів. Короткостроковий вплив: мінімальний — трейдери навряд чи реагуватимуть масовими змінами позицій лише через це оновлення інструментів. Довгостроковий вплив: помірно позитивний — покращені гарантії компілятора можуть зменшити майбутню можливість експлуатації приватних ключів та реалізацій, знижуючи системний ризик та додаткову премію за безпеку для проєктів, що впровадять тулчейн. Загалом оновлення позитивне для безпеки, але саме по собі не рухає ціни.