@guer
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.