Nytt blogginlägg är uppe: Circle FFT - Del 1: Att bygga cirkeldomänen Matematik i ZK görs vanligtvis i en ändlig kropp, som är en grupp under addition. Men en speciell optimering är att använda en cirkel som gruppdomän. En cirkel är ett par element (x, y) som uppfyller x² + y² = 1 mod p. Den här artikeln visar hur den uppsättningen punkter kan omvandlas till en grupp samtidigt som den har de egenskaper som behövs för att utföra FFT-algoritmen (och i förlängningen STARK-algoritmen). Författad av @cabrio_yugo, som fick ett bidrag från zkBankai för att skapa detta verk. Länk i svaret