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.
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.
11 Likes
Reward
11
5
Share
Comment
0/400
AirdropHunterZhang
· 07-10 13:07
Yine sıfır bilgi patlaması yapıyorlar.
View OriginalReply0
PumpDetector
· 07-10 13:00
hmm stark szn asla bitmiyor... açıkçası çok boğa görünüyor
Circle STARKs: Küçük alanlarda etkili zk-SNARKs inşa etmek için yeni bir yöntem
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.