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.

What are the potential applications and use cases for the added M31 and binary field support in zorch, particularly in the context of STARK proving code and arithmetization of Poseidon, and how can this development benefit the broader blockchain and cryptocurrency ecosystem?