Son yıllarda, STARKs protokollerinin tasarımı daha küçük matematik alanları kullanma eğilimindedir. İlk STARKs uygulamaları 256 bit alan kullanıyordu, ancak bu tasarım verimsizdi. Bu sorunu çözmek için, STARKs daha küçük alanlar kullanmaya yönelmeye başladı, örneğin Goldilocks, Mersenne31 ve BabyBear.
Küçük alanların kullanımı bazı zorluklar getirdi, örneğin güvenlik sorunları. Çözüm, birden fazla rastgele kontrol yapmak ve alanları genişletmeyi içerir. Genişletilmiş alanlar, sınırlı alanlara dayalı olarak çoğul gibi görünür. Bu, sınırlı alanlar üzerinde daha karmaşık hesaplamalar yapmamıza ve güvenliği artırmamıza olanak tanır.
Circle STARKs, akıllıca bir çözümdür. Belirli bir asal p verildiğinde, p boyutunda benzer ikili özelliklere sahip bir grup bulunabilir. Bu grup, belirli koşulları sağlayan noktaların bir kümesiyle oluşur, örneğin x^2 mod p'nin belirli bir değere eşit olduğu noktalar.
Circle STARKs, FFT algoritmasını desteklemektedir, ancak işlenen nesneler katı anlamda çok terimli değildir, bunun yerine Riemann-Roch uzayı olarak adlandırılan matematiksel nesnelerdir. Geliştiriciler bu noktayı neredeyse tamamen göz ardı edebilir, yalnızca çok terimleri belirli bir alandaki değerlendirme değerleri kümesi olarak depolamaları yeterlidir.
Circle STARKs'ta, geleneksel işleme yöntemlerinin ayarlanması gerekiyor. İki noktada değerlendirme yaparak, dikkate alınması gerekmeyen sanal bir nokta ekleyerek bunu kanıtlıyoruz.
Circle STARKs verimlilik açısından mükemmel bir performans sergiliyor. Hesaplama izlemelerinde boş alanı kullanışlı işler yapmak için tam anlamıyla kullanıyor, boş alanı azaltıyor. Binius bazı açılardan daha üstün olsa da, Circle STARKs kavramsal olarak daha basit.
Genel olarak, Circle STARK'lar geliştiriciler için sıradan STARK'lardan daha karmaşık değildir. Temel matematik karmaşık olmasına rağmen, bu karmaşıklık iyi bir şekilde gizlenmiştir. Gelecekte, STARK'ların optimizasyonu, kriptografik ilkelere yönelik aritmetikleştirme, özyinelemeli yapılandırma ve sanal makinenin geliştirici deneyimini iyileştirme üzerinde yoğunlaşabilir.
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: Verimli ve güvenli yeni nesil zk-SNARKs teknolojisi
Circle STARKs'ı Keşfet
Son yıllarda, STARKs protokollerinin tasarımı daha küçük matematik alanları kullanma eğilimindedir. İlk STARKs uygulamaları 256 bit alan kullanıyordu, ancak bu tasarım verimsizdi. Bu sorunu çözmek için, STARKs daha küçük alanlar kullanmaya yönelmeye başladı, örneğin Goldilocks, Mersenne31 ve BabyBear.
Küçük alanların kullanımı bazı zorluklar getirdi, örneğin güvenlik sorunları. Çözüm, birden fazla rastgele kontrol yapmak ve alanları genişletmeyi içerir. Genişletilmiş alanlar, sınırlı alanlara dayalı olarak çoğul gibi görünür. Bu, sınırlı alanlar üzerinde daha karmaşık hesaplamalar yapmamıza ve güvenliği artırmamıza olanak tanır.
Circle STARKs, akıllıca bir çözümdür. Belirli bir asal p verildiğinde, p boyutunda benzer ikili özelliklere sahip bir grup bulunabilir. Bu grup, belirli koşulları sağlayan noktaların bir kümesiyle oluşur, örneğin x^2 mod p'nin belirli bir değere eşit olduğu noktalar.
Circle STARKs, FFT algoritmasını desteklemektedir, ancak işlenen nesneler katı anlamda çok terimli değildir, bunun yerine Riemann-Roch uzayı olarak adlandırılan matematiksel nesnelerdir. Geliştiriciler bu noktayı neredeyse tamamen göz ardı edebilir, yalnızca çok terimleri belirli bir alandaki değerlendirme değerleri kümesi olarak depolamaları yeterlidir.
Circle STARKs'ta, geleneksel işleme yöntemlerinin ayarlanması gerekiyor. İki noktada değerlendirme yaparak, dikkate alınması gerekmeyen sanal bir nokta ekleyerek bunu kanıtlıyoruz.
Circle STARKs verimlilik açısından mükemmel bir performans sergiliyor. Hesaplama izlemelerinde boş alanı kullanışlı işler yapmak için tam anlamıyla kullanıyor, boş alanı azaltıyor. Binius bazı açılardan daha üstün olsa da, Circle STARKs kavramsal olarak daha basit.
Genel olarak, Circle STARK'lar geliştiriciler için sıradan STARK'lardan daha karmaşık değildir. Temel matematik karmaşık olmasına rağmen, bu karmaşıklık iyi bir şekilde gizlenmiştir. Gelecekte, STARK'ların optimizasyonu, kriptografik ilkelere yönelik aritmetikleştirme, özyinelemeli yapılandırma ve sanal makinenin geliştirici deneyimini iyileştirme üzerinde yoğunlaşabilir.