新博客文章已发布： 循环群的基本定理 ZK 算法通常在有限域中的一组点上评估多项式，这些点形成一个乘法子群。 该乘法子群中的元素数量通常是 2 的整数次幂。 循环群的基本定理告诉我们一个特定的有限域是否有一个元素数量为 2 的幂的子群——它还告诉我们如何找到该子群。