A STARK prover for Brainfuck
aszepieniec.github.io
1 thread
With a STARK prover the correct execution of a program can be validated in sub-linear time, faster than it would take to re-run the program.
With a STARK prover the correct execution of a program can be validated in sub-linear time, faster than it would take to re-run the program.