I spent 4 months generating proofs for Brainfuck programs

Y	Hacker News new \| ask \| show \| jobs

	I spent 4 months generating proofs for Brainfuck programs (github.com)
	4 points by mildog8 1317 days ago

2 comments

sword_smith 1308 days ago

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

link

sword_smith 1316 days ago

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

link

mildog8 1316 days ago

Awesome! Thanks so much for that, it really helped me learn

link