"PASTA"

Résultat de recherche de

Il existe deux défis pratiques lors de la construction d'un système de preuve basé sur des champs binaires : Premièrement, la taille du champ utilisée pour la représentation de la trace dans les STARKs doit être plus grande que le degré du polynôme. Deuxièmement, la taille du champ utilisée pour l'engagement de l'arbre de Merkle dans les STARKs doit être supérieure à la taille après l'extension de codage de Reed-Solomon. Binius est une solution innovante pour résoudre ces deux problèmes en représentant les mêmes données de deux manières différentes.