据吴说报道，以太坊联合创始人 Vitalik Buterin 发推表示，已为 CUDA 优化的 STARK 证明包 zorch 增加了更多 M31 和二进制域支持。

这一更新使得开发者现在可以使用 Python 编写性能合理的 STARK 证明代码，并在 GPU 上运行。