LLVM เพิ่ม intrinsic เวลาคงที่เพื่อปกป้องโค้ดเข้ารหัส

Trail of Bits ได้นำการรองรับโค้ดแบบเวลา-คงที่ (constant-time) ขึ้นสู่ LLVM (เสนอสำหรับ LLVM 22) โดยแนะนำ intrinsic __builtin_ct_select (llvm.ct.select.*) ที่บังคับให้การเลือกแบบมีเงื่อนไขถูกคอมไพล์เป็นโค้ดเครื่องที่มีเวลาแน่นอน บน x86-64 จะลดเป็น cmov, บน AArch64 เป็น CSEL, และบนเป้าหมายอื่น ๆ จะถอยกลับไปใช้การคำนวณแบบการมาสก์ (masked arithmetic) ผลการทดสอบของ ETH Zürich (ชุด Breaking Bad) และการผนวกรวมในระยะแรก (HACL*, Fiat-Crypto, BoringSSL, HACL*) แสดงให้เห็นว่า intrinsic เหล่านี้รักษาคุณสมบัติแบบเวลา-คงที่ได้ข้ามระดับการปรับแต่งด้วยต้นทุนน้อยมาก งานนี้แก้ปัญหาความเสี่ยงที่มีมายาวนานของคอมไพเลอร์ซึ่งโค้ดต้นทางที่ไม่มีสาขาและเป็นเวลา-คงที่อาจถูกแปลงเป็นสาขาที่ขึ้นกับข้อมูล ทำให้สามารถโจมตีแบบช่องข้างเคียงทางเวลาไปยังความลับทางคริปโตได้ Trail of Bits วางแผน intrinsic เพิ่มเติมสำหรับการคำนวณแบบเวลา-คงที่และวางกำแพงสำหรับนิพจน์ทั้งชุด และการเปลี่ยนแปลงนี้ได้รับความสนใจจากชุมชน Rust, Swift และ WebAssembly ซึ่งหมายความว่าภาษาใด ๆ ที่คอมไพล์ไปยัง LLVM สามารถนำไปใช้ได้ สำหรับผู้ซื้อขายสกุลเงินคริปโต การเปลี่ยนแปลงนี้ลดชั้นของช่องโหว่การใช้งานในไลบรารีและ toolchain คริปโตที่ใช้กันอย่างแพร่หลาย ช่วยลดความเสี่ยงด้านการปฏิบัติงานสำหรับบริการการดูแลสินทรัพย์ ศูนย์แลกเปลี่ยน และโครงการ DeFi ที่พึ่งพาการเข้ารหัสแบบซอฟต์แวร์