Новая запись в блоге: Основная теорема циклических групп Алгоритмы ZK очень часто оценивают многочлены по набору точек в конечном поле, которые образуют мультипликативную подгруппу. Количество элементов в этой мультипликативной подгруппе обычно является целой степенью 2. Основная теорема циклических групп говорит нам, есть ли у данного конечного поля подгруппа с количеством элементов, являющимся степенью двойки, или нет — и также говорит, как найти эту подгруппу.