Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
A STARK prover for Brainfuck | Dark Hacker News
A STARK prover for Brainfuck
(aszepieniec.github.io)
2 points
by
sword_smith
3 years ago
| 1 comment
sword_smith
3 years ago
|
next
[−]
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.