Rewindable proofs proposed for scalable oversight without a truthful prover
The honest prover is linear in the original computation, and the verifier is nearly linear in input length after preprocessing.
Stories per day · 30 days
1 stories, newest first · one card per story