二進制字段支持

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