深潮 TechFlow 消息，Vitalik Buterin 撰文介紹二進制字段的高效證明 Binius，並預計未來幾個月基於二進制字段的證明技術會有更多改進。Binius 使用了許多數學技巧，使其與三年前的 SNARK 和 STARK 截然不同。 Vitalik Buterin 還介紹了小字段使證明生成更高效的原因、二進制字段具有獨特強大功能的原因，以及 Binius 用於使二進制字段的證明能夠有效地工作的技巧。