Sign up to our mailing list by sending a blank email to invariantsociety-subscribe@maillist.ox.ac.uk

Interactive Proofs

Jakub Závodný, Computing Laboratory

Date Icon Week 4, Tuesday
Time Icon 8:15pm

In mathematics, a proof is a monologue: a coherent and self-contained argument, conclusively convincing any reader about the truth of some proposition. Computer scientists, however, turned the proof into a dialogue between a prover and a verifier. Combined with bits of probability and computational complexity, we gain not only a fair amount of additional coolness, but also far-reaching practical applications.

In my talk I will introduce the world of interactive proofs, show you how to prove that you know a secret without giving away the secret itself, how to find the average exam score among your friends without anyone revealing their own, and some more…