Binius STARKs İlkeleri Analizi ve Optimizasyon Düşünceleri
1. Giriş
STARK'ların evrimi sırasında, kodlama verimliliği kademeli olarak artmakta ancak hala israf söz konusu. Binius, doğrudan bit düzeyinde işlemlerle daha kompakt ve verimli bir kodlama gerçekleştirerek 4. nesil STARK olma potansiyeline sahip. Binius, verimliliği artırmak için kule biçimindeki ikili alan aritmetiği, geliştirilmiş HyperPlonk çarpım ve yer değiştirme kontrolü, küçük alan çokgen taahhütleri gibi teknikler kullanmaktadır. İkili alan çarpımı, ZeroCheck, SumCheck, PCS gibi alanlarda daha fazla optimizasyon yapılabilir, böylece kanıt hızının artırılması ve kanıt boyutunun küçültülmesi sağlanabilir.
2. İlkelerin Analizi
Binius, HyperPlonk PIOP, Brakedown PCS ve ikili alanı birleştirerek beş ana teknoloji içermektedir:
Kule tipi ikili alanına dayalı aritmetikleştirme
Uyarlama HyperPlonk çarpım ve permütasyon kontrolü
Yeni Çoklu Kaydırma Teoremi
Geliştirilmiş Lasso Bulma Tezi
Küçük Alan Çok Terimli Taahhüt Planı
2.1 Sınırlı Alan: binary alanların kuleleri üzerine dayalı aritmetik
Kule biçimindeki ikili alan, verimli hesaplamaları ve basitleştirilmiş aritmetiği destekler. İkili alan elemanları, ek hesaplama maliyeti olmadan farklı boyutlardaki alanlar arasında dönüştürülebilir şekilde esnek bir şekilde temsil edilebilir.
2.2 PIOP: Uyarlama HyperPlonk Ürünü ve Permutasyon Kontrolü
Binius, GateCheck, PermutationCheck, LookupCheck gibi geliştirilmiş HyperPlonk çekirdek kontrol mekanizmasını kullanmaktadır. Başlıca geliştirmeler şunlardır:
ProductCheck optimizasyonu
Sıfır bölme sorunu işleme
Sütunlar Arası Permutasyon Kontrolü desteği
2.3 PIOP: yeni çoklu kaydırma argümanı
Binius, sanal çok terimlerin verimli bir şekilde inşa edilmesi ve işlenmesi için Packing ve kaydırma operatörleri olmak üzere iki ana yöntemi tanıtmaktadır.
2.4 PIOP: uyarlama Lasso arama argümanı
Binius, Lasso'yu ikili alan işlemlerine uyarladı, çarpan sürümü Lasso protokolünü tanıttı ve potansiyel güvenlik sorunlarını ele aldı.
2.5 PCS: uyarlama Brakedown PCS
Binius, küçük alan polinom taahütleri ve genişletilmiş alan değerlendirmesi, küçük alan genel yapıları ve blok düzeyinde kodlama tekniklerini kullanan iki adet ikili alan temelli Brakedown polinom taahüt planı sunmaktadır.
3. Optimizasyon Düşüncesi
3.1 GKR tabanlı PIOP: GKR'ye dayalı ikili alan çarpımı
GKR protokolünün Lasso Lookup algoritması ile değiştirilmesi, taahhüt maliyetlerini önemli ölçüde azaltabilir.
3.2 ZeroCheck PIOP optimizasyonu
ZeroCheck operasyon verimliliğini optimize etmek için, kanıtlayıcı ve doğrulayıcı taraflar arasında iş yükü dağılımını ayarlayarak.
3.3 Sumcheck PIOP optimizasyonu
Küçük alan Sumcheck'in optimizasyonu, küçük alan üzerindeki hesaplama yükünü daha da azaltır.
3.4 PCS optimizasyonu: FRI-Binius
FRI-Binius, ikili alan FRI katlama mekanizmasını gerçekleştirir ve Binius kanıt boyutunu önemli ölçüde azaltabilir.
4. Kısa Özet
Binius, Prover'ın commit taahhüt darboğazını ortadan kaldırdı, yeni darboğaz Sumcheck protokolündedir. FRI-Binius, alan kanıtı katmanının gömülü maliyetini ortadan kaldırabilen FRI varyantıdır. Binius, özyinelemeli katman üzerinde çalışmakta ve zkVM ve FPGA uygulamaları inşa etmek için birden fazla ekiple işbirliği yapmaktadı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.
12 Likes
Reward
12
7
Share
Comment
0/400
GasBandit
· 08-03 17:05
Optimizasyon, optimize edilemez.
View OriginalReply0
consensus_failure
· 08-02 22:51
Yine performansı arttırıyorlar.
View OriginalReply0
Ser_APY_2000
· 08-02 02:57
Bu şey ne zaman Ana Ağ'a çıkacak?
View OriginalReply0
MemeKingNFT
· 08-01 02:20
enayiler hâlâ piyasayı izliyor, ben zaten Hepsi içeride stark yaptım.
Binius: İkili alan optimizasyonunun dördüncü nesil STARK teknolojisi analizi
Binius STARKs İlkeleri Analizi ve Optimizasyon Düşünceleri
1. Giriş
STARK'ların evrimi sırasında, kodlama verimliliği kademeli olarak artmakta ancak hala israf söz konusu. Binius, doğrudan bit düzeyinde işlemlerle daha kompakt ve verimli bir kodlama gerçekleştirerek 4. nesil STARK olma potansiyeline sahip. Binius, verimliliği artırmak için kule biçimindeki ikili alan aritmetiği, geliştirilmiş HyperPlonk çarpım ve yer değiştirme kontrolü, küçük alan çokgen taahhütleri gibi teknikler kullanmaktadır. İkili alan çarpımı, ZeroCheck, SumCheck, PCS gibi alanlarda daha fazla optimizasyon yapılabilir, böylece kanıt hızının artırılması ve kanıt boyutunun küçültülmesi sağlanabilir.
2. İlkelerin Analizi
Binius, HyperPlonk PIOP, Brakedown PCS ve ikili alanı birleştirerek beş ana teknoloji içermektedir:
2.1 Sınırlı Alan: binary alanların kuleleri üzerine dayalı aritmetik
Kule biçimindeki ikili alan, verimli hesaplamaları ve basitleştirilmiş aritmetiği destekler. İkili alan elemanları, ek hesaplama maliyeti olmadan farklı boyutlardaki alanlar arasında dönüştürülebilir şekilde esnek bir şekilde temsil edilebilir.
2.2 PIOP: Uyarlama HyperPlonk Ürünü ve Permutasyon Kontrolü
Binius, GateCheck, PermutationCheck, LookupCheck gibi geliştirilmiş HyperPlonk çekirdek kontrol mekanizmasını kullanmaktadır. Başlıca geliştirmeler şunlardır:
2.3 PIOP: yeni çoklu kaydırma argümanı
Binius, sanal çok terimlerin verimli bir şekilde inşa edilmesi ve işlenmesi için Packing ve kaydırma operatörleri olmak üzere iki ana yöntemi tanıtmaktadır.
2.4 PIOP: uyarlama Lasso arama argümanı
Binius, Lasso'yu ikili alan işlemlerine uyarladı, çarpan sürümü Lasso protokolünü tanıttı ve potansiyel güvenlik sorunlarını ele aldı.
2.5 PCS: uyarlama Brakedown PCS
Binius, küçük alan polinom taahütleri ve genişletilmiş alan değerlendirmesi, küçük alan genel yapıları ve blok düzeyinde kodlama tekniklerini kullanan iki adet ikili alan temelli Brakedown polinom taahüt planı sunmaktadır.
3. Optimizasyon Düşüncesi
3.1 GKR tabanlı PIOP: GKR'ye dayalı ikili alan çarpımı
GKR protokolünün Lasso Lookup algoritması ile değiştirilmesi, taahhüt maliyetlerini önemli ölçüde azaltabilir.
3.2 ZeroCheck PIOP optimizasyonu
ZeroCheck operasyon verimliliğini optimize etmek için, kanıtlayıcı ve doğrulayıcı taraflar arasında iş yükü dağılımını ayarlayarak.
3.3 Sumcheck PIOP optimizasyonu
Küçük alan Sumcheck'in optimizasyonu, küçük alan üzerindeki hesaplama yükünü daha da azaltır.
3.4 PCS optimizasyonu: FRI-Binius
FRI-Binius, ikili alan FRI katlama mekanizmasını gerçekleştirir ve Binius kanıt boyutunu önemli ölçüde azaltabilir.
4. Kısa Özet
Binius, Prover'ın commit taahhüt darboğazını ortadan kaldırdı, yeni darboğaz Sumcheck protokolündedir. FRI-Binius, alan kanıtı katmanının gömülü maliyetini ortadan kaldırabilen FRI varyantıdır. Binius, özyinelemeli katman üzerinde çalışmakta ve zkVM ve FPGA uygulamaları inşa etmek için birden fazla ekiple işbirliği yapmaktadır.