I spent 4 months generating proofs for Brainfuck programs(github.com)
github.com
I spent 4 months generating proofs for Brainfuck programs
https://github.com/andrewmilson/ministark
3 comments
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.
Awesome! Thanks so much for that, it really helped me learn