Криптостойкость хеш функций «на пальцах» или зачем нужна математика программисту

Инъективность - это хотя бы один элемент из множества H является отображением более одного элемента из множества P.

Такое определение никак нельзя давать в статьях. Ни с точки зрения русского языка, ни с точки зрения математики (которая так нужна программистам).

Как я проходил отбор на стажировку бекэнд — разработчиком (C++) в Яндекс по программе Deep Dive (в формате буткемпа)

В цикле возможна проблема из-за int и size_t. Потенциально это UB, если размер строки будет равен значению, которое не может быть хранимо в int. В этом случае произойдет переполнение переменной i и как следствие (для знаковых целых) UB.