According to Vitalik Buterin, new support for M31 and binary fields has been added to the zorch library. This update enables the writing of reasonably-performant STARK proving code that can run on GPUs using Python. Buterin encourages others to explore and utilize this new capability.