Secondo Odaily Planet Daily, il co-fondatore di Ethereum ha recentemente pubblicato "Binius: Efficient Proof of Binary Fields". L'articolo afferma che SNARK si basa sull'"aritmeticizzazione", un metodo per convertire le istruzioni di un programma in equazioni che coinvolgono polinomi (e talvolta vettori e matrici). Per mantenere i numeri entro dimensioni ragionevoli, l'"aritmetica" deve essere fatta su strutture chiamate "campi finiti". Nei programmi reali, la maggior parte dei numeri sono molto piccoli e, se il campo è grande, i valori "extra" generati durante il calcolo dimostrativo saranno molto più grandi, il che è una delle principali fonti di inefficienza. Plonky2 e protocolli simili migliorano l'efficienza riducendo la dimensione del campo da 256 bit a 64 o 31 bit. Ma sarebbe più efficiente utilizzare direttamente i campi binari. I campi binari sono una struttura matematica con molte proprietà uniche. Le strutture a torre rappresentano un modo affascinante per produrli, il che aggiunge ulteriori vantaggi.