дополнительные биты

Некорректно. Даже сложные академические курсы по крипто начинаются с этого, как исторический экскурс хотя бы.

Никто не возражает, но это вопрос терминологии. Называние такого "шифрованием" вызывает путаницу, т.к. по умолчанию (особенно в широких кругах) шифрованием принято называть очень узкий класс так называемого "стойкого крипто", причём есть определённые критерии стойкости. А примитивы из комбинаторики/кодирования скорее именно что абстрактные математические функции, но когда речь идёт о крипто – имеется в виду не абстрактная математика, а вполне себе прикладная область с кучей своих практических требование, иначе получаем "информационную безопасность сферического криптографа в вакууме".

Это просто предосновы, чтобы понимать, как всё устроено. Кодирование — это грубо говоря обратимая y = F(x), а при подстановках очевидно и биективная. Добавляем ключ K и превращаем y = F(x, K) и можно давать определение идеального шифра.

Иначе Голдрейх, Голдвассер, Миккали заплачут кровавыми слезами, потому без их сферических абстрактных псевдослучайных функций, которые сначала учат считать для множества в несколько битов на бумажке, не обходится конструирование ни одного хэша к примеру.

[offtop]
unknown, вы бы могли просветить, как пишете формулы в тексте? Я вижу, что они курсивом – это мануально выделяется, или есть тег формулы? Помню, ещё давно обсуждали про это в контексте движка, но пришли к выводу, что единственный надёжный способ с нормальным функционалом – через вставку картинок со стороннего сайта.
[/offtop]

[offtop]
Мануально выделяется, поддержки формул в движке нет, а вставка кучи мелких картинок в коменты неудобна. И с точки зрения редактирования на другом сайте, и с точки зрения того, что у параноидальных пользователей отображение картинок с посторонних доменов может быть выключено.
[/offtop]