Live data from Hacker News

A STARK prover for Brainfuck

aszepieniec.github.io

Post reply on HN

Print view View original

1–2 of 2 posts

A STARK prover for Brainfuck

#1

Post by sword_smith » Sat, Sep 24, 2022, 8:04 AM UTC

A STARK prover for Brainfuck
aszepieniec.github.io

Re: A STARK prover for Brainfuck

#2

Post by sword_smith » Sat, Sep 24, 2022, 8:04 AM UTC

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.

Post reply on HN