Wu said that Ethereum co-founder Vitalik Buterin tweeted that more M31 and binary domain support has been added to the CUDA-optimized STARK proof package zorch. This update allows developers to now use Python to write reasonably performant STARK proof code and run it on GPUs.