De acordo com o Odaily Planet Daily, o cofundador da Ethereum publicou recentemente “Binius: Efficient Proof of Binary Fields”. O artigo afirma que o SNARK depende da “aritmética”, um método de conversão das instruções de um programa em equações envolvendo polinômios (e às vezes vetores e matrizes). Para manter os números dentro de um tamanho razoável, a “aritmética” deve ser feita em estruturas chamadas “campos finitos”. Em programas reais, a maioria dos números são muito pequenos e, se o campo for grande, os valores "extras" gerados durante o cálculo da prova serão muito maiores, o que é uma fonte importante de ineficiência. Plonky2 e protocolos similares melhoram a eficiência reduzindo o tamanho do campo de 256 bits para 64 ou 31 bits. Mas seria mais eficiente usar campos binários diretamente. Os campos binários são uma estrutura matemática com muitas propriedades únicas. As estruturas em torre são uma forma fascinante de produzi-los, o que acrescenta ainda mais vantagens.