ChainCatcher message, Vitalik stated on X that more M31 and binary field support has been added for zorch, and now it is possible to write reasonably performant STARK proof code running on GPU using Python.