Schnorr и MuSig2 под прицелом: формальный анализ скрытых нонсов и структур подписей

Исследование ставит под сомнение восприятие подписей Schnorr и MuSig2 как «чёрных ящиков», предлагая вместо этого строгий математический анализ их наблюдаемых внутренних структур. Фокус работы — формальная модель, которая позволяет рассматривать подписи не как непрозрачные данные, а как систему с определёнными математическими свойствами. Ключевыми элементами анализа становятся строгий BIP340 membership bridge, аффинное представление скрытых нонсов (nonce) и метрики сжатия и связности (compression/connectivity).

В статье детально разбирается protocol-valid аффинная линеаризация частичных подписей MuSig2. Автор подчёркивает, что работа не претендует на «магический взлом» или сенсационные открытия. Её цель — аккуратный и доказательный разбор артефактов, которые можно формально вывести и подтвердить на практике. Это исследование смещает акцент с поиска уязвимостей на глубокое понимание фундаментальных криптографических примитивов, лежащих в основе современных протоколов, таких как Bitcoin.

Такой формальный подход создаёт основу для более тонкого аудита безопасности и потенциально выявляет области для дальнейшего изучения или уточнения спецификаций. Работа представляет ценность для криптографов, разработчиков протоколов и аудиторов безопасности, стремящихся выйти за рамки поверхностного тестирования и понять внутреннюю логику и возможные граничные условия в реализации Schnorr и MuSig2.