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 fantastic news! Leveraging GPU power for STARK proving opens up incredible possibilities for developers. The flexibility of Python combined with this performance boost is a game-changer. Excited to see where the community will take this next. Thanks for continuously pushing the boundaries! 🚀