>> И это не желтая газета, а математический факт.
> Математический факт, что 2*2 = 4 автоматически доказывает наличие бэкдора в алгоритме
> X.

Математический факт, что авторы в важных вопросах врут. А именно, что параметры в S-box в алгоритме Кузнечика НЕ СЛУЧАЙНЫЕ, вопреки заявлениям авторов, которые продолжили уверять про случайность даже когда их носом в доказательство ткнули. Доказательство https://eprint.iacr.org/2016/071.pdf

Соглашусь, что формалистично говоря, наличие бекдора это не доказывает. Но вносит настолько серьезные сомнения в их отсутствие, что люди не захотели стандартизировать ТАКОЕ.  Потому что это не суд, который что-то там присуждает, а выбор людей кому(чему) доверять или не доверять и объект доверия должен быть чистым.