Selon Foresight News, Vitalik Buterin a introduit une preuve efficace pour les champs binaires, connue sous le nom de « Binius ». Il prévoit que dans les mois à venir, des améliorations significatives seront apportées à la technologie de preuve basée sur les champs binaires. Binius utilise de nombreuses techniques mathématiques, ce qui le rend nettement différent de SNARK et STARK, introduits il y a trois ans.
Buterin a également expliqué pourquoi des champs plus petits rendent la génération de preuves plus efficace, les raisons des capacités uniques et puissantes des champs binaires et les techniques utilisées par Binius pour que la preuve des champs binaires fonctionne efficacement.