Geliştiriciler, SHA-256'nın Bend dilindeki doğrulanmış uygulamasını sundu

Geliştiriciler, SHA-256 hash algoritmasının formally doğrulanmış bir uygulaması olan bend-sha256'yi yayınladılar, bu uygulama 2.0.5 sürümündeki Bend dilinde yazılmıştır. Proje, FIPS 180-4 standardına uygun olarak hesaplamaların tam işlevsel doğruluğunu sağlar.

Uygulama, mesajların ön hazırlığını ve nihai özet hesaplamasını da içeren tüm veri işleme aşamalarını kapsar. Projkenin önemli bir özelliği, dış kriptografik kütüphanelerin olmamasıdır, bu da kodu izole ortamlarda kullanmayı mümkün kılar. Tüm hesaplama süreci, algoritmanın matematiksel spécifikasyonuna uygunluk açısından doğrulanmıştır.

Performans testi sırasında sistem, görevi 11 saat içinde tamamlayarak 7 puan elde etti. Projenin kaynak kodu tamamen açıktır ve denetlemeye açıktır, bu da geliştiricilerin kriptografik fonksiyonları, düşük seviyeli bağımlılıklara başvurmadan doğrudan Bend'deki yüksek seviyeli programlara entegre etmelerine olanak tanır.

Kriptografik ilkelere formal doğrulama kullanmak, karmaşık algoritmaların uygulanması sırasında hata oluşma riskini azaltır. Bu sürüm, yüksek hesaplama doğruluğu ve matematiksel olarak kanıtlanabilir kod gerektiren görevlerde Bend dilinin olanaklarını göstermektedir ve bu, dağıtılmış sistemlerde veri güvenliğini sağlamak için kritik öneme sahiptir.