Ya está disponible una nueva entrada en el blog: Circle FFT — Parte 1: Construyendo el Dominio Circle Las matemáticas en ZK generalmente se realizan en un campo finito, que es un grupo bajo adición. Pero una optimización especial es usar un círculo como dominio de grupo. Un círculo es un par de elementos (x, y) que satisfacen x² + y² = 1 mod p. Este artículo muestra cómo ese conjunto de puntos se puede convertir en un grupo y, al mismo tiempo, tener las propiedades necesarias para llevar a cabo el algoritmo FFT (y, por extensión, el algoritmo STARK). Escrito por @cabrio_yugo, quien recibió una beca de zkBankai para crear este trabajo. Enlace en la respuesta