"GMAC"

的搜索結果

Existen dos desafíos prácticos al construir un sistema de prueba basado en campos binarios: primero, el tamaño del campo utilizado para la representación de trazas en STARKs debe ser mayor que el grado del polinomio. Segundo, el tamaño del campo utilizado para el compromiso del árbol de Merkle en STARKs debe ser mayor que el tamaño después de la extensión de codificación de Reed-Solomon. Binius es una solución innovadora para abordar estos dos problemas al representar los mismos datos de dos formas diferentes.