Odaily によると、Vitalik は X 経由で、CUDA 向けに最適化された STARK 証明パッケージ Zorch に、M31 およびバイナリ フィールドのサポートが追加されたと発表した。開発者は、適度にパフォーマンスの高い STARK 証明コードを Python で記述し、GPU 上で実行できるようになった。