Nowy post na blogu jest dostępny: Circle FFT — Część 1: Budowanie domeny okręgu Matematyka w ZK zazwyczaj odbywa się w skończonym polu, które jest grupą pod względem dodawania. Jednak specjalną optymalizacją jest użycie okręgu jako domeny grupy. Okrąg to para elementów (x, y), które spełniają x² + y² = 1 mod p. Ten artykuł pokazuje, jak ten zbiór punktów można przekształcić w grupę, mając jednocześnie właściwości potrzebne do przeprowadzenia algorytmu FFT (a przez to algorytmu STARK). Autor: @cabrio_yugo, który otrzymał dotację od zkBankai na stworzenie tej pracy. Link w odpowiedzi
5,02K