Circle STARKs'ı Keşfedin

Son yıllarda, STARKs protokol tasarımındaki eğilim daha küçük alanlar kullanmaya doğru kayıyor. En erken STARKs uygulamaları 256 bit alan kullanıyordu, ancak bu tasarımın verimliliği düşük. Verimliliği artırmak için, STARKs daha küçük alanlar kullanmaya başladı, örneğin Goldilocks, Mersenne31 ve BabyBear.

Küçük alanların kullanımı, kanıt hızını önemli ölçüde artırabilir. Örneğin, Starkware M3 dizüstü bilgisayarda her saniye 620.000 Poseidon2 hash'ini kanıtlayabilir. Ancak, küçük alanlar sınırlı değer alanında yeterli rastgelelik sağlama gibi bazı zorluklar da getirmektedir.

Bu problemi çözmek için, birden fazla rastgele kontrol veya genişletilmiş alan yöntemleri kullanılabilir. Genişletilmiş alan, çoğul gibi olup, α'nın değeri belirli bir değere eşit olacak şekilde α^2'yi yeni bir değer olarak tanıtarak daha karmaşık matematiksel yapılar oluşturur.

Circle STARKs, Mersenne31 gibi küçük alanlarda FRI protokolünü verimli bir şekilde uygulamak için ustaca bir çözümdür. Benzer ikiye bir haritalama özelliklerine sahip özel bir dairesel grup yapısı kullanır. Bu yapı, küçük alanlarda verimli çok terimli azaltmalara olanak tanır.

Circle STARKs benzer FFT işlemlerini destekler, ancak Riemann-Roch alanını işler, katı polinom yerine. Bu, bölme işlemi ve yok olma polinomunun yapılandırma şekli gibi bazı ayrıntılarda farklılıklar getirir.

Genel olarak, Circle STARKs, geliştiricilere altındaki matematiksel ayrıntılara fazla dikkat etmeden küçük alanlarda verimli STARK'lar oluşturma imkanı sunar. Küçük alanların hesaplama verimliliği ve yeterli güvenliği birleştirerek, umut verici bir STARK optimizasyon yönüdür.

Gelecekteki STARK optimizasyonu, şunlara odaklanabilir: 1) temel kriptografik ilkelere yönelik aritmetik optimizasyon; 2) paralellik artırmak için özyinelemeli yapıların geliştirilmesi; 3) geliştirici deneyimini artırmak için sanal makinenin aritmetik optimizasyonu. STARK temel katman verimliliği sınırına yaklaşmaktayız, gelecekteki optimizasyonlar bu yönlere daha fazla odaklanacaktır.