Secure formation of public parameters and elimination of vulnerabilities of zero-knowledge succint non-interactive arguments of knowledge

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