هناك تحديان عمليان عند بناء نظام إثبات يعتمد على حقول ثنائية: الأول، يجب أن يكون حجم الحقل المستخدم لتمثيل المسار في STARKs أكبر من درجة العديد. الثاني، يجب أن يكون حجم الحقل المستخدم للتزامن شجرة Merkle في STARKs أكبر من الحجم بعد تمديد الترميز Reed-Solomon. Binius هو حل مبتكر لمعالجة هذين المشكلتين من خلال تمثيل نفس البيانات بطريقتين مختلفتين.