w is problem instance and c is a problem solution called a certificate
Turing verifier
Creator
Creator
Seonglae ChoCreated
Created
2023 Dec 7 6:7Editor
Editor
Seonglae ChoEdited
Edited
2023 Dec 7 6:15Seonglae ChoSeonglae ChoSeonglae ChoSeonglae Cho