Ada dua tantangan praktis saat membangun sistem bukti berbasis bidang biner: Pertama, ukuran bidang yang digunakan untuk representasi jejak dalam STARKs harus lebih besar dari derajat polinomial. Kedua, ukuran bidang yang digunakan untuk komitmen pohon Merkle dalam STARKs harus lebih besar dari ukuran setelah ekstensi pengkodean Reed-Solomon. Binius adalah solusi inovatif untuk mengatasi dua masalah ini dengan merepresentasikan data yang sama dengan dua cara yang berbeda.