При создании системы доказательств на основе бинарных полей возникают две практические проблемы: во-первых, размер поля, используемого для представления трассы в STARKs, должен быть больше степени полинома. Во-вторых, размер поля, используемого для коммитмента дерева Меркла в STARKs, должен быть больше размера после расширения кодирования Рида-Соломона. Binius представляет собой инновационное решение для решения этих двух проблем путем представления одних и тех же данных двумя разными способами.