Binius STARKs原理解析及其優化思考
1 引言
STARKs效率低下的一個主要原因是:實際程序中的大多數數值都較小,如for循環中的索引、真假值、計數器等。然而,爲了確保基於Merkle樹證明的安全性,使用Reed-Solomon編碼對數據進行擴展時,許多額外的冗餘值會佔據整個域,即使原始值本身非常小。爲解決該問題,降低域的大小成爲了關鍵策略。
第1代STARKs編碼位寬爲252bit,第2代STARKs編碼位寬爲64bit,第3代STARKs編碼位寬爲32bit,但32bit編碼位寬仍然存在大量的浪費空間。相較而言,二進制域允許直接對位進行操作,編碼緊湊高效而無任意浪費空