Distributed Verifiers in PCP. - Nagaganesh Jaladanki; Wilson Wu (CoRR, 2020)