Binius STARKs İlkeleri 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, sayaçlar vb. Ancak, Merkle ağaçları temelli kanıtların güvenliğini sağlamak için, verilerin genişletilmesinde Reed-Solomon kodlaması kullanıldığında, birçok ek fazlalık değeri tüm alanı kaplar, oysa orijinal değerler kendileri çok küçüktür. Bu sorunu çözmek için, alanın boyutunu azaltmak kritik bir strateji haline gelmiştir.
1. nesil STARK'ların kodlama genişliği 252 bit, 2. nesil STARK'ların kodlama genişliği 64 bit, 3. nesil STARK'ların kodlama genişliği 32 bit, ancak 32 bit kodlama genişliğinde hâlâ büyük miktarda israf alanı bulunmaktadır. Karşılaştırıldığında, ikili alan doğrudan bitlerle işlem yapmaya izin verir, kodlama kompakt ve verimlidir, herhangi bir israf alanı olmadan.