Circle STARKs'ı Keşfedin

Son yıllarda, STARKs protokol tasarımında daha küçük alanların kullanılmasına doğru bir eğilim var. İlk STARKs uygulamaları 256 bit alan kullanıyordu, ancak bu tasarımın verimliliği düşüktü. Verimliliği artırmak için, STARKs Goldilocks, Mersenne31 ve BabyBear gibi daha küçük alanlar kullanmaya başladı.

Küçük alanların kullanımı bazı zorluklar getirdi, örneğin yetersiz rastgelelik sorunu. Bu sorunu çözmek için iki seçenek var: birden fazla rastgele kontrol yapmak veya alanı genişletmek. Alanı genişletmek, sınırlı alanlara dayalı olarak çokluluk gibidir.

Circle STARKs, akıllı bir çözümdür. Verilen bir asal sayı p için, p büyüklüğünde ve ikiye bir özelliğine sahip bir grup bulunabilir. Bu grup, belirli koşulları sağlayan noktaların kümesinden oluşur; örneğin, x^2 mod p'nin belirli bir değere eşit olduğu noktalar kümesi.

Circle STARKs, Circle FFT adı verilen özel bir FFT kullanır. İşlenen nesneler katı polinomlar değil, Riemann-Roch alanıdır. Geliştiricilerin belirli detayları anlaması gerekmez, sadece polinomu değerlendirme değerleri kümesi olarak işlemeleri yeterlidir.

Circle STARKs'ı gerçekleştirirken, aşağıdaki noktaları dikkate almak gerekir:

1. Ticari işlemler iki noktada değerlendirilmelidir.
2. Kaybolan polinomların inşa yöntemleri farklıdır.
3. Değerlendirme sırası özel ters bit sırası kullanır

Circle STARKs, 31 bit asal alanlarda son derece etkilidir. Büyük alan SNARK'larına kıyasla, hesaplama alanını daha iyi kullanabilir. Binius bazı yönlerde daha üst düzey olsa da, Circle STARKs konsepti daha basittir.

Gelecekte STARK optimizasyonu aşağıdaki konulara odaklanabilir:

• Kriptografik temel öğelerin verimli aritmetiği
• Paralelliği artırmak için özyinelemeli yapı
• Geliştirme deneyimini iyileştirmek için aritmetik sanal makine

Genel olarak, Circle STARKs, basit bir konsepte sahip ancak etkili bir STARK uygulama çözümüdür ve daha fazla keşfedilmeye ve uygulanmaya değerdir.