Circle STARKs'ı Keşfet

Son yıllarda, STARKs protokol tasarımında daha küçük matematiksel alanlar kullanma eğilimi ortaya çıkmıştır. İlk STARKs uygulamaları 256 bit alan kullanıyordu, ancak bu tasarımın verimliliği düşüktü. Kanıt hızını artırmak için, STARKs Goldilocks, Mersenne31 ve BabyBear gibi daha küçük alanlar kullanmaya başladı.

Küçük alanların kullanımı, kanıt hızını büyük ölçüde artırabilir, ancak bazı güvenlik zorluklarını da beraberinde getirir. Ana sorun, küçük alanlarda seçilebilecek rastgele değerlerin az olması ve bu değerlerin saldırganlar tarafından tahmin edilmesinin kolay olmasıdır. Bu sorunu çözmek için iki çözüm vardır: birden fazla rastgele kontrol yapmak veya genişletilmiş alanlar kullanmak.

Circle STARKs, Mersenne31 alanında verimli bir FRI protokolü uygulayan, zekice bir çözümdür. Circle STARKs, dairesel grupların geometrik özelliklerinden yararlanarak, olağan FRI'ye benzer bir kanıtlama sistemi inşa etmiştir.

Circle STARKs'ın ana noktaları şunlardır:

1. Geleneksel FRI'deki kare eşlemenin yerine dairesel grup üzerindeki çift yönlü eşlemeyi kullanın.
2. Çok terimli ifadeyi tek boyutlu bir alanda işlemek için sıkıştırın
3. Özel bir Circle FFT algoritması tasarlandı
4. Farklı ticari işlem ve kaybolan çok terim yapım yöntemleri kullanmak
5. Değiştirilmiş ters sıralama kullanın

Geleneksel STARK'lara kıyasla, Circle STARK'lar kavramsal olarak çok daha karmaşık değildir. Arkasındaki karmaşık matematiği gizler, geliştiriciler bunu geleneksel STARK'lar gibi kullanabilir.

Circle STARKs, Mersenne31 alanı ile birleştirildiğinde, çok verimli bir kanıt sistemi gerçekleştirebilir. 31 bit asal sayı alanının avantajlarını tam olarak kullanarak, alan israfını azaltır.

Gelecekte STARKs'ın optimizasyon yönleri şunları içerebilir:

• Hash fonksiyonları gibi temel şifreleme ilkelere yönelik aritmetik optimizasyon
• Paralelliği artırmak için özyinelemeli yapı kullanın
• Geliştirme deneyimini artırmak için sanal makinenin aritmetiğini iyileştirin

Circle STARKs, daha hızlı ve daha pratik sıfır bilgi kanıtı sistemleri inşa etmek için yeni bir yaklaşım sunan, yetenekli ve verimli bir STARK varyantıdır.