新しいブログ投稿が公開されました。 循環群の基本定理 ZKアルゴリズムは、乗法部分群を形成する有限場内の一連の点の多項式を非常に頻繁に評価します。 その乗法部分群の要素の数は、通常、2の整数乗です。 循環群の基本定理は、特定の有限場に要素数が 2 の累乗を持つ部分群があるかどうかを示し、その部分群を見つける方法も教えてくれます。