Nytt blogginnlegg er oppe: Circle FFT — Del 1: Bygge sirkeldomenet Matematikk i ZK gjøres vanligvis i et endelig felt, som er en gruppe under addisjon. Men en spesiell optimalisering er å bruke en sirkel som gruppedomene. En sirkel er et par elementer (x, y) som tilfredsstiller x² + y² = 1 mod p. Denne artikkelen viser hvordan dette settet med punkter kan gjøres om til en gruppe samtidig som det har egenskapene som trengs for å utføre FFT-algoritmen (og i forlengelsen av STARK-algoritmen). Forfattet av @cabrio_yugo, som mottok et stipend fra zkBankai for å lage dette verket. Lenke i svaret