top | item 32960608 A STARK prover for Brainfuck 2 points| sword_smith | 3 years ago |aszepieniec.github.io 1 comment order hn newest sword_smith|3 years ago 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.
sword_smith|3 years ago 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.
sword_smith|3 years ago