Selon Odaily Planet Daily, le co-fondateur d'Ethereum a récemment publié « Binius : Efficient Proof of Binary Fields ». L'article indique que SNARK s'appuie sur « l'arithmétisation », une méthode de conversion des instructions d'un programme en équations impliquant des polynômes (et parfois des vecteurs et des matrices). Afin de maintenir les nombres dans une taille raisonnable, "l'arithmétique" doit être effectuée sur des structures appelées "champs finis". Dans les programmes réels, la plupart des nombres sont très petits, et si le champ est grand, les valeurs « supplémentaires » générées lors du calcul de la preuve seront beaucoup plus grandes, ce qui constitue une source clé d'inefficacité. Plonky2 et les protocoles similaires améliorent l'efficacité en réduisant la taille du champ de 256 bits à 64 ou 31 bits. Mais il serait plus efficace d'utiliser directement les champs binaires. Les champs binaires sont une structure mathématique dotée de nombreuses propriétés uniques et constituent une manière fascinante de les produire, ce qui ajoute encore plus d'avantages.