Nuevo post en el blog: Circle FFT — Parte 1: Construyendo el Dominio Circular Las matemáticas en ZK generalmente se realizan en un campo finito, que es un grupo bajo la adición. Pero una optimización especial es usar un círculo como el dominio del 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 puede convertirse en un grupo mientras también tiene las propiedades necesarias para llevar a cabo el algoritmo FFT (y por extensión, el algoritmo STARK). Escrito por @cabrio_yugo, quien recibió una subvención de zkBankai para crear este trabajo. Enlace en la respuesta
5,02K