据 Foresight News 报道，Vitalik Buterin 推出了一种高效的二进制域证明，称为“Binius”。他预计，在未来几个月内，基于二进制域的证明技术将有显著改进。Binius 采用了大量数学技术，与三年前推出的 SNARK 和 STARK 截然不同。

Buterin 还解释了为什么较小的域可以使证明生成更有效率，二进制域具有独特而强大的功能的原因，以及 Binius 用来使二进制域证明有效发挥作用的技术。