IQI Weekly Seminar

ABSTRACT:

This talk will focus on the use of interactive proofs in verifying quantum computation. I will focus on the work [ABE08] and present new techniques and insights which allow us to deal with subtle issues in analyzing such interactive protocols (soon to be posted in [ABEM 16]). I will also discuss the issue of constructing fault tolerant verification protocols and the related topic of blind computation.