Аннотация:В работе предлагается алгоритм, которыйпо входу задачи криптоаналитика поиска секретных ключей схемы электронно-цифровой подписи pqsigRM строитэквивалентный ему вход задачи ВЫПОЛНИМОСТИ КНФ.Доказано, что этот алгоритм является полиномиальным.Приводятся теоретические оценки параметров полученнойКНФ – длины и количества входящих в нее переменных. Входе исследования была предложена практическая реализация на Python алгоритма сводимости, то есть алгоритмсоздания соответствующей КНФ в DIMACS формате длялюбых параметров r, m схемы pqsigRM. В работе приводятся результаты экспериментов запуска этой реализации на некоторых параметрах схемы и результаты экспериментовпо решению задачи выполнимости полученных КНФ длянекоторых параметров r, m изначальной задачи криптоаналитика, различными SAT-решателями с открытым исходным кодом - победителями и призерами конкурса SATCompetition 2018, SAT Race 2019, а также более ранними версиями, которые были использованы ранее для криптоанализа системы Мак-Элиса. Описаны параметры схемы ЭЦП pqsigRM, для которых атака применима, т.е. можно подобрать секретные ключи.