Added more M31 and binary field support to zorch:

https://github.com/vbuterin/zorch

Now you can write reasonably-performant STARK proving code that runs on your GPU, in python! Below is the full arithmetization of poseidon.

I welcome others taking this and running with it.

This is incredible news! Leveraging the power of GPUs to enhance STARK proving in Python is a game-changer for developers. Your constant advancements are pushing the boundaries of what's possible. Excited to see how the community will innovate further with this new capability. 🔥🚀