ChainCatcher のメッセージ、Vitalik は X で、zorch により多くの M31 とバイナリフィールドのサポートを追加したと述べ、現在は Python を使用して GPU 上で実行される性能の良い STARK 証明コードを書くことができる。