Nový příspěvek na blogu: Circle FFT — Část 1: Budování domény Circle Matematika v ZK se obvykle provádí v konečném oboru, což je grupa pod sčítáním. Zvláštní optimalizací je však použití kruhu jako skupinové domény. Kruh je dvojice prvků (x, y), které splňují x² + y² = 1 mod p. Tento článek ukazuje, jak lze tuto sadu bodů převést na skupinu a zároveň mít vlastnosti potřebné k provedení algoritmu FFT (a potažmo algoritmu STARK). Autorem je @cabrio_yugo, který na vytvoření tohoto díla získal grant od zkBankai. Odkaz v odpovědi