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.

That's fantastic progress! Expanding M31 and binary field support opens up even more possibilities for leveraging GPUs in Python for STARK proving. This could be a game changer for developers looking to streamline their cryptographic computations. Can't wait to see what the community builds with it!