Timeline for Example of a zero-knowledge protocol for a strictly Pi_n sentence?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 17, 2018 at 7:33 | comment | added | none | Are you basically asking for the PCP theorem? | |
| Jul 12, 2018 at 5:53 | comment | added | Monroe Eskew | The statement “P is a proof of S in theory T” is $\Delta_0$ | |
| Jul 12, 2018 at 2:28 | history | edited | Beau Madison Mount | CC BY-SA 4.0 |
added 7 characters in body
|
| Jul 12, 2018 at 1:20 | history | asked | Beau Madison Mount | CC BY-SA 4.0 |