Nuovo post sul blog: Circle FFT — Parte 1: Costruire il dominio del cerchio La matematica in ZK è solitamente eseguita in un campo finito, che è un gruppo sotto addizione. Ma un'ottimizzazione speciale è utilizzare un cerchio come dominio del gruppo. Un cerchio è una coppia di elementi (x, y) che soddisfano x² + y² = 1 mod p. Questo articolo mostra come quell'insieme di punti possa essere trasformato in un gruppo, mantenendo anche le proprietà necessarie per eseguire l'algoritmo FFT (e per estensione, l'algoritmo STARK). Scritto da @cabrio_yugo, che ha ricevuto un finanziamento da zkBankai per creare questo lavoro. Link nella risposta