Since their inception almost three decades ago, probabilistically checkable and interactive proof systems have served as lenses through which to view and solve disparate problems in computational complexity. Yet one of their most compelling uses is a direct one: a party wishes to convince another party of a statement and, due to a lack of a trust relationship, does so by way of a proof system. Crucially, this paradigm provides benefits such as speedups in verification time, or zero knowledge.
The increased demand for efficient proof systems has motivated intense research, across theoretical and applied conferences, that studies proof systems both from a practical perspective as well as posing theoretical questions motivated by practical concerns.
This workshop will focus on theoretical and practical aspects of such "positive" uses of proof systems. Topics will include probabilistically checkable and interactive proofs, argument systems, transformations from programs to circuits, and hardware implementations.
Further details about this workshop will be posted in due course. Enquiries may be sent to the organizers workshop-proofs1 [at] lists [dot] simons [dot] berkeley [dot] edu (at this address).
All events take place in the Calvin Lab auditorium.
Registration is required to attend this workshop. Space may be limited, and you are advised to register early. The link to the registration form will appear on this page approximately 10 weeks before the workshop. To submit your name for consideration, please register and await confirmation of your acceptance before booking your travel.
Gal Arnon (Weizmann Institute of Science), Nicholas Arnosti (Columbia University), Eli Ben-Sasson (Technion - Israel Institute of Technology), Amey Bhangale (The Weizmann Institute of Science), Dan Boneh (Stanford University), Joseph Bonneau (NYU), Sarah Bordage (École Polytechnique), Elette Boyle (IDC Herzliya), Zvika Brakerski (Weizmann Institute of Science), Jing Chen (Stony Brook University), Kai-Min Chung (Academia Sinica, Taiwan), Henry Corrigan-Gibbs (Stanford University), Vincent Danos (CNRS), Primavera De Filippi (CNRS), Srini Devadas (Massachusetts Institute of Technology), Stefan Dziembowski (University of Warsaw), Georg Fuchsbauer (INRIA), Ariel Gabizon (Protocol.Ai), Chaya Ganesh (Aarhus University), Sergey Gorbunov (University of Waterloo), Christopher Hickey (University of Warwick), Yuval Ishai (Technion - Israel Institute of Technology), Yael Kalai (MSR), Jonathan Katz (University of Maryland), Dakshita Khurana (Microsoft Research), Swastik Kopparty (Rutgers University), Alex Lombardi (MIT), Yun Lu (University of Edinburgh), Mike Luby (ICSI), Giulio Malavolta (Friedrich-Alexander University (Erlangen-Nürnberg)), David Mazières (Stanford University), Sarah Meiklejohn (UCL), Claudio Orlandi (Aarhus University), Rafael Pass (Cornell University), Marcel Yves Plouviez (INRIA), Oxana Poburinnaya (Boston University), Julien Prat (CNRS), Alex Psomas (Carnegie Mellon University), Mariana Raykova (Google), Omer Reingold (Stanford University), Guy Rothblum (Weizmann Institute), Muli Safra (Tel Aviv University), Amit Sahai (UCLA), Alessandra Scafuro (North Carolina State University), Linda Schilling (Ecole Polytechnique), Srinath Setty (Microsoft Research Redmond), Clara Shikhelman (Tel Aviv University), Eran Tromer (Tel Aviv University), Ionna Tzialla (New York University), Riad Wahby (Stanford), Lisa Yang (MIT), Yupeng Zhang (Texas A&M), Vassilis Zikas (University of Edinburgh)