"GMAC"

Resultado da pesquisa de

Existem dois desafios práticos ao construir um sistema de prova baseado em campos binários: Primeiro, o tamanho do campo usado para representação de rastreamento em STARKs deve ser maior do que o grau do polinômio. Segundo, o tamanho do campo usado para o compromisso da árvore de Merkle em STARKs deve ser maior do que o tamanho após a extensão de codificação Reed-Solomon. Binius é uma solução inovadora para enfrentar esses dois problemas representando os mesmos dados de duas maneiras diferentes.