Novo post no blog está disponível: Circle FFT — 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 o domínio do grupo. Um círculo é um par de elementos (x, y) que satisfaz x² + y² = 1 mod p. Este artigo mostra como esse conjunto de pontos pode ser transformado em um grupo, enquanto também possui as propriedades necessárias para executar o algoritmo FFT (e, por extensão, o algoritmo STARK). Escrito por @cabrio_yugo, que recebeu uma bolsa da zkBankai para criar este trabalho. Link na resposta