新的部落格文章已經發佈： Circle FFT — 第 1 部分：構建 Circle 域 ZK 中的數學通常是在有限域中完成的，該有限域是一組加法。 但是一個特殊的優化是使用一個圓作為組域。 圓是一對滿足 x² + y² = 1 mod p 的元素 （x， y）。 本文展示了如何將這組點轉換為一個組，同時還具有執行 FFT 演算法（以及擴展的 STARK 演算法）所需的屬性。 由 @cabrio_yugo 撰寫，他獲得了 zkBankai 的資助來創作這項工作。 回復中的連結