3 ms·A STARK prover for Brainfuck2 points by sword_smith 4y agosword_smith 4y agoWith 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.