二进制字段支持

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