Neuer Blogbeitrag ist online: Circle FFT – Teil 1: Den Circle-Domain aufbauen Mathematik in ZK wird normalerweise in einem endlichen Feld durchgeführt, das eine Gruppe unter Addition ist. Eine spezielle Optimierung besteht darin, einen Kreis als Gruppendomain zu verwenden. Ein Kreis ist ein Paar von Elementen (x, y), das die Gleichung x² + y² = 1 mod p erfüllt. Dieser Artikel zeigt, wie diese Menge von Punkten in eine Gruppe umgewandelt werden kann, während auch die Eigenschaften vorhanden sind, die benötigt werden, um den FFT-Algorithmus (und damit den STARK-Algorithmus) durchzuführen. Verfasst von @cabrio_yugo, der einen Zuschuss von zkBankai erhalten hat, um diese Arbeit zu erstellen. Link in der Antwort