Vitalik：已为CUDA优化的STARK证明包Zorch新增M31和二进制域支持

Vitalik 于 X 发文表示，已为 CUDA 优化的 STARK 证明包 Zorch 增加更多 M31 和二进制域支持。开发者现在可以使用 Python 编写性能合理的 STARK 证明代码，并在 GPU 上运行。