According to Odaily, Vitalik has announced via X that the STARK proof package Zorch, optimized for CUDA, now includes additional support for M31 and binary fields. Developers can now write reasonably performant STARK proof code in Python and run it on GPUs.