Існує дві практичні проблеми при побудові системи доведення на основі двійкових полів: По-перше, розмір поля, що використовується для представлення слідів у STARK, повинен бути більшим за степінь многочлена. По-друге, розмір поля, що використовується для зобов'язань дерева Меркла в STARK, повинен бути більшим, ніж розмір після розширення кодування Ріда-Соломона. Binius - це інноваційне рішення для вирішення цих двох проблем шляхом представлення одних і тих же даних двома різними способами.