"GMAC"

的搜索結果

構建基於二進制域的證明系統時面臨兩個主要挑戰：首先，STARKs中用於表示軌跡的域大小必須大於多項式的度數；其次，用於Merkle樹承諾的域大小也需大於經過Reed-Solomon編碼擴展後的大小。Binius提供了一種創新的解決方案，通過兩種不同的方式來表示相同的數據，從而解決這兩個問題。