SHA-1

Kriptografide, SHA-1 (Secure Hash Algorithm 1) NSA (National Security Agency) tarafından dizayn edilmiş ve NIST (National Institute of Standarts and Technology) tarafından yayınlanmış bir Amerika Birleşik Devletleri Federal Bilgi İşleme Standartı (Federal Information Processing Standard)'nda bir kriptografik özet fonksiyonudur. SHA-1, mesaj özeti olarak da bilinen 160-bit özet değeri üretir. Bir SHA-1 özet değeri genellikle 40 basamaklı bir onaltılık sayı olarak üretilir.

SHA-1 artık güvenli bir algoritma olarak düşünülmemektedir. Kriptanalistlerin 2005'te yaptığı bir saldırıyla SHA-1'in devam eden kullanım için yeterince güvenli olmadığını ispatladılar. Bu yüzden 2010'dan beri SHA-1 yerine daha güvenli olan SHA-2 veya SHA-3 öneriliyor. 2017 itibarıyla ise Microsoft, Google, Apple ve Mozilla SSL sertifikalarından SHA-1 desteğini çekeceklerini açıkladılar.

23 Şubat 2017'de CWI Amsterdam ve Google SHA-1'e çakışma saldırısı yaptıklarını duyurdular ve iki farklı PDF dosyasının aynı SHA-1 özetini ürettiklerini kanıtladılar.

SHA-1 ile üretilen mesaj özeti, MIT'den Ronald L. Rivest tarafından tasarlanmış MD4 ve MD5 algoritmaları ile üretilen mesaj özetlerine benzer fakat daha sade bir yapıdadır.

SHA-1 Amerika Birleşik Devletlerinin Capstone Projesi kapmasında üretilmiştir. Algoritmanın orijinal özellikleri NIST (National Institute of Standards and Technology) tarafından 1993 yılında Güvenli Özet Standartı, FIPS PUB 180, başlığı altında yayınlandı.(18-19). Bu versiyon şu anda SHA-0 olarak bilinmektedir. Bu versiyon NSA tarafından yayınlanmasından kısa bir süre sonra geri çekilerek tekrar gözden geçirilmiş ve 1995 yılında FIPS PUB 180-1'de SHA-1 olarak yayınlanmıştır. SHA-1'in SHA-0'dan tek farkı, SHA-1'in sıkıştırma fonksiyonundaki mesaj planındaki bir bit işlemi rotasyonudur. NSA'ya göre bu işlem orijinal algoritmadaki şifreleme güvenliğini azaltan bir hatayı çözmek için yapılmıştır, fakat NSA bunun hakkında daha fazla bilgi paylaşmamıştır. Gerçekten de SHA-0 bilinen tekniklerle SHA-1'den daha önce kırılmıştır.

SHA-1 TLS, SSL, PGP, SSH, S/MIME ve IPsec gibi birçok güvenlik uygulaması ve protokolünün bir parçası olarak kullanılmaktadır. Bu uygulamalarda SHA-1 yerine MD5 da kullanılabilmektedir. Hem SHA-1 hem de MD5, MD4'ten yola çıkılarak tasarlanmışlardır. Ayrıca SHA-1 Git, Mercurial ve Monotone gibi dağıtık revizyon kontrol sistemlerinde revizyonların belirlenmesinde ve veri bozulmalarının ve/veya müdahalelerinin algılanmasında kullanılmaktadır. Algoritma Nintedo Wii oyun konsollarında booting sırasında imza doğrulaması sağlamak için kullanılmıştır, fakat algoritmanın ilk uygulanmasında saldırganların sistemin güvenlik planını rahatlıkla geçebildiği önemli bir açık oluşmuştur.

Başka kriptografik algoritma ve protokolleri kullanan ABD Hükümeti uygulamalarında hassas ve gizli bilgilerin güvenliği için SHA-1 ve SHA-2 kriptografik özet algoritmalarının kullanılması yasalar tarafından zorunlu tutulmuştur. Ayrıca FIPS PUB 180-1, özel kurumların da SHA-1 algoritmasını kullanmasını desteklemiştir. SHA-1 artık hükümet işlerinin çoğunda kullanılmıyor. NIST ( National Institute of Standards and Technology)'in bir açıklamasında, "Federal ajanslar çakışma direnci gerektiren uygulamalarda en kısa zamanda SHA-1 algoritmasını kullanmayı bırakmalı ve bu uygulamalar için 2010'dan sonra SHA-2 kriptografik özet algoritma ailesini kullanmaya başlamak zorundadırlar."(orijinal vurgu). Bu zorunluluk daha sonra gevşetildi.

Git ve Mercurial gibi revizyon kontrol sistemleri SHA-1'i sadece güvenlik için kullanmaz ayrıca verinin herhangi bir bozulmaya uğrayarak değişmediğine emin olmak için kullanır. Linus Torvalds Git ile ilgili şunları söylemiştir;Eğer disk bozulması varsa, DRAM bozulması varsa, veya herhangi bir sorun varsa Git hepsini algılayacaktır. Ya algılamazsa sorusu yok, bu bir kesinliktir. Zarar vermeye çalışan insanlar olabilir. Kesinlikle başaramayacaklar. [...] Kimse SHA-1'i kıramadı, fakat Git'i ilgilendiren SHA-1'in güvenlik özellikleri değil. Tamamiyle tutarlılık kontolü özelliği. Güvenlik kısmı bir yana, birçok insan şunu düşünüyor: Git SHA-1'i kullanıyor ve SHA-1 de kriptografik güvenlikte kullanılıyor. Demek ki Git'in güvenliği bununla sağlanıyor, diye düşünecekler. Git'te bunun güvenlikle hiçbir ilgisi yok. Bu sadece bulabileceğin en iyi özet fonksiyonu. [...]Size şunun garantisini verebilirim: eğer verinizi Git'e koyarsanız, sizin sabit disk'inizden DVD'ye - veya 5 yıl sonra hangi teknoloji kullanılırsa ona - kopyalanınca bundan 5 yıl sonra bile verdiğiniz veriyi tamamı ile aynı şekilde geri alabilirsiniz. [...]İlgilendiğim bir konu da çekirdek. İnsanların çekirdek kaynak kodlarını bozmaya çalıştıkları BitKeeper sitelerinden birinde açık yakalandığını gördük. Fakat Git çakışma durumda nesnenin en eski sürümünü tutmayı tercih edeceğinden bir saldırganın gizlice dosyaların üzerine yazmasını engellemiş olur. Böylece SHA-1'in ikinci-öngörüntü direnci güvenlik özelliğine ihtiyaç duymaz.

L bit özet uzunluğuna sahip bir kriptografik özet fonksiyonunda, özete karşılık gelen bir mesaj her zaman brute-force saldırısı ile yaklaşık 2L denemede bulunabilir. Bu saldırıya öngörüntü saldırısı denir ve Lnin uzunluğuna ve bilgisayar sistemine göre pratik olabilir veya olamayabilir. İkinci ölçüt "çakışma" aynı mesaj özetini üreten iki farklı mesaj bulmak, doğum günü saldırısı kullanılarak ortalama 1.2 × 2L/2 denemede bulunabilir. Bu ikinci kriterden dolayı bir kriptografik özet fonksiyonunun direnci özet değeri uzunluğunun yarısının kadardır. Böylece SHA-1'in direnci 80-bit karmaşıklığında düşünülebilir.

Kriptologlar SHA-0 için çakışma çiftleri üretmeyi başarmışlar ve SHA-1'i de normal direnci olan 280 denemeden daha kısa sürede çakışma bulabilen bir algoritma bulmuşlardır.

Belge imzalatmada ise, saldırgan var olan bir belge için kolaylıkla sahte bir imza üretemez. Şöyle yapabilir: saldırgan normal ve hileli iki belge üretir ve özel anahtar sahibine normal belgeyi imzalatır. Bu saldırının mümkün olduğu bazı pratik koşullar vardır. Örneğin, 2008'in sonuna kadar bir MD5 çakışma kullanılarak sahte SSL sertifikaları üretmek mümkündü.

2005 yılının başlarında, Rijmen ve Oswald'un yayınladığı saldırıda, SHA-1'in basit versiyonunda — 80 turdan 53'ü —  280 işlemden daha az işlemde çakışmalar bulunmuştur.

Saldırıyı yapanlar şöyle açıkladılar: "Analizimiz SHA-0'daki orijinal diferansiyel saldırıya ve çakışma saldırılarına, çok bloklu çakışma tekniklerine ve MD5'teki çakışma arama saldırılarında kullanılan mesaj değiştirme tekniklerine dayanıyor. SHA-1'i bu güçlü analitik tekniklerin yardımı olmadan kıramazdık." Aynı zamanda 58-tur SHA-1'i 233 özet işleminde kırabilen bir çakışma sundular. Saldırının tüm detaylarını içeren makale 2005 yılının ağustos ayında CRYPTO konferansında sunuldu.

Yin bir röportajında, "Kabaca şu iki zayıflıktan yararlandık: İlki dosya ön işleme aşaması yeteri kadar karışık değil, ilk 20 turdaki bazı matematiksel işlemlerde beklenmedik güvenlik açıkları mevcut."

17 Ağustos 2005'te bir CRYPTO 2005 oturumunda Xiaoyun Wang, Andrew Yao ve Frances Yao adına SHA-1 saldırısında yapılan bir iyileştirme duyuruldu. Çakışma bulmak için gereken ortalama işlem sayısı 263 'e düşürüldü. 18 Aralık 2007'de bu sonucun ayrıntıları Martin Cochran tarafından açıklanmış ve doğrulanmıştır.

Christophe De Cannière ve Christian Rechberger, "SHA-1 Özelliklerini Bulma: Genel Sonuçlar ve Uygulamalar" makalesi ile SHA-1 saldırılarını daha da geliştirdiler ve ASIACRYPT 2006'daki en iyi makale ödülünü almaya hak kazandılar. 64-tur SHA-1 için 2 blok çakışma optimize edilmemiş yöntemler kullanılarak 235 işlemde bulundu. Bu saldırı yaklaşık 235 işlemde yapılabildiğinden teorik bir eşik olarak kabul edilir. Daha sonra 2010'da Grechnikov tarafından bu saldırı 80'de 73-tur'a kadar geliştirildi. Bununla tüm 80-turluk bir özet fonksiyonunda çakışma bulmak için muazzam şekilde işlem süresi gerekiyor. Bu yüzden, 8 Ağustos 2007'de SHA-1'de çakışma bulmak amacıyla Graz Teknoloji Üniversite'sinde dağıtılmış bilgi işlem platformu olan BOINC ile çakışma araması başlatıldı fakat 12 Mayıs 2009'da yeterince ilerleme sağlanamadığından sonlandırıldı.

2006'daki CRYPTO oturumunda, Christian Rechberger ve Christophe De Cannière saldırganın SHA-1'deki mesajın en azından bir kısmını elde edebilecekleri bir saldırı bulduklarını duyurdular.

2008'de Stéphane Manuel tarafından yayınlanan bir raporda özet fonksiyonunda çakışmanın tahmini olarak 251  - 257 işlemlik teorik karmaşıklıkta bulunabileceğini öne sürdü. Fakat daha sonrasında yerel çakışma yollarının aslında bağımsız olmadığı anlayıp bu tahminin geri çekmiş ve bilinen en etkili çakışma vektörünün yine bu çalışmadan önceki bilinen yöntem olduğunu aktarmıştır.

Cameron McDonald, Philip Hawkes ve Josef Pieprzyk Eurocrypt 2009 oturumunda 252 karmaşıklıkta kırılabilen yeni bir özet çakışma saldırı bulduklarını öne sürdüler. Fakat bu iddianın makalesi olan "O(252) karmaşıklığında SHA-1 için Diferansiyel Yolu" makalesindeki hatalar sebebiyle yazarlar iddialarını geri çektiler.

Başka bir saldırıda da Marc Stevens tek bir özet değerini kırmak için bulut sunucularından tahmini değeri $2.77M olan CPU gücü kiralamıştır. Stevens bu saldırıyı HashClash adlı projede bir diferansiyel yol saldırısı kullanarak gerçekleştirdi. 8 Kasım 2010'da SHA-1'e karşı tamamen çalışan bir çakışmaya yakın bir çakışma saldırısını tahmini olarak 257.5 işlemde gerçekleştirebileceğini iddia etti. Ayrıca bu saldırının tahmini 261 işlemde kırılabilen bir tam çakışma saldırısına dönüştürülebileceğini öne sürdü.

8 Ekim 2015'te  Marc Stevens, Pierre Karpman, ve Thomas Peyrin SHA-1 özet fonksiyonunda yalnızca 257 işlem gerektiren bir çakışma saldırısı yayınladılar. Bu tam olarak bir tam SHA-1 özet fonksiyonu çakışma saldırısı (saldırgan iç aşamasını özgürce seçemediği) değildir, fakat yine de SHA-1'in güvenlik iddiasını zayıflatır. Özellikle, ilk defa tam SHA-1'e bir çakışma saldırısı yapılabildiği gösterildi. Önceki saldırıların hepsi pratik olarak gerçekleştirilmeleri çok pahalı saldırılardı. SHA-1'in kriptanalizindeki bu önemli atılım The SHAppening olarak isimlendirildi.

Bu metot Joux ve Peyrin'in yardımcı yolları(veya bumerangları) hızlandırma tekniği ile daha önceki çalışmalarına ve NVIDIA'nın yüksek performans/maliyet 'e sahip GPU 'larının kullanımına dayanıyor. Çakışma, toplamda 64 grafik kartına sahip 16 düğümlü bir küme ile bulundu. Yazarlar benzer bir çakışmanın EC2'de $2,000 'lık GPU zamanıyla bulunabileceği tahmininde bulundular.

Yazarlar aynı zamanda, tam SHA-1 çakışması yapmak için 75 bin ile 125 bin ABD doları maliyetindeki EC2 CPU/GPU gücünün yeterli olacağını söylemişler ve bunun bir suç örgütünün veya herhangi bir ulusal istihbarat örgütünün bütçesiyle rahatlıkla yapılabileceğini belirtmişlerdir. Ayrıca yazarlar SHA-1'in kullanımının olabildiğince çabuk durdurulmasını önerdiler.

23 Şubat 2017'de Google SHAttered saldırısı ismini verdikleri saldırı ile yaklaşık 263.1 işlemde aynı SHA-1 özeti veren 2 farklı PDF dosyası ürettiklerini duyurdular. Bu saldırı 280 işlemde bulunabilen brute-force ile SHA-1 özeti çakışması bulmaktan (doğum günü saldırısı) yaklaşık 100,000 kat daha hızlıdır. Bu saldırı yaklaşık tek CPU işlem gücüyle yaklaşık 6,500 yıl veya tek GPU işlem gücü ile yaklaşık 110 yıl sürerdi.

CRYPTO 98 'de  Florent Chabaud ve Antoine Joux isimli iki Fransız araştırmacı, 261 karmaşıklıkta yapılabilen bir çakışma buldular, ki bu saldırı aynı uzunluktaki ideal özet fonksiyonu karmaşıklığı olan 280 işlemden çok daha azdır.

2004 'te Biham ve Chen SHA-0 için çakışmaya yakın saldırılar keşfettiler. (Neredeyse aynı özet değeri olan —160 bitten 142'si aynı — iki farklı mesaj buldular.) Aynı zamanda SHA-0 'ın tam çakışmalarını 80-turdan 62-tura düşürülebildiğini buldular.

17 Ağustos 2004'teki CRYPTO 2004 oturumunda Wang, Feng, Lai, and Yu tarafından MD5, SHA-0 ve başka özet fonksiyonlarıyla ilgili saldırıların ön sonuçları açıklandı. Bu sonuçlarda, SHA-0 saldırısının karmaşıklığı 240 olarak açıklandı. Bu da Joux 'a ait saldırıdan çok daha verimli.

SHA-0 'daki sonuçların ardından bazı uzmanlar, SHA-1 'in yeni kriptosistemlerdeki kullanımına ilişkin planların tekrar gözden geçirilmesi gerektiğini önerdi. CRYPTO 2004'ten sonra, NIST 2010 yılına kadar SHA-1 'in kullanımının aşamalı olarak durdurulacağını ve yerine SHA-2 'nin kullanılacağını açıkladı.

FIPS tarafından kabul gören tüm güvenlik fonksiyonları NIST (National Institute of Standards and Technology) ve CSE (Communications Security Establishment) tarafından yürütülen  CMVP (Cryptographic Module Validation Program) programı tarafından doğrulanır. Gayri resmi doğrulama için, çok sayıda test vektörü içeren paket NIST 'in sitesinden indirilebilir, fakat bu testlerden çıkacak sonuç bazı uygulamalar için kanunen zorunlu olan resmi CMVP doğrulaması yerine geçmez.

Aralık 2013 itibarıyla, SHA-1 'in 2000'den fazla farklı ve geçerli uygulaması vardır, fakat bunlardan sadece 14 tanesi mesaj boyutu 8 ve katı bit uzunluğundaki mesajlar dışındakilerde çalışabilir.

append ml, the original message length, as a 64-bit big-endian integer. Thus, the total length is a multiple of 512 bits.

Buradaki sabit sayılar rastgeleliği maksimize etmek için bilerek seçilmiş sayılardır (nothing up my sleeve numbers): 4 sabit k sayısı 2, 3, 5, ve 10 sayılarının 230 kere kare kökleri alınmış halidir. h0 'danh3 'e kadar olan dört başlangıç değeri MD5 algoritmasındakilerle tamamen aynıdır ve beşinci değer ise (h4) çok benzeridir.

This transformation keeps all operands 64-bit aligned and, by removing the dependency of w[i] on w[i-3], allows efficient SIMD implementation with a vector length of 4 like x86 SSE instructions.

Bu dönüşüm tüm işlenilenleri 64-bit hizalı tutar ve w[i] 'nin w[i-3] üzerindeki bağımlılığını silerek x86 SSE işlemleri gibi vektör uzunluğu 4 olan verimli SIMD (Single Instruction Stream - Multiple Data Stream) uygulamasına izin verir.

Aşağıdaki tabloda, iç durum ;'' her bir veri bloğunun sıkıştırma işlemi sonundaki "iç özet değeri toplamı" dır.Daha fazla bilgi için: Merkle–Damgård constructionÖzet fonksiyonunun performansı sadece algoritmaya bağlı olarak değişmez. Aynı zamanda o algoritmanın nasıl uygulandığına ve kullanılan donanıma da bağlıdır. OpenSSL aracında, kullanıcıların sistemlerinde çalışan algoritmaların hızını ölçen bir "hız" komutu vardır.