По данным Odaily Planet Daily, сооснователь Ethereum недавно опубликовал «Binius: Efficient Proof of Binary Fields». В статье говорится, что SNARK опирается на «арифметизацию» — метод преобразования операторов программы в уравнения, включающие полиномы (а иногда и векторы и матрицы). Чтобы числа оставались в разумных пределах, «арифметика» должна выполняться над структурами, называемыми «конечными полями». В реальных программах большинство чисел очень маленькие, и если поле большое, «лишние» значения, генерируемые при расчете доказательства, будут намного больше, что является ключевым источником неэффективности. Plonky2 и подобные протоколы повышают эффективность за счет уменьшения размера поля с 256 бит до 64 или 31 бита. Но было бы более эффективно использовать двоичные поля напрямую. Бинарные поля — это математическая структура со многими уникальными свойствами. Башенные структуры — это увлекательный способ их создания, что добавляет еще больше преимуществ.