币界网报道：Vitalik Buterin 介绍了二元域高效证明“Binius”，并期待未来相关技术有更多改进。据 BlockBeats 报道，4 月 29 日，Vitalik Buterin 撰写了一篇关于二元域高效证明的文章“Binius”，并期待未来几个月基于二元域的证明技术有更多改进。Binius 使用了许多数学技巧，与三年前的 SNARK 和 STARK 截然不同。Vitalik Buterin 还介绍了为何小域可以让证明生成更高效，为何二元域具有独特的强大功能，以及 Binius 用来让二元域证明高效工作的技巧。