All public logs

Combined display of all available logs of zkstacks. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 16:59, 1 July 2020 Srikar talk contribs created page The Knowledge Complexity of Interactive Proof Systems (Created page with "The story of the PCP Theorem begins at MIT in the early 1980s, with a paper that would win the first ever G ̈odel Prize: The Knowledge Complexity of Interactive Proof Systems...")