GuildFi（GF）新聞

Bitlayer Research：Binius STARKs原理解析及其最佳化思考

第1,2,3代STARK證明系統位寬分別為252,64和32bit，編碼效率雖有提高，但仍有浪費空間；Binius直接對位操作，編碼緊湊高效，很可能是未來的第4代STARK。 Binius使用基於塔式二進位域的算術化、改良版的HyperPlonk乘積與置換檢查、小域多項式承諾等技術，從各個角度提升效率。在二進位域乘法、ZeroCheck、SumCheck、PCS等方面可進一步最佳化，以進一步提高證明速度並降低proof size。