According to TechFlow, Ethereum co-founder Vitalik Buterin announced that more M31 and binary domain support has been added to the CUDA-optimized STARK proof package zorch.
This update allows developers to now write reasonably performant STARK proof code in Python and run it on GPUs.
And publish the complete arithmetic process of Poseidon hash function.