LLVM добавляет временно-постоянные внутренние функции для защиты криптографического кода

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