维塔利克-布特林介绍二进制域的高效证明 "Binius

据 Foresight News 报道，Vitalik Buterin 推出了一种高效的二进制字段证明，称为 "Binius"。他预计，在未来几个月内，基于二进制域的证明技术将有重大改进。Binius采用了大量数学技术，与三年前推出的SNARK和STARK截然不同。 Buterin 还解释了为什么较小的字段能使证明生成更高效，二进制字段具有独特而强大功能的原因，以及 Binius 用来使二进制字段证明有效发挥作用的技术。