Khi xây dựng một hệ thống chứng minh dựa trên các trường nhị phân, có hai thách thức thực tế: Thứ nhất, kích thước trường được sử dụng cho biểu diễn theo dõi trong STARKs phải lớn hơn bậc của đa thức. Thứ hai, kích thước trường được sử dụng cho cam kết cây Merkle trong STARKs phải lớn hơn kích thước sau khi mở rộng mã hóa Reed-Solomon. Binius là một giải pháp đổi mới để giải quyết hai vấn đề này bằng cách biểu diễn cùng dữ liệu theo hai cách khác nhau.