تضيف LLVM دوال داخلية بزمن ثابت لحماية الشيفرة التشفيرية

أدخلت شركة Trail of Bits دعم التنفيذ بزمن ثابت في LLVM (مقترح لـ 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 التي تعتمد على التشفير البرمجي.