3 ms·
No proof verifier verifies all valid proofs and terminates on all invalid proofs. (actually I am wrong. You would introduce a new proof, and then step the veri
by QuadmasterXLII 18d ago
No proof verifier verifies all valid proofs and terminates on all invalid proofs.
(actually I am wrong. You would introduce a new proof, and then step the verifier on all ongoing proofs, so non-termination isn't a driving concern)