Son yıllarda, STARKs protokol tasarımında daha küçük alanlar kullanma eğilimi gözlemleniyor. İlk STARKs uygulamaları 256 bit alan kullanıyordu, ancak bu tasarımın verimliliği düşük. Bu sorunu çözmek için, STARKs daha küçük alanlar kullanmaya başladı, örneğin Goldilocks, Mersenne31 ve BabyBear.
Küçük alanların kullanımı kanıtlama hızını artırdı, ancak yeni zorluklar da getirdi. Örneğin, küçük alanlarda rastgele noktalar seçerken, seçilebilecek aralık daralıyor ve bu, saldırganların bunu kırmasını kolaylaştırıyor. Bu nedenle, güvenliği artırmak için ek önlemler almak gerekiyor.
Circle STARKs, yeni bir çözümdür. Mersenne31 gibi küçük alanlarda verimli FRI protokolünü gerçekleştirmek için özel bir grup yapısı kullanır. Circle STARKs'ın temeli, dairesel grubun geometrik özelliklerini kullanarak iki boyutlu uzaydaki işlemleri bir boyutlu uzaya aktarmaktır; böylece hesaplama verimliliğini artırır.
Circle STARKs ayrıca Circle FFT'yi destekler, bu özel bir FFT algoritmasıdır. Normal FFT'den farklı olarak, Circle FFT Riemann-Roch uzayındaki fonksiyonları işler, katı anlamda çok terimli olanları değil. Bu fark matematiksel olarak karmaşık olsa da, geliştiriciler için neredeyse göz ardı edilebilir.
Uygulama detaylarında, Circle STARKs'ın geleneksel STARKs ile bazı farklılıkları vardır, örneğin ticari işlemler, kaybolan polinomlar, ters bit sıralaması vb. Ancak genel olarak, Circle STARKs geliştiriciler için geleneksel STARKs kadar karmaşık değildir.
Circle STARKs, Mersenne31 alanı ile bir araya geldiğinde, çok verimli bir kanıt sağlanabilir. Hesaplama izleme sırasında alanı tamamen kullanarak israfı azaltır. Binius gibi bazı çözümler bazı açılardan daha üstündür, ancak Circle STARKs'ın konsepti basit, anlaşılması ve uygulanması kolaydır.
STARKs temel katman verimliliği sınırına yaklaşırken, gelecekteki optimizasyon yönleri şunları içerebilir: kriptografik ilkelere dayalı hesaplamaların optimizasyonu, paralelliği artırmak için özyinelemeli yapıların kullanımı, geliştirme deneyimini artırmak için sanal makinenin hesaplamalarının iyileştirilmesi vb.
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.
8 Likes
Reward
8
4
Repost
Share
Comment
0/400
nft_widow
· 2h ago
Küçük alanların performansı iyi olsa da, güvenlik kesinlikle yeterli değil.
View OriginalReply0
ProxyCollector
· 18h ago
Yeni bir zk-SNARKs daha yapıldı, güvenlik durumunu iyi ayarlamak zor.
View OriginalReply0
MagicBean
· 19h ago
Sıfır sözleşmesi hakkında daha fazla öğretin lütfen~ Çok zor anlıyorum.
View OriginalReply0
MevTears
· 19h ago
Küçük alanlar hızlı talep etmek gerçekten ilham verici.
Circle STARKs: Küçük alanlarda etkili kanıtlar için yeni bir çözüm
Circle STARKs'ı Keşfet
Son yıllarda, STARKs protokol tasarımında daha küçük alanlar kullanma eğilimi gözlemleniyor. İlk STARKs uygulamaları 256 bit alan kullanıyordu, ancak bu tasarımın verimliliği düşük. Bu sorunu çözmek için, STARKs daha küçük alanlar kullanmaya başladı, örneğin Goldilocks, Mersenne31 ve BabyBear.
Küçük alanların kullanımı kanıtlama hızını artırdı, ancak yeni zorluklar da getirdi. Örneğin, küçük alanlarda rastgele noktalar seçerken, seçilebilecek aralık daralıyor ve bu, saldırganların bunu kırmasını kolaylaştırıyor. Bu nedenle, güvenliği artırmak için ek önlemler almak gerekiyor.
Circle STARKs, yeni bir çözümdür. Mersenne31 gibi küçük alanlarda verimli FRI protokolünü gerçekleştirmek için özel bir grup yapısı kullanır. Circle STARKs'ın temeli, dairesel grubun geometrik özelliklerini kullanarak iki boyutlu uzaydaki işlemleri bir boyutlu uzaya aktarmaktır; böylece hesaplama verimliliğini artırır.
Circle STARKs ayrıca Circle FFT'yi destekler, bu özel bir FFT algoritmasıdır. Normal FFT'den farklı olarak, Circle FFT Riemann-Roch uzayındaki fonksiyonları işler, katı anlamda çok terimli olanları değil. Bu fark matematiksel olarak karmaşık olsa da, geliştiriciler için neredeyse göz ardı edilebilir.
Uygulama detaylarında, Circle STARKs'ın geleneksel STARKs ile bazı farklılıkları vardır, örneğin ticari işlemler, kaybolan polinomlar, ters bit sıralaması vb. Ancak genel olarak, Circle STARKs geliştiriciler için geleneksel STARKs kadar karmaşık değildir.
Circle STARKs, Mersenne31 alanı ile bir araya geldiğinde, çok verimli bir kanıt sağlanabilir. Hesaplama izleme sırasında alanı tamamen kullanarak israfı azaltır. Binius gibi bazı çözümler bazı açılardan daha üstündür, ancak Circle STARKs'ın konsepti basit, anlaşılması ve uygulanması kolaydır.
STARKs temel katman verimliliği sınırına yaklaşırken, gelecekteki optimizasyon yönleri şunları içerebilir: kriptografik ilkelere dayalı hesaplamaların optimizasyonu, paralelliği artırmak için özyinelemeli yapıların kullanımı, geliştirme deneyimini artırmak için sanal makinenin hesaplamalarının iyileştirilmesi vb.