Nieuwe blogpost is live: Circle FFT — Deel 1: Het bouwen van het Circle Domein Wiskunde in ZK wordt meestal gedaan in een eindig veld, wat een groep is onder optelling. Maar een speciale optimalisatie is om een cirkel te gebruiken als de groepsdomein. Een cirkel is een paar elementen (x, y) die voldoen aan x² + y² = 1 mod p. Dit artikel laat zien hoe die set van punten kan worden omgevormd tot een groep, terwijl het ook de eigenschappen heeft die nodig zijn om het FFT-algoritme (en bij uitbreiding, het STARK-algoritme) uit te voeren. Geschreven door @cabrio_yugo, die een subsidie heeft ontvangen van zkBankai om dit werk te creëren. Link in de reactie