Laut Odaily Planet Daily hat der Mitbegründer von Ethereum kürzlich „Binius: Efficient Proof of Binary Fields“ veröffentlicht. In dem Artikel heißt es, dass SNARK auf „Arithmetisierung“ beruht, einer Methode zur Umwandlung der Anweisungen eines Programms in Gleichungen mit Polynomen (und manchmal auch Vektoren und Matrizen). Um die Zahlen innerhalb einer angemessenen Größe zu halten, muss die „Arithmetik“ auf Strukturen durchgeführt werden, die „endliche Felder“ genannt werden. In realen Programmen sind die meisten Zahlen sehr klein, und wenn das Feld groß ist, sind die „zusätzlichen“ Werte, die während der Beweisberechnung generiert werden, viel größer, was eine Hauptursache für Ineffizienz darstellt. Plonky2 und ähnliche Protokolle verbessern die Effizienz, indem sie die Feldgröße von 256 Bit auf 64 oder 31 Bit reduzieren. Es wäre jedoch effizienter, Binärfelder direkt zu verwenden. Binärfelder sind eine mathematische Struktur mit vielen einzigartigen Eigenschaften. Turmstrukturen sind eine faszinierende Möglichkeit, sie zu erzeugen, was noch mehr Vorteile bietet.