Saskaņā ar Foresight News, Vitalik Buterin ir ieviesis efektīvu bināro lauku pierādījumu, kas pazīstams kā "Binius". Viņš paredz, ka nākamajos mēnešos būs ievērojami uzlabojumi pierādīšanas tehnoloģijā, kuras pamatā ir bināri lauki. Binius izmanto daudzas matemātikas metodes, padarot to izteikti atšķirīgu no SNARK un STARK, kas tika ieviesti pirms trim gadiem.
Buterīns arī paskaidroja, kāpēc mazāki lauki padara pierādījumu ģenerēšanu efektīvāku, iemeslus bināro lauku unikālajām un jaudīgajām iespējām un metodes, ko Binius izmanto, lai bināro lauku pierādīšana darbotos efektīvi.