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.


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.


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


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.


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