LLVM menambah intrinsic masa-sekali untuk melindungi kod kriptografi
Trail of Bits telah mengalirkan sokongan masa-kekal ke LLVM (dicadangkan untuk LLVM 22) dengan memperkenalkan intrinsic __builtin_ct_select (llvm.ct.select.*) yang memaksa pemilihan bersyarat dikompilkan kepada kod mesin masa-kekal. Pada x86-64 ini akan menjadi cmov, pada AArch64 menjadi CSEL, dan pada sasaran lain ia jatuh kembali kepada aritmetik bertopeng. Penanda aras ETH Zürich (set Breaking Bad) dan integrasi awal (HACL*, Fiat-Crypto, BoringSSL, HACL*) menunjukkan intrinsik mengekalkan sifat masa-kekal merentas tahap pengoptimuman dengan kos prestasi minimum. Kerja ini menangani risiko penyusun yang lama di mana kod sumber tanpa cabang dan masa-kekal boleh diubah menjadi cabang bergantung data, membolehkan serangan saluran masa terhadap rahsia kriptografi. Trail of Bits merancang intrinsik lanjut untuk aritmetik masa-kekal dan penghalang ekspresi penuh dan perubahan ini telah menarik minat komuniti Rust, Swift dan WebAssembly, bermakna mana-mana bahasa yang menyasarkan LLVM boleh menggunakannya. Bagi peniaga kripto, perubahan ini mengurangkan kelas kelemahan pelaksanaan dalam perpustakaan kripto dan rantaian alat yang banyak digunakan, mengurangkan risiko operasi bagi perkhidmatan kustodian, bursa dan projek DeFi yang bergantung pada kriptografi perisian.
Neutral
Ini terutamanya adalah penambahbaikan keselamatan dan alat dan bukannya suatu kejadian yang terus menggerakkan harga token. Dengan mengurangkan satu kelas kelemahan pelaksanaan dalam perpustakaan kriptografi dan penyusun, perubahan ini mengurangkan risiko operasi dan pelaksanaan untuk perkhidmatan yang mengurus aset kripto (penjaga, bursa, dompet, DeFi). Ia mengurangkan tail-risk untuk projek tertentu yang bergantung kepada perpustakaan yang terjejas, yang membina kestabilan pasaran jangka panjang, tetapi ia tidak dijangka menghasilkan tekanan beli segera atau mengubah penilaian token jangka pendek secara material. Kesan jangka pendek: minimum — pedagang kemungkinan besar tidak akan bertindak balas dengan perubahan posisi besar hanya kerana kemas kini alat ini. Kesan jangka panjang: sedikit positif — jaminan penyusun yang dipertingkatkan boleh mengurangkan kebolehurungan eksploitasi kunci peribadi dan pelaksanaan pada masa hadapan, mengurangkan risiko sistemik dan premium keselamatan tambahan untuk projek yang mengguna pakai rangka alat tersebut. Secara keseluruhan, kemas kini ini positif untuk keselamatan tetapi bukan pemangkin pergerakan harga dengan sendirinya.