據吳說報道，以太坊聯合創始人 Vitalik Buterin 發推表示，已爲 CUDA 優化的 STARK 證明包 zorch 增加了更多 M31 和二進制域支持。

這一更新使得開發者現在可以使用 Python 編寫性能合理的 STARK 證明代碼，並在 GPU 上運行。