Probabilistically checkable and interactive proofs (PCP/IP): between theory and practice


This workshop will be held as part of the STOC 2017 Theory Fest, in the morning of Friday June 23 2017.

Topic


The workshop focuses on theory of PCP/IP, motivated and inspired by the practical applications of these systems, with or without zero knowledge, especially to decentralized blockchain-based cryptocurrencies.

Speakers


Eli Ben-Sasson (Technion)
Alessandro Chiesa (UC Berkeley)
Yael Kalai (MSR & MIT)
Rafael Pass (Cornell University)
Ron Rothblum (MIT)
Justin Thaler (Georgetown University)

Goals


As PCP/IP systems are making their way into the real world, intriguing new mathematical questions arise.

This workshop aims to (1) expose the STOC community to the rich variety of theoretical questions in this area, (2) describe the interactions between proof systems and decentralized blockchains, and (3) bring together interested theoreticians to exchange ideas/approaches for these research directions.

Related


Aviv Zohar is running a tutorial on decentralized cryptocurrencies on Monday June 19 2017, also as part of the STOC 2017 Theory Fest.