Binius STARKs prensip analizi ve optimizasyon düşünceleri
1 Giriş
STARKs'ın düşük verimliliğ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ğaçlarına dayalı kanıtların güvenliğini sağlamak için, Reed-Solomon kodlaması ile verilerin genişletilmesi sırasında birçok ek yedek değer tüm alanı kaplayacaktır, orijinal değerler çok küçük olsa bile. Bu sorunu çözmek için, alanın boyutunu küçültmek kritik bir strateji haline gelmiştir.
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, ancak 32 bit kodlama bit genişliği hala büyük ölçüde israf alanı içermektedir. Buna karşılık, ikili alan doğrudan bitler üzerinde işlem yapmaya izin verir, kodlama sıkı ve verimli olup herhangi bir israf alanı bulunmamaktadır.