Vitalik介绍二进制字段的高效证明「Binius」，并预计未来相关技术会有更多提升

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