根據 Odaily 報道，Vitalik 透過 X 宣佈，針對 CUDA 優化的 STARK 證明套件 Zorch 現在包含對 M31 和二進位字段的額外支援。開發人員現在可以用 Python 編寫性能合理的 STARK 證明程式碼並在 GPU 上運行。