ChainCatcher 消息，Vitalik 在 X 表示，為 zorch 添加了更多 M31 和二進制字段支持，現在可以使用 Python 編寫在 GPU 上運行的性能合理的 STARK 證明代碼。

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