Según Odaily Planet Daily, el cofundador de Ethereum publicó recientemente "Binius: Efficient Proof of Binary Fields". El artículo afirma que SNARK se basa en la "aritmetización", un método para convertir las declaraciones de un programa en ecuaciones que involucran polinomios (y, a veces, vectores y matrices). Para mantener los números dentro de un tamaño razonable, la "aritmética" debe realizarse en estructuras llamadas "campos finitos". En los programas reales, la mayoría de los números son muy pequeños y, si el campo es grande, los valores "extra" generados durante el cálculo de la prueba serán mucho mayores, lo cual es una fuente clave de ineficiencia. Plonky2 y protocolos similares mejoran la eficiencia al reducir el tamaño del campo de 256 bits a 64 o 31 bits. Pero sería más eficiente utilizar campos binarios directamente. Los campos binarios son una estructura matemática con muchas propiedades únicas y son una forma fascinante de producirlos, lo que añade aún más ventajas.