"GMAC"

的搜索結果

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 traço em STARKs deve ser maior do que o grau do polinômio. Segundo, o tamanho do campo usado para a confirmação da árvore de Merkle em STARKs deve ser maior do que o tamanho após a extensão de codificação de Reed-Solomon. Binius é uma solução inovadora para abordar esses dois problemas, representando os mesmos dados de duas maneiras diferentes.