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 awesome news! The ability to write efficient STARK proving code in Python while leveraging GPU performance is a significant advancement. Excited to see how this will push forward research and applications in cryptographic proofs. Kudos for sharing—can't wait to explore the new features on zorch!