STARKs protokol tasarımı son yıllarda daha küçük alanlar kullanmaya yönelmiştir, böylece kanıt hızını artırabilir. Örneğin, Starkware M3 dizüstü bilgisayarında saniyede 620.000 Poseidon2 hash değeri kanıtlayabilmektedir. Bu makalede, bu teknolojilerin çalışma prensipleri incelenecek ve özellikle Circle STARKs çözümüne odaklanılacaktır.
Küçük alanlar kullanıldığında yaygın bir sorun, saldırganların sınırlı olasılık değerlerini deneyerek protokolü kırmaya çalışmasıdır. Çözüm, birden fazla rastgele kontrol yapmak veya alanı genişletmektir. Genişletilmiş alanlar, çokluk gibi görünür ancak sonlu alanlara dayanır.
Circle STARKs'ın inceliği, benzer ikili özelliklere sahip p boyutunda bir grup bulabilmektir. Bu grup, belirli koşulları sağlayan noktalarla oluşur, örneğin x^2 mod p'nin belirli bir değere eşit olduğu nokta kümesi.
Circle STARKs FFT'yi destekliyor, ancak işlenen nesne katı bir şekilde çok terimli değil, Riemann-Roch uzayıdır. Geliştirici olarak, bunu neredeyse göz ardı edebilirsiniz, sadece çok terimleri değerlendirme değerleri kümesi olarak saklayın.
Ticari hesaplamalar açısından, Circle STARKs, bir sanal nokta ekleyerek iki noktada değerlendirme yapması gerekmektedir. Kaybolan çok terimli ifadeler için, Circle STARKs belirli bir fonksiyon biçimi kullanmaktadır.
Circle STARKs, özel katlama yapısını yansıtmak için değiştirilmiş ters sıralama kullanır. Bu sıralama, FRI'nin daha az alan kaplamasını sağlar.
Circle STARKs'ın verimliliği çok yüksektir ve hesaplama izlemelerindeki alanı tam olarak kullanır. Binius bazı yönlerde daha iyi olsa da, Circle STARKs kavramsal olarak daha basittir.
Genel olarak, Circle STARKs geliştiriciler için normal STARKs'tan daha karmaşık değildir. Gelecekte STARK'ın optimizasyon yönleri şunları içerebilir: temel kriptografik ilkelere yönelik aritmetik optimizasyon, paralelleşmeyi artırmak için özyinelemeli yapı, geliştirme deneyimini optimize etmek için sanal makinenin aritmetikleştirilmesi.
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 teknolojisi Derinlik analizi: Verimlilikle doğrulamanın yeni yönü
Circle STARKs'ı Keşfet
STARKs protokol tasarımı son yıllarda daha küçük alanlar kullanmaya yönelmiştir, böylece kanıt hızını artırabilir. Örneğin, Starkware M3 dizüstü bilgisayarında saniyede 620.000 Poseidon2 hash değeri kanıtlayabilmektedir. Bu makalede, bu teknolojilerin çalışma prensipleri incelenecek ve özellikle Circle STARKs çözümüne odaklanılacaktır.
Küçük alanlar kullanıldığında yaygın bir sorun, saldırganların sınırlı olasılık değerlerini deneyerek protokolü kırmaya çalışmasıdır. Çözüm, birden fazla rastgele kontrol yapmak veya alanı genişletmektir. Genişletilmiş alanlar, çokluk gibi görünür ancak sonlu alanlara dayanır.
Circle STARKs'ın inceliği, benzer ikili özelliklere sahip p boyutunda bir grup bulabilmektir. Bu grup, belirli koşulları sağlayan noktalarla oluşur, örneğin x^2 mod p'nin belirli bir değere eşit olduğu nokta kümesi.
Circle STARKs FFT'yi destekliyor, ancak işlenen nesne katı bir şekilde çok terimli değil, Riemann-Roch uzayıdır. Geliştirici olarak, bunu neredeyse göz ardı edebilirsiniz, sadece çok terimleri değerlendirme değerleri kümesi olarak saklayın.
Ticari hesaplamalar açısından, Circle STARKs, bir sanal nokta ekleyerek iki noktada değerlendirme yapması gerekmektedir. Kaybolan çok terimli ifadeler için, Circle STARKs belirli bir fonksiyon biçimi kullanmaktadır.
Circle STARKs, özel katlama yapısını yansıtmak için değiştirilmiş ters sıralama kullanır. Bu sıralama, FRI'nin daha az alan kaplamasını sağlar.
Circle STARKs'ın verimliliği çok yüksektir ve hesaplama izlemelerindeki alanı tam olarak kullanır. Binius bazı yönlerde daha iyi olsa da, Circle STARKs kavramsal olarak daha basittir.
Genel olarak, Circle STARKs geliştiriciler için normal STARKs'tan daha karmaşık değildir. Gelecekte STARK'ın optimizasyon yönleri şunları içerebilir: temel kriptografik ilkelere yönelik aritmetik optimizasyon, paralelleşmeyi artırmak için özyinelemeli yapı, geliştirme deneyimini optimize etmek için sanal makinenin aritmetikleştirilmesi.