Новая запись в блоге: Circle FFT — Часть 1: Создание окружности домена Математика в ZK обычно выполняется в конечном поле, которое является группой по сложению. Но специальная оптимизация заключается в использовании окружности в качестве домена группы. Окружность — это пара элементов (x, y), которые удовлетворяют x² + y² = 1 mod p. В этой статье показано, как этот набор точек можно превратить в группу, обладая при этом свойствами, необходимыми для выполнения алгоритма FFT (и, следовательно, алгоритма STARK). Автор @cabrio_yugo, который получил грант от zkBankai на создание этой работы. Ссылка в ответе