Son yıllarda, STARKs protokol tasarımı daha küçük alanlar kullanmaya yönelmektedir. İlk uygulamalar 256 bit alan kullanıyordu, ancak verimlilik düşük seviyedeydi. Bu sorunu çözmek için, STARKs daha küçük alanlar kullanmaya, örneğin Goldilocks, Mersenne31 ve BabyBear'a yönelmeye başladı. Bu değişim, kanıtlama hızını önemli ölçüde artırdı.
Küçük alanlar kullanıldığında yaygın bir sorun, rastgele seçilen parametrelerin saldırganlar tarafından tahmin edilebilmesidir. Çözüm, birden fazla rastgele kontrol yapmayı veya alanı genişletmeyi içermektedir. Genişletilmiş alanlar, çoklulara benzer ancak sonlu alanlara dayanmaktadır. Bu, sonlu alanlar üzerinde daha karmaşık hesaplamaların yapılmasına olanak tanır ve güvenliği artırır.
Circle STARKs, Mersenne31 gibi küçük alanlarda etkili FRI'yi uygulamak için ustaca bir çözümdür. Belirli bir toplama kuralını takip eden bir grup olarak daire üzerindeki nokta kümesini kullanır. Circle FRI ve Circle FFT'nin yapısı, geleneksel FRI'ye benzer, ancak işlenen nesne katı polinomlar yerine Riemann-Roch uzayıdır.
Circle STARKs'ı gerçekleştirirken, geleneksel çarpma işlemleri ve yok olma polinomları gibi işlemlerin yerine bazı özel teknikler kullanılmalıdır. Değerlendirme sırası da özel bir katlama ters bit sırasına göre ayarlanmalıdır.
Genel olarak, Circle STARKs geliştiriciler için geleneksel STARKs'tan çok daha karmaşık değildir. Bu, özellikle 31 bit asal alanında kullanılmak üzere tasarlanmış verimli bir STARK çözümüdür. Mersenne31, BabyBear gibi diğer teknolojilerle birleştirildiğinde, STARKs temel katmanının verimlilik sınırlarına yaklaşmaktayız.
Gelecekte STARK'ın optimize edilmesinin temel yönleri arasında: temel kriptografik ilkelere yönelik aritmetik optimizasyon, paralellik artırmak için özyinelemeli yapı, geliştirme deneyimini iyileştirmek için aritmetik sanal makine gibi unsurlar yer alabilir. Bu optimizasyonlar, STARK'ın performansını ve kullanılabilirliğini daha da artıracaktı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.
8 Likes
Reward
8
6
Share
Comment
0/400
WalletManager
· 08-04 06:32
Küçük alan optimizasyonu başlıca bir konudur. Kodun birikmesi sorun değil.
View OriginalReply0
StableBoi
· 08-04 06:32
Gerçekten Goldilocks'a saygı gösteriyor.
View OriginalReply0
NFTFreezer
· 08-04 06:30
Kanıt hızı arttı, geth'ten daha hızlı mı koşuyor?
View OriginalReply0
ColdWalletGuardian
· 08-04 06:30
Anlamadım ama etkileyici görünüyor, biraz açıklama istiyorum.
Circle STARKs: Küçük alanlarda verimli FRI'nin yeni bir çözümü
Circle STARKs'ı Keşfet
Son yıllarda, STARKs protokol tasarımı daha küçük alanlar kullanmaya yönelmektedir. İlk uygulamalar 256 bit alan kullanıyordu, ancak verimlilik düşük seviyedeydi. Bu sorunu çözmek için, STARKs daha küçük alanlar kullanmaya, örneğin Goldilocks, Mersenne31 ve BabyBear'a yönelmeye başladı. Bu değişim, kanıtlama hızını önemli ölçüde artırdı.
Küçük alanlar kullanıldığında yaygın bir sorun, rastgele seçilen parametrelerin saldırganlar tarafından tahmin edilebilmesidir. Çözüm, birden fazla rastgele kontrol yapmayı veya alanı genişletmeyi içermektedir. Genişletilmiş alanlar, çoklulara benzer ancak sonlu alanlara dayanmaktadır. Bu, sonlu alanlar üzerinde daha karmaşık hesaplamaların yapılmasına olanak tanır ve güvenliği artırır.
Circle STARKs, Mersenne31 gibi küçük alanlarda etkili FRI'yi uygulamak için ustaca bir çözümdür. Belirli bir toplama kuralını takip eden bir grup olarak daire üzerindeki nokta kümesini kullanır. Circle FRI ve Circle FFT'nin yapısı, geleneksel FRI'ye benzer, ancak işlenen nesne katı polinomlar yerine Riemann-Roch uzayıdır.
Circle STARKs'ı gerçekleştirirken, geleneksel çarpma işlemleri ve yok olma polinomları gibi işlemlerin yerine bazı özel teknikler kullanılmalıdır. Değerlendirme sırası da özel bir katlama ters bit sırasına göre ayarlanmalıdır.
Genel olarak, Circle STARKs geliştiriciler için geleneksel STARKs'tan çok daha karmaşık değildir. Bu, özellikle 31 bit asal alanında kullanılmak üzere tasarlanmış verimli bir STARK çözümüdür. Mersenne31, BabyBear gibi diğer teknolojilerle birleştirildiğinde, STARKs temel katmanının verimlilik sınırlarına yaklaşmaktayız.
Gelecekte STARK'ın optimize edilmesinin temel yönleri arasında: temel kriptografik ilkelere yönelik aritmetik optimizasyon, paralellik artırmak için özyinelemeli yapı, geliştirme deneyimini iyileştirmek için aritmetik sanal makine gibi unsurlar yer alabilir. Bu optimizasyonlar, STARK'ın performansını ve kullanılabilirliğini daha da artıracaktır.