新博客文章已发布： Circle FFT — 第1部分：构建圆域 在零知识证明中，数学通常是在有限域中进行的，这是一个加法群。 但一种特殊的优化是使用圆作为群域。 一个圆是满足 x² + y² = 1 mod p 的一对元素 (x, y)。 本文展示了如何将这一组点转化为一个群，同时具备执行 FFT 算法（以及扩展的 STARK 算法）所需的属性。 作者 @cabrio_yugo，获得了 zkBankai 的资助以创作此作品。 链接在回复中