Circle STARKs'ı Keşfedin

Son yıllarda, STARKs protokol tasarımının eğilimi daha küçük alanlar kullanmaya yönelmiştir. STARKs'ın ilk 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ılmasının bir sorunu, yalnızca yaklaşık 2 milyar olası rastgele değerin seçilebilir olmasıdır; bu, sahte kanıtlar oluşturmak isteyen saldırganlar için mümkündür. Çözümler arasında birden fazla rastgele kontrol yapma veya alanı genişletme yer alır.

Circle STARKs, Mersenne31 gibi küçük alanlarda verimli FRI uygulamanın bir yolunu sunar. Bu, daire üzerindeki noktaların özel özelliklerinden yararlanarak, p büyüklüğünde bir grup oluşturur ve benzer ikili eşleme özelliklerine sahiptir.

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

• Tek bir sayı yerine daire üzerindeki noktaları kullanarak hesaplama yapın.
• Veri kümesi boyutunu azaltmak için özel ikiye bir eşleme
• Daire FFT algoritması Riemann-Roch uzayını işler
• Geliştirilmiş ticari hesaplama ve kaybolan çok terimli yapı
• Değiştirilmiş ters Bitcoin sıralaması

Geleneksel STARK'lara kıyasla, Circle STARK'lar kavramsal olarak çok karmaşık değildir. Geliştiricilere küçük alanlarda verimli STARK'lar inşa etme imkanı sunarak, STARK'ların temel katman verimliliğini en üst düzeye çıkarmayı umuyor.

Gelecekte STARKs'ın optimize edilmesinin odak noktaları şunlar olabilir:

• Hash fonksiyonları gibi temel kriptografik primitiflerin aritmetik verimliliğini maksimize etmek
• Paralelliği artırmak için özyinelemeli yapı kullanımı
• Geliştirici deneyimini artırmak için sanal makinenin aritmetiğini iyileştirin.

Circle STARKs, STARK teknolojisinin önemli bir ilerlemesini temsil eder; küçük alanlarda verimli sıfır bilgi kanıtı sistemleri inşa etmek için yeni olanaklar sunar.