Potrivit Foresight News, Vitalik Buterin a introdus o dovadă eficientă pentru câmpurile binare, cunoscută sub numele de „Binius”. El anticipează că, în lunile următoare, vor exista îmbunătățiri semnificative în tehnologia de probă bazată pe câmpuri binare. Binius folosește numeroase tehnici matematice, ceea ce îl face net diferit de SNARK și STARK, care au fost introduse în urmă cu trei ani.
Buterin a explicat, de asemenea, de ce câmpurile mai mici fac generarea de dovezi mai eficientă, motivele pentru capabilitățile unice și puternice ale câmpurilor binare și tehnicile pe care Binius le folosește pentru a face ca demonstrarea câmpurilor binare să funcționeze eficient.