# Bcrypt
Bcrypt, Niels Provos ve David Mazières tarafından Blowfish şifreleme yöntemi esas alınarak geliştirilmiş ve ilk kez USENIX’te, 1999 yılında sunulmuş bir parola özet fonksiyonudur. Rainbow table saldırılarına karşı salt kullanmasının yanı sıra adaptif bir fonksiyon olma özelliğine sahiptir. İterasyon sayacı arttırılarak yavaşlatılabilir ve bu sayede kaba kuvvet saldırılarına karşı dirençli kalabilmektedir.
Bcrypt fonksiyonu OpenBSD’nin varsayılan parola özetleme algoritmasıdır ve SUSE Linux gibi bazı Linux dağıtımlarında da kullanılmaktadır.
Ayrıca, bcrypt’in C, C++, C#, Elixir, Go, Java, JavaScript, Perl, PHP, Python ve Ruby gibi dillerde de uygulamaları mevcuttur.


## ArkaPlan.
Blowfish, blok şifreleme yöntemleri arasında yavaş anahtar hazırlama evresiyle bilinmektedir. Standart durumda alt anahtarlarla başlar, bu durumdaki alt anahtarların bir bölümünde blok şifreleme yapar ve oluşan şifreleri bazı alt anahtarlarla değiştirir. Daha sonra modifiye edilmiş yeni durumda anahtarın bir başka bölümünü şifreler ve oluşan sonucu başka alt anahtarlarla değiştirmede kullanır. Bu şekilde, tüm alt anahtarlar belirlenene dek devam eder.
Provos ve Mazières bu yöntemden yararlanmış ve onu daha da ileriye götürmüştür. Blowfish için yeni bir anahtar oluşturma algoritması geliştirip “Eksblowfish” (“maliyetli anahtar planlama Blowfish”) olarak adlandırmışlardır. Anahtar hazırlama aşaması, Blowfish gibi tüm alt anahtarları belirlemede salt ve parola kullanılarak başlar. Ardından standart Blowfish anahtar oluşturma evreleri bunu takip eder ve bu evrelerde bir önceki evredeki alt anahtardan başlanarak, anahtar olarak sırayla salt ve parola kullanılarak devam edilir. Teoride bu standart Blowfish anahtar oluşturma takviminden pek de farklılık gösteriyor değildir. Fakat, bu süreç yeniden anahtar oluşturma evrelerinin ayarlanabilir olması sayesinde istenen ölçüde yavaşlatılabilir. Bu sayede salt veya özete yönelik yapılan kaba kuvvet saldırıları engellenebilir.


## Açıklama.
Gölge parola dosyasında bulunan bir özet stringdeki "$2a$" veya "$2b$" (veya "$2y$") ön ekleri özet string'in modüler şifre formatındaki bir bcrpyt özeti olduğunu belirtir. Özetin geri kalanı ise maliyet parametresi, 128-bit salt (Radix-64 ile şifrelenmiş 22 karakter) ve 184 bit sonuç özet değeri (Radix-64 ile şifrelenmiş 31 karakter) içerir. Radix-64 unix/crypt alfabesi kullanır ve standart Base-64 değildir. Maliyet parametresi anahtar ilerleme iterasyon sayacı değerini belirtir. 2'nin katları olarak gösterilir ve şifreleme algoritmasının bir girdisidir.
Örneğin gölge parola kaydı $2a$10$N9qo8uLOickgx2ZMRZoMyeIjZAgcfl7p92ldGxad68LJZdL17lhWy maliyet parametresinin 10, yani 210 anahtar ilerleme evresi olduğunu gösterir. Salt ise N9qo8uLOickgx2ZMRZoMye'dir ve sonuç özet değeri ise IjZAgcfl7p92ldGxad68LJZdL17lhWy'dir. Kullanıcının parolası ise standart uygulamada kaydedilmez.


## Sürüm geçmişi.
$ 2 $ (1999)
Orijinal Bcrypt tanımlarına göre ön ek olarak $2$ kullanılır. Bu tanımlara göre OpenBSD şifre dosyalarında parolaların kaydedilmesinde Modular CryptFormat takip edilir.
  - $1$ : MD5 tabanlı şifreleme ('md5crypt') 
  - $2$ : Balon balığı tabanlı şifreleme ('bcrypt') 
  - $sha1$ : SHA-1 tabanlı şifreleme ('sha1crypt') 
  - $5$ : SHA-256 tabanlı şifreleme ('sha256crypt') 
  - $6$ : SHA-512 tabanlı şifreleme ('sha512crypt')
$ 2a $
Orijinal tanımlarda non-ASCII karakterlerin veya sıfır sonlayıcıların nasıl değerlendirileceği belirtilmemiştir. Tanımlar aşağıdaki yönergeler dahil edilecek şekilde revize edilmiştir:
  - String UTF-8'e göre kodlanmış olmalıdır 
  - null terminator dahil edilmelidir
Bu değişikliklerle birlikte versiyon $2a$ olarak değiştirilmiştir
$ 2x $, $ 2y $ (Haziran 2011)
Haziran 2011'de BCrypt'in bir PHP uygulaması olan crypt_blowfish’te bir hata keşfedildi. Bu, 8. bit setindeki karakterlerin yanlış değerlendirilmesiyle alakalı bir hataydı. Sistem yöneticilerinin ellerindeki mevcut parola veri tabanlarını $2a$ 'dan $2x$'e geçerek güncellemeleri önerildi. Aynı zamanda crypt_blowfish’in sabit algoritmalarla üretilen özetler için $2y$'yi yayınlaması fikri de ortaya atıldı.
Kanonik OpenBSD de dahil olmak üzere kimse 2x/2y fikrini benimsemedi. Bu versiyon yalnızca crypt_blowfish ile sınırlı kaldı.
$ 2b $ (Şubat 2014)
Bcrypt’in OpenBSD uygulamasında bir hata tespit edildi. String uzunlukları unsigned char ("i.e." 8 bit Byte) olarak tutuluyordu. Eğer parola 255 karakterden uzunsa taşma meydana geldiği ve 255’te sınırlandığı görüldü.
BCrypt OpenBSD için oluşturulduğu için, bu kütüphanedeki hatadan sonra versiyon numarasının yükseltilmesine karar verildi.


## Algoritma.
Bcrypt algoritması “"OrpheanBeholderScryDoubt"” metninin Blowfish kullanılarak 64 defa şifrelenmesinin sonucudur. Bcrypt’te standart Blowfish anahtar hazırlama fonksiyonu, daha yavaş anahtar hazırlama fonksiyonuyla (EksBlowfishSetup) değiştirilmiştir:
 Function bcrypt
 Input:
 cost: Number (4..31) log2(Iterations). e.g. 12 ==> 212 = 4,096 iterations
 salt: array of Bytes (16 bytes) random salt
 password: array of Bytes (1..72 bytes) UTF-8 encoded password
 Output: 
 hash: array of Bytes (24 bytes)
 //Initialize Blowfish state with expensive key setup algorithm
 "state" EksBlowfishSetup("cost", "salt", "password") 
 //Repeatedly encrypt the text "OrpheanBeholderScryDoubt" 64 times
 "ctext" "OrpheanBeholderScryDoubt" //24 bytes ==> three 64-bit blocks
 repeat (64)
 "ctext" EncryptECB("state", "ctext") //encrypt using standard Blowfish in ECB mode
 //24-byte "ctext" is resulting password hash
 return Concatenate("cost", "salt", "ctext")


### Maliyetli anahtar oluşturma.
Bcrypt algoritması aşağıdaki mantıkta çalışan “Eksblowfish” anahtar hazırlama algoritmasına bağlıdır:
 Function EksBlowfishSetup
 Input:
 cost: Number (4..31) log2(Iterations). e.g. 12 ==> 212 = 4,096 iterations
 salt: array of Bytes (16 bytes) random salt
 password: array of Bytes (1..72 bytes) UTF-8 encoded password
 Output: 
 state: opaque BlowFish state structure
 "state" InitialState()
 "state" ExpandKey("state", "salt", "password")
 repeat (2"cost")
 "state" ExpandKey(state, 0, password)
 "state" ExpandKey(state, 0, salt)
 return "state"


### Expand Key.
ExpandKey fonksiyonu aşağıdaki işlemleri yapar:
 Function ExpandKey("state", "salt", "password")
 Input:
 state: Opaque BlowFish state structure Internally contains P-array and S-box entries
 salt: array of Bytes (16 bytes) random salt
 password: array of Bytes (1..72 bytes) UTF-8 encoded password
 Output: 
 state: opaque BlowFish state structure
 //Mix password into the internal P-array of "state"
 for "n" 1 to 18 do
 Pn Pn xor "password"[32(n-1)..32n-1] //treat the password as cyclic
 //Encrypt state using the lower 8 bytes of salt, and store the 8 byte result in P1|P2
 "block" Encrypt("state", "salt"[0..63])
 P1 "block"[0..31] //lower 32-bits
 P2 "block"[32..63] //upper 32-bits
 //Continue encrypting state with salt, and storing results in remaining P-array
 for "n" 2 to 9 do
 "block" Encrypt("state", "block" xor "salt"[64(n-1)..64n-1]) //encrypt using the current key schedule and treat the salt as cyclic
 P2n-1 "block"[0..31] //lower 32-bits
 P2n "block"[32..63] //upper 32-bits
 //Mix encrypted state into the internal S-boxes of "state"
 for "i" 1 to 4 do
 for "n" 0 to 127 do
 "block" Encrypt("state", "block" xor "salt"[64(n-1)..64n-1]) //as above
 Si[2n] "block"[0..31] //lower 32-bits
 Si[2n+1] "block"[32..63] //upper 32-bits
 return "state"
Böylelikle, tüm XOR'lar ve sıfır salt değerleri etkisiz olduğu için ExpandKey("state", 0, "key") standart Blowfish anahtar zamanlamasıyla aynıdır. ExpandKey("state", 0, "salt") için de benzer şeyler söylenebilir, fakat bu fonksiyon salt değerini 128 bit anahtar olarak kullanır.


## Kullanıcı girdisi.
Bcrypt'in birçok uygulaması OpenBSD'de olduğu gibi parolayı ilk 72 baytı kalacak şekilde kırpar.
Matematiksel algoritma ise 18 adet 32 bit alt anahtar ile (72 octet/byte'a eşdeğer) başlamaya hazır hale gelir. Bcrypt'in orijinal tanımlarında metin tabanlı şifreleri userland’den nümerik değerlere eşleştirmek için önerilen belirli bir metod yoktur. Metinde geçen kısa bir yorum string karakterlerini ASCII olarak şifreleyerek tutmaktan (zorunlu tutmaksızın) bahseder ve şöyle devam eder: “Sonuç olarak, buradaki anahtar argümanı, kullanıcı tarafından seçilen 56 byte’tan küçük(eğer anahtar ASCII string’i ise sonuçlandırma sıfır byte’ı da dahil olmak kaydıyla) bir gizli şifreleme anahtarıdır.
Bu alıntıda geçen “56 byte’tan küçük parolalar” ifadesi önemlidir (zira algoritma 72 byte'a kadar kullanıyor). Provos ve Mazières kısıtlamayla ilgili bir açıklama yapmıyor olsa da, Bruce Schneier’ın Blowfish’in orijinal tanımlamalarındaki ifadesini düşünerek hareket etmiş olabilirler: “Anahtar boyutundaki 448 [bit] limiti, her alt anahtarın her bitinin, anahtarın bir bitine bağlı olmasını sağlamaktadır.”
Bcrypt'in farklı uygulamaları birbirinden, parolaları nümerik değerlere ilk dönüştürmelerinde kullandıkları yöntem farklılıklarıyla ayrışmıştır.