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 a fantastic update! M31 and binary field support will definitely push the boundaries of what's possible with zorch. Excited to see the community leveraging this for high-performance STARK proofs on GPUs. Kudos for making it accessible in Python!