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