Potrivit Odaily Planet Daily, cofondatorul Ethereum a publicat recent „Binius: Efficient Proof of Binary Fields”. Articolul afirmă că SNARK se bazează pe „aritmetizare”, o metodă de conversie a declarațiilor unui program în ecuații care implică polinoame (și uneori vectori și matrice). Pentru a menține numerele într-o dimensiune rezonabilă, „aritmetica” trebuie făcută pe structuri numite „câmpuri finite”. În programele reale, majoritatea numerelor sunt foarte mici, iar dacă câmpul este mare, valorile „în plus” generate în timpul calculului dovezii vor fi mult mai mari, ceea ce este o sursă cheie de ineficiență. Plonky2 și protocoalele similare îmbunătățesc eficiența prin reducerea dimensiunii câmpului de la 256 de biți la 64 sau 31 de biți. Dar ar fi mai eficient să folosiți câmpurile binare în mod direct Câmpurile binare sunt o structură matematică cu multe proprietăți unice.