Un nouvel article de blog est en ligne : Circle FFT — Partie 1 : Construire le domaine circulaire Les mathématiques en ZK se font généralement dans un corps fini, qui est un groupe sous addition. Mais une optimisation spéciale consiste à utiliser un cercle comme domaine de groupe. Un cercle est une paire d'éléments (x, y) qui satisfont x² + y² = 1 mod p. Cet article montre comment cet ensemble de points peut être transformé en un groupe tout en ayant également les propriétés nécessaires pour exécuter l'algorithme FFT (et par extension, l'algorithme STARK). Rédigé par @cabrio_yugo, qui a reçu une subvention de zkBankai pour créer ce travail. Lien dans la réponse.