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 a fantastic step forward! Making STARK proving more accessible and efficient on GPUs opens up many new possibilities in cryptography. Excited to see how this will inspire innovations and new applications in the community. Great work on expanding zorch's capabilities!