O nouă postare pe blog a apărut: Circle FFT — Partea 1: Construirea domeniului Circle Matematica în ZK se face de obicei într-un câmp finit, care este un grup în adunare. Dar o optimizare specială este utilizarea unui cerc ca domeniu de grup. Un cerc este o pereche de elemente (x, y) care satisfac x² + y² = 1 mod p. Acest articol arată cum acel set de puncte poate fi transformat într-un grup, având în același timp proprietățile necesare pentru a realiza algoritmul FFT (și, prin extensie, algoritmul STARK). Scris de @cabrio_yugo, care a primit un grant de la zkBankai pentru a crea această lucrare. Link în răspuns
5,03K