Posting blog baru muncul: Lingkaran FFT — Bagian 1: Membangun Domain Lingkaran Matematika di ZK biasanya dilakukan dalam bidang terbatas, yang merupakan kelompok yang ditambahkan. Tetapi pengoptimalan khusus adalah menggunakan lingkaran sebagai domain grup. Lingkaran adalah sepasang elemen (x, y) yang memenuhi x² + y² = 1 mod p. Artikel ini menunjukkan bagaimana kumpulan titik tersebut dapat diubah menjadi grup sambil juga memiliki properti yang diperlukan untuk melaksanakan algoritma FFT (dan dengan ekstensi, algoritma STARK). Ditulis oleh @cabrio_yugo, yang menerima hibah dari zkBankai untuk membuat karya ini. Tautan di balasan