新しいブログ記事がアップされています: サークル FFT — パート 1: サークル ドメインの構築 ZKの数学は通常、加算対象のグループである有限体で行われます。 ただし、特別な最適化は、グループドメインとして円を使用することです。 円は、x² + y² = 1 mod p を満たす要素 (x, y) のペアです。 この記事では、その点のセットをグループに変換しながら、FFTアルゴリズム(ひいてはSTARKアルゴリズム)を実行するために必要なプロパティを持つ方法を示します。 この作品を作成するためにzkBankaiから助成金を受けた@cabrio_yugoによって執筆されました。 返信内のリンク