A STARK prover for Brainfuck(aszepieniec.github.io)

2 pointsby sword_smith4 ปีที่แล้ว1 comments

https://aszepieniec.github.io/stark-brainfuck/

1 comments

sword_smith4 ปีที่แล้ว

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.