Według Odaily Planet Daily, współzałożyciel Ethereum opublikował niedawno „Binius: Efficient Proof of Binary Fields”. W artykule stwierdza się, że SNARK opiera się na „arytmetyzowaniu”, metodzie przekształcania instrukcji programu na równania zawierające wielomiany (a czasami wektory i macierze). Aby utrzymać liczby w rozsądnym rozmiarze, „arytmetyka” musi być wykonywana na strukturach zwanych „polami skończonymi”. W rzeczywistych programach większość liczb jest bardzo mała, a jeśli pole jest duże, „dodatkowe” wartości wygenerowane podczas obliczeń dowodu będą znacznie większe, co jest kluczowym źródłem nieefektywności. Plonky2 i podobne protokoły poprawiają wydajność, zmniejszając rozmiar pola z 256 bitów do 64 lub 31 bitów. Jednak efektywniejsze byłoby bezpośrednie wykorzystanie pól binarnych. Pola binarne to struktura matematyczna z wieloma unikalnymi właściwościami. Struktury wieżowe to fascynujący sposób ich tworzenia, co zapewnia jeszcze więcej korzyści.