Binius STARKs prensip analizi ve optimizasyon düşünceleri
1 Giriş
STARK'ların verimsiz olmasının başlıca nedenlerinden biri şudur: Gerçek programlardaki çoğu sayı oldukça küçüktür; örneğin, döngülerdeki indeksler, doğru-yanlış değerleri, sayaçlar vb. Ancak, Merkle ağaçlarına dayalı kanıtların güvenliğini sağlamak için, verileri genişletmek amacıyla Reed-Solomon kodlaması kullanıldığında, birçok ek fazla değer tüm alanı kaplayacaktır, bu da orijinal değerlerin kendisi çok küçük olsa bile. Bu sorunu çözmek için, alanın boyutunu azaltmak kritik bir strateji haline gelmiştir.
1. nesil STARKs kodlama bit genişliği 252bit, 2. nesil STARKs kodlama bit genişliği 64bit, 3. nesil STARKs kodlama bit genişliği 32bit, ancak 32bit kodlama bit genişliği hala büyük ölçüde israf alanı barındırmaktadır. Karşılaştırıldığında, ikili alanlar doğrudan bitlere işlem yapmaya izin verir, kodlama sıkı ve verimli olup herhangi bir israf alanı yoktur.