"GMAC"

的搜索结果

构建基于二进制域的证明系统时面临两个主要挑战：首先，STARKs中用于表示轨迹的域大小必须大于多项式的度数；其次，用于Merkle树承诺的域大小也需大于经过Reed-Solomon编码扩展后的大小。Binius提供了一种创新的解决方案，通过两种不同的方式来表示相同的数据，从而解决这两个问题。