Представьте, что вам нужно сравнить два файла на идентичность. Файлы по четыре гигабайта и лежат на разных концах планеты. Гонять их туда-сюда — безумие, дешевле посчитать от каждого короткий отпечаток и сравнить отпечатки. Вот только у этой простой идеи есть подвох: отпечаток должен обладать очень конкретными свойствами, иначе злоумышленник подделает его за пару минут. nn О самих свойствах — стойкости к коллизиям, к восстановлению прообраза, к подделке второго прообраза — шла речь в первой части...

Томас Дюбдаль Але, исследователь из Normal Computing, 19 сентября выложил разбор 45 вариантов быстрых хеш-функций из проекта SMhasher, на котором авторы хешей проверяют статистическое качество своего кода. Разбор он делал с помощью Claude Fable. Дословно из текста: «Fable нашёл, что у большинства из них есть входы, на которых они работают ужасно — минимум на 20 бит ниже ожидаемого. У нескольких хешей есть опубликованные доказательства, и Fable сумел найти в некоторых ошибки, а другие проверить в Lean»...