Menurut Foresight News, Vitalik Buterin telah memperkenalkan bukti efisien untuk bidang biner, yang dikenal sebagai 'Binius'. Ia mengantisipasi bahwa dalam beberapa bulan mendatang, akan ada peningkatan signifikan dalam teknologi pembuktian berbasis bidang biner. Binius menggunakan berbagai teknik matematika, membuatnya sangat berbeda dari SNARK dan STARK, yang diperkenalkan tiga tahun lalu.
Buterin juga menjelaskan mengapa bidang yang lebih kecil membuat pembuatan bukti lebih efisien, alasan kemampuan bidang biner yang unik dan kuat, dan teknik yang digunakan Binius untuk membuat pembuktian bidang biner bekerja secara efektif.
