CIS Seminar:”Probabilistic proofs: theory, hardware, and everything in between”
/
Zoom - Email CIS for link
cherylh@cis.upenn.edu
In the past decade, systems that use probabilistic proofs in real-world applications have seen explosive growth. These systems build upon some of the crown jewels of theoretical computer science---interactive proofs, probabilistically checkable proofs, and zero-knowledge proofs---to solve problems of trust and privacy in a wide range of settings. This talk describes my work building systems […]

