TE
TechEcho
Home
24h Top
Newest
Best
Ask
Show
Jobs
English
GitHub
Twitter
Home
A STARK prover for Brainfuck
2 points
by
sword_smith
over 2 years ago
1 comment
sword_smith
over 2 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.