Periodic Reporting for period 2 - VERICOMP (Foundations of Verifiable Computing)

Proof systems allow a weak verifier to ascertain the correctness of complex computational statements. Efficiently verifiable proof systems are fundamental objects in the study of computation. Their study has led to some of the deepest and most celebrated insights in...