LLVM thêm các intrinsic thời gian cố định để bảo vệ mã mật mã
Trail of Bits đã đưa hỗ trợ thời gian cố định vào LLVM (đề xuất cho LLVM 22) bằng cách giới thiệu intrinsic __builtin_ct_select (llvm.ct.select.*) buộc phép chọn có điều kiện được biên dịch thành mã máy thời gian cố định. Trên x86-64 các intrinsic này hạ xuống cmov, trên AArch64 thành CSEL, và trên các mục tiêu khác chúng sẽ dùng toán học che mặt (masked arithmetic). Các benchmark của ETH Zürich (bộ Breaking Bad) và các tích hợp sớm (HACL*, Fiat-Crypto, BoringSSL, HACL*) cho thấy các intrinsic giữ được tính chất thời gian cố định qua các mức tối ưu hóa với chi phí hiệu năng rất nhỏ. Công việc này giải quyết một rủi ro lâu nay của trình biên dịch, nơi mã nguồn không nhánh và thời gian cố định có thể bị biến thành các nhánh phụ thuộc dữ liệu, cho phép tấn công kênh cạnh thời gian vào bí mật mật mã. Trail of Bits dự định thêm các intrinsic cho toán học thời gian cố định và rào cản biểu thức toàn phần, và thay đổi này đã thu hút sự quan tâm từ cộng đồng Rust, Swift và WebAssembly, nghĩa là bất kỳ ngôn ngữ nào nhắm tới LLVM cũng có thể áp dụng. Đối với nhà giao dịch tiền mã hóa, thay đổi này làm giảm một lớp lỗ hổng triển khai trong các thư viện và chuỗi công cụ mật mã được sử dụng rộng rãi, giảm rủi ro vận hành cho dịch vụ lưu ký, sàn giao dịch và dự án DeFi phụ thuộc vào mật mã phần mềm.
Neutral
Đây chủ yếu là một cải tiến về bảo mật và công cụ hơn là một sự kiện trực tiếp làm thay đổi giá token. Bằng cách giảm một lớp lỗ hổng triển khai trong các thư viện mật mã và trình biên dịch, thay đổi này làm giảm rủi ro vận hành và thực thi cho các dịch vụ quản lý tài sản tiền mã hóa (bên giữ tài sản, sàn giao dịch, ví, DeFi). Điều đó giảm rủi ro đuôi cho các dự án cụ thể phụ thuộc vào các thư viện bị ảnh hưởng, điều này có lợi cho sự ổn định thị trường về lâu dài, nhưng không dự kiến tạo ra sức mua ngay lập tức hay thay đổi đáng kể định giá token trong ngắn hạn. Tác động ngắn hạn: tối thiểu — các nhà giao dịch khó có khả năng phản ứng bằng việc thay đổi vị thế lớn chỉ vì bản cập nhật công cụ này. Tác động dài hạn: hơi tích cực — các đảm bảo trình biên dịch được cải thiện có thể giảm khả năng bị khai thác trong tương lai của khóa riêng và các triển khai, hạ thấp rủi ro hệ thống và phần thưởng bảo mật bổ sung cho các dự án áp dụng chuỗi công cụ. Tổng thể, bản cập nhật tích cực cho bảo mật nhưng không tự nó làm thay đổi giá.