新博客文章已發佈： 循環群的基本定理 ZK 算法通常在有限域中的一組點上評估多項式，這些點形成一個乘法子群。 該乘法子群中的元素數量通常是 2 的整數次冪。 循環群的基本定理告訴我們一個特定的有限域是否有一個元素數量為 2 的冪的子群——它還告訴我們如何找到該子群。