Nova postagem no blog está no ar: FFT do Círculo — Parte 1: Construindo o Domínio do Círculo A matemática em ZK geralmente é feita em um campo finito, que é um grupo sob adição. Mas uma otimização especial é usar um círculo como domínio de grupo. Um círculo é um par de elementos (x, y) que satisfazem x² + y² = 1 mod p. Este artigo mostra como esse conjunto de pontos pode ser transformado em um grupo e, ao mesmo tempo, ter as propriedades necessárias para realizar o algoritmo FFT (e, por extensão, o algoritmo STARK). De autoria de @cabrio_yugo, que recebeu uma bolsa do zkBankai para criar este trabalho. Link na resposta