[–] sword_smith 3y 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.
1 comment
[ 4.4 ms ] story [ 10.3 ms ] thread