LLVM криптографиялық кодты қорғау үшін тұрақты уақыттағы intrinsic-терді қосады

Trail of Bits LLVM-ге тұрақты уақыттық (constant-time) қолдауды енгізді (LLVM 22 үшін ұсынылған) және шартты таңдауды тұрақты уақыттағы машиналық кодқа құрастыруды мәжбүр ететін __builtin_ct_select (llvm.ct.select.*) интринсиктерін енгізді. x86-64-та олар cmov-қа, AArch64-та CSEL-ге төмендеп, басқа мақсаттарда маскамен есептеулерге (masked arithmetic) оралады. ETH Zürich бенчмарктері (Breaking Bad жинағы) және ерте интеграциялар (HACL*, Fiat-Crypto, BoringSSL, HACL*) интринсиктердің оптимизация деңгейлері арқылы тұрақты уақыт қасиеттерін минималды өнімділік шығындарымен сақтайтынын көрсетеді. Жоба компилятордағы ұзаққа созылған тәуекелді шешеді: бұтақсыз, тұрақты уақытты бастапқы код деректерге тәуелді бұтақтарға айналдырылып, криптографиялық құпияларға таймингтік бүйір арна шабуылдарын жүзеге асыруға мүмкіндік береді. Trail of Bits тұрақты уақыттық арифметика және толық өрнектерге тосқауылдар үшін қосымша интринсиктер жоспарлап отыр және бұл өзгеріс Rust, Swift және WebAssembly қауымдастықтарының қызығушылығын тудырды, яғни LLVM-ге бағытталған кез келген тіл оны қабылдай алады. Крипто трейдерлер үшін бұл өзгеріс кең қолданылатын крипто кітапханалар мен құралдардағы бір сынып орындалу осалдықтарын азайтады және бағдарламалық криптографияға сүйене отырып жұмыс істейтін кастодиал қызметтерге, биржаларға және DeFi жобаларына қатысты операциялық тәуекелді төмендетеді.
Neutral
Бұл негізінен токен бағаларын тікелей қозғалатын оқиға емес, қауіпсіздік пен құралдарды жақсарту. Криптографиялық кітапханалар мен компиляторлардағы жүзеге асыру осалдықтарының бір тобын азайту арқылы бұл өзгеріс криптоактивтерді басқаратын қызметтердегі (кастодианттар, биржалар, әмияндар, DeFi) операциялық және орындау тәуекелін төмендетеді. Бұл зардап шеккен кітапханаларға тәуелді нақты жобалар үшін әуе қауіп-қатерін азайтады, бұл ұзақ мерзімді нарық тұрақтылығы үшін пайдалы, бірақ бұл өзгеріс дереу сатып алу қысымын тудырады немесе қысқа мерзімді токен бағаларын елеулі түрде өзгертеді деп күтілмейді. Қысқа мерзімді әсері: минималды — трейдерлер осы құрал жаңартуының өзінен үлкен позиция өзгерістерімен жауап бермейді. Ұзақ мерзімді әсері: сәл оң — жақсартылған компилятор кепілдіктері болашақта жеке кілттер мен жүзеге асыруларды алаңдатудың мүмкіндігін азайта алады, жүйелік тәуекелді және құралдар тізбегін қабылдайтын жобалар үшін қосымша қауіпсіздік премиясын төмендетеді. Жалпы алғанда, жаңарту қауіпсіздік жағынан оң, бірақ өзі бағаны қозғалта алмайды.