Son yıllarda, STARKs protokol tasarımında daha küçük alanlar kullanma eğilimi artmıştır. İlk STARKs uygulamaları 256 bitlik alanlar 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 rastgele seçim aralığı küçüldü. İki çözüm var: çoklu rastgele kontrol veya alanı genişletme. Alanı genişletmek, sınırlı alanlara dayalı olarak karmaşık olanı andırıyor.
Circle STARKs, p asalında p boyutunda, ikiye bir özellik taşıyan bir grup bulmak için zekice bir yöntem önerdi. Bu grup, belirli koşulları karşılayan noktaların birleşiminden oluşur ve bir toplama kuralına uyar.
Daire STARKs FFT'yi destekler, ancak işlenen nesne katı çok terimli değil, Riemann-Roch alanıdır. Geliştirici olarak, bu noktayı neredeyse göz ardı edebilirsiniz, sadece çok terimleri değerlendirme değeri kümesi olarak depolamanız yeterlidir.
Ticari hesaplamalar, kaybolan çok terimli denklemler, ters bit sıralaması gibi konularda, Circle STARKs ile geleneksel STARKs arasında bazı farklılıklar vardır, bu nedenle farklı teknikler kullanmak gerekir.
Circle STARKs, 31 bit asal sayılar üzerinde son derece etkilidir. Büyük alan SNARKs ile karşılaştırıldığında, hesaplama alanından tam anlamıyla faydalanır. Binius bazı yönlerde daha üstün olsa da, Circle STARKs kavramı daha basittir.
Geliştiriciler için, Circle STARK'lar, normal STARK'lardan çok daha karmaşık değildir. Circle FRI ve FFT'leri anlamak, diğer özel FFT'leri anlamaya da yardımcı olur.
Gelecekte STARKs optimizasyonu şu alanlara odaklanabilir:
Hash fonksiyonları ve diğer temel kriptografik ilkelere optimizasyon
Paralelliği artırmak için yinelemeli yapı
Geliştirici deneyimini artırmak için sanal makineyi iyileştirin
Genel olarak, Circle STARKs, basitliği korurken verimliliği artıran ilginç bir STARKs varyantıdır.
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Circle STARKs: Verimliliği Artıran Yeni STARKs Varyantlarının İncelenmesi
Circle STARKs'ı Keşfet
Son yıllarda, STARKs protokol tasarımında daha küçük alanlar kullanma eğilimi artmıştır. İlk STARKs uygulamaları 256 bitlik alanlar 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 rastgele seçim aralığı küçüldü. İki çözüm var: çoklu rastgele kontrol veya alanı genişletme. Alanı genişletmek, sınırlı alanlara dayalı olarak karmaşık olanı andırıyor.
Circle STARKs, p asalında p boyutunda, ikiye bir özellik taşıyan bir grup bulmak için zekice bir yöntem önerdi. Bu grup, belirli koşulları karşılayan noktaların birleşiminden oluşur ve bir toplama kuralına uyar.
Daire STARKs FFT'yi destekler, ancak işlenen nesne katı çok terimli değil, Riemann-Roch alanıdır. Geliştirici olarak, bu noktayı neredeyse göz ardı edebilirsiniz, sadece çok terimleri değerlendirme değeri kümesi olarak depolamanız yeterlidir.
Ticari hesaplamalar, kaybolan çok terimli denklemler, ters bit sıralaması gibi konularda, Circle STARKs ile geleneksel STARKs arasında bazı farklılıklar vardır, bu nedenle farklı teknikler kullanmak gerekir.
Circle STARKs, 31 bit asal sayılar üzerinde son derece etkilidir. Büyük alan SNARKs ile karşılaştırıldığında, hesaplama alanından tam anlamıyla faydalanır. Binius bazı yönlerde daha üstün olsa da, Circle STARKs kavramı daha basittir.
Geliştiriciler için, Circle STARK'lar, normal STARK'lardan çok daha karmaşık değildir. Circle FRI ve FFT'leri anlamak, diğer özel FFT'leri anlamaya da yardımcı olur.
Gelecekte STARKs optimizasyonu şu alanlara odaklanabilir:
Genel olarak, Circle STARKs, basitliği korurken verimliliği artıran ilginç bir STARKs varyantıdır.