Нова публікація в блозі опублікована: Circle FFT — Частина 1: Побудова домену Circle Математика в ЗК зазвичай виконується в скінченному полі, яке є групою при додаванні. Але особлива оптимізація полягає у використанні кола як домену групи. Коло - це пара елементів (x, y), які задовольняють x² + y² = 1 mod p. У цій статті показано, як цей набір точок може бути перетворений на групу, а також має властивості, необхідні для виконання алгоритму FFT (і, відповідно, алгоритму STARK). Автор – @cabrio_yugo, який отримав грант від zkBankai на створення цієї роботи. Посилання у відповіді