BCrypt говорит, что длинные пароли одинаковы - проблема со мной, самоцветом или областью криптографии?

Question

Я экспериментировал с BCrypt и обнаружил следующее. Если это имеет значение, я использую ruby ​​1.9.2dev (транк 27-047, 2010-04-30) [i686-linux]

require 'bcrypt' # bcrypt-ruby gem, version 2.1.2

@long_string_1 = 'f287ed6548e91475d06688b481ae8612fa060b2d402fdde8f79b7d0181d6a27d8feede46b833ecd9633b10824259ebac13b077efb7c24563fce0000670834215'
@long_string_2 = 'f6ebeea9b99bcae4340670360674482773a12fd5ef5e94c7db0a42800813d2587063b70660294736fded10217d80ce7d3b27c568a1237e2ca1fecbf40be5eab8'

def salted(string)
  @long_string_1 + string + @long_string_2
end

encrypted_password = BCrypt::Password.create(salted('password'), :cost => 10)
puts encrypted_password #=> $2a$10$kNMF/ku6VEAfLFEZKJ.ZC.zcMYUzvOQ6Dzi6ZX1UIVPUh5zr53yEu

password = BCrypt::Password.new(encrypted_password)

puts password.is_password?(salted('password')) #=> true
puts password.is_password?(salted('passward')) #=> true
puts password.is_password?(salted('75747373')) #=> true
puts password.is_password?(salted('passwor')) #=> false

Сначала я подумал, что как только пароли получат определенную длину, различия будут просто потеряны во всем хешировании, и только если они будут очень разными (то есть разной длины), они будут признаны различными. Из того, что я знаю о хэш-функциях, мне это казалось не очень правдоподобным, но лучшего объяснения я не увидел.

Затем я попытался укоротить каждую из длинных строк, чтобы увидеть, где BCrypt начнет различать их, и обнаружил, что если я укоротил каждую из длинных строк до 100 символов или около того, последняя попытка («passwor») ) также начал бы возвращать истину. Так что теперь я не знаю, что и думать.

Чем это объясняется?

Answer 1

Хорошие новости в том, что математические основы шифрования не были уничтожены.:)

Плохая новость заключается в том, что в bcrypt.c существует ограничение длины ключа 8-бит *, которое молча терпит неудачу:

uint8_t key_len, salt_len, logr, minor;

Позже:

key_len = strlen(key) + (minor >= 'a' ? 1 : 0);

То, что вы передаете для шифрования, - это 263 символа, но в итоге вы думаете, что это всего лишь 8. Таким образом, вы получаете сравнения только в самой первой части строк.

Тем не менее, для меня это работает нормально, когда я сокращаю длину long_string с, так что если у вас действительно возникает проблема в диапазоне до 255, которая может быть связана с чем-то другим.

Answer 2

P-массив Blowfish состоит из 18 4-байтовых целых чисел. BCrypt XORs этот массив по паролю + null, затем повторяет процедуру до конца. Скажем, мой пароль был 12345, он будет XOR P-массив на 12345 (ноль) 12345 (ноль) 12345 (ноль) и т. Д.

Полное описание EksBlowfish: здесь . Короткая версия: BCrypt использует только первые 72 байта.