CIS Seminar:”Probabilistic proofs: theory, hardware, and everything in between”
Zoom - Email CIS for link cherylh@cis.upenn.eduIn 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 […]