Theo Odaily Planet Daily, người đồng sáng lập Ethereum gần đây đã xuất bản "Binius: Bằng chứng hiệu quả về các trường nhị phân". Bài báo nói rằng SNARK dựa vào "số học hóa", một phương pháp chuyển đổi các câu lệnh của chương trình thành các phương trình liên quan đến đa thức (và đôi khi là vectơ và ma trận). Để giữ các số trong một kích thước hợp lý, việc "số học" phải được thực hiện trên các cấu trúc gọi là "trường hữu hạn". Trong các chương trình thực, hầu hết các số đều rất nhỏ và nếu trường lớn, các giá trị "phụ" được tạo trong quá trình tính toán chứng minh sẽ lớn hơn nhiều, đây là nguyên nhân chính dẫn đến sự kém hiệu quả. Plonky2 và các giao thức tương tự cải thiện hiệu quả bằng cách giảm kích thước trường từ 256 bit xuống 64 hoặc 31 bit. Nhưng sẽ hiệu quả hơn nếu sử dụng trực tiếp các trường nhị phân. Trường nhị phân là một cấu trúc toán học với nhiều thuộc tính độc đáo. Cấu trúc Tháp là một cách hấp dẫn để tạo ra chúng, điều này thậm chí còn mang lại nhiều lợi ích hơn.