Продолжение, про Path lvl 5 -- мета-мета-методологии криптографической безопасности и хакерства.
(тут начинается Даркнет, номерные радиостанции, Перевал, Void, Random Numbers, Зеркала, и наконец Тихий дом :)

Пятый уровень абстракции в HoTT -- это фундаментальное противостояние между системами защиты и методами их преодоления (сама эволюция криптографии).

1. Формально-математический подход к безопасности (и взлому)
Строгие математические доказательства безопасности (решетки, эллиптические кривые, изогении...)
Системы с доказуемой защитой от определённых классов атак
Квантово-устойчивые схемы на основе сложности решения задач (в дискретных аддитивных подгруппах...)

2. Эвристический подход
Побочные каналы (время, энергопотребление, звук)
AI ML для анализа уязвимостей
Практические ошибки в реализации вместо теоретических слабостей
Cоциальная инженерия + технические методы взлома

Путь пятого уровня описывает преобразование между этими противоположными метаподходами:
- формальные доказательства + практические аспекты безопасности
- адаптивные системы защиты, обучающиеся на реальных атаках
- формализация интеграции чисто математических и эвристических методов
- трансляция неформальных эвристик взлома в строгие математические модели

Например, однажды хакеры заметили, что время выполнения операций с секретными ключами зависит от значений битов ключа. Эта эвристика была преобразована в строгую математическую модель side-channel attacks, включающую как вероятностные модели зависимости времени выполнения от значений ключа, так и формальные доказательства (не)эффективности атак в рамках теории информации (криптография с постоянным временем выполнения...).

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

Но таких случаев в криптографии от практики к теории - единицы, потому что поиск таких крайне слабых связей на практике -- процесс крайние ресурсоёмкий.
И вот следующий Path level 6 позволяет формализовать этот поиск и, соответственно, находить наиболее оптимальные алгоритмы...