I spent 4 months generating proofs for Brainfuck programs

You might want to generate this code with the latest trick for evaluating multivariate polynomials: https://news.ycombinator.com/item?id=33740808

Nice. I helped write the original Python implementation, so thanks for building this. STARK proof generation is definitely a good candidate for GPU acceleration.