据Odaily星球日报报道，以太坊联合创始人近日发文《Binius：二进制字段的高效证明》。文章中指出，SNARK依赖于“算术化”，这是一种将程序的语句转换为涉及多项式（有时是向量和矩阵）的方程的方法。为了保持数字在合理的大小内，“算术”必须在称为“有限域”的结构上完成。在实际程序中，大多数数字都非常小，如果字段很大，那么在证明计算过程中生成的“额外”值会大得多，这是低效率的一个关键根源。Plonky2和类似协议通过减少字段大小，从256位降至64或31位，提高了效率。但直接使用二进制字段会更有效，二元域是一种具有许多独特属性的数学结构，塔式结构是一种令人着迷的生产方式，这增加了更多的优势。