快链头条 消息,Vitalik Buterin 撰文介绍二进制字段的高效证明「Binius」,并预计未来几个月基于二进制字段的证明技术会有更多改进。Binius 使用了许多数学技巧,使其与三年前的 SNARK 和 STARK 截然不同。Vitalik Buterin 还介绍了小字段使证明生成更高效的原因、二进制字段具有独特强大功能的原因,以及 Binius 用于使二进制字段的证明能够有效地工作的技巧。