4 ms·
I spent 4 months generating proofs for Brainfuck programs
- sword_smith 4y agoNice. I helped write the original Python implementation, so thanks for building this. STARK proof generation is definitely a good candidate for GPU acceleration.
- mildog8 4y agoAwesome! Thanks so much for that, it really helped me learn
- sword_smith 4y agoYou might want to generate this code with the latest trick for evaluating multivariate polynomials: https://news.ycombinator.com/item?id=33740808 https://news.ycombinator.com/item?id=33740808