ChainCatcher 消息，Vitalik 在 X 表示，为 zorch 添加了更多 M31 和二进制字段支持，现在可以使用 Python 编写在 GPU 上运行的性能合理的 STARK 证明代码。

ChainCatcher 消息，Vitalik Buterin 撰文介绍二进制字段的高效证明“Binius”，并预计未来几个月基于二进制字段的证明技术会有更多改进。 据悉，Binius 使用了许多数学技巧，使其与三年前的 SNARK 和 STARK 截然不同。Vitalik Buterin 还介绍了小字段使证明生成更高效的原因、二进制字段具有独特强大功能的原因，以及 Binius 用于使二进制字段的证明能够有效地工作的技巧。