Binius STARKs prensip analizi ve optimizasyon düşünceleri
1 Giriş
STARK'ların verimsizliğinin başlıca nedenlerinden biri, gerçek programlardaki çoğu sayının küçük olmasıdır; örneğin, for döngüsündeki indeksler, doğru-yanlış değerleri, sayıcılar vb. Ancak, Merkle ağacı kanıtlarının güvenliğini sağlamak için, Reed-Solomon kodlaması kullanılarak verilerin genişletilmesi sırasında birçok ek gereksiz değer tüm alanı kaplamaktadır; bu, orijinal değerlerin kendisi çok küçük olsa bile. Bu sorunu çözmek için, alanın boyutunu azaltmak kritik bir strateji haline gelmiştir.
Tablo 1'de gösterildiği gibi, 1. nesil STARKs kodlama bit genişliği 252 bit, 2. nesil STARKs kodlama bit genişliği 64 bit, 3. nesil STARKs kodlama bit genişliği 32 bit olmakla birlikte, 32 bit kodlama bit genişliğinde hala büyük bir israf alanı bulunmaktadır. Buna karşılık, ikili alan bitlerin doğrudan işlenmesine izin verir, kodlama kompakt ve etkilidir.