The goal of the thesis is to study applications and limits of interactive proof systems in the context of verifiable outsourcing of computation and/or secure proofs of data possession. The methods might include designing new doubly-efficient interactive proof systems and/or proving new impossibility results in the context of efficient interactive argument systems.
Cílem práce je studium aplikací a limitů interaktivních důkazových systémů v kontextu ověřitelného delegování výpočtů a/nebo bezpečných důkazů o držení dat. Metody mohou zahrnovat nové návrhy plně efektivních iteraktivních důkazových systémů a/nebo nové důkazy nemožnosti konstrukcí v kontextu interaktivních důkazových systémů.