Vitalik Buterin详细介绍了Binius,这是一个基于二进制字段的高效证明系统。文章首先回顾了有限域和算术化的概念,解释了SNARK和STARK证明系统的工作原理,即将程序陈述转换为多项式方程。Vitalik指出,尽管Plonky2证明了使用较小的64位和31位字段可以大幅提高证明生成的效率,但Binius通过直接在零和一上操作,利用二进制字段的特性,进一步提升了效率。Binius使用多元多项式表示计算轨迹,并采用了一系列数学技巧,包括超立方体的概念和Reed-Solomon编码,来构建证明。Vitalik认为,二进制字段的直接计算能力和对位的操作是Binius高效的关键。