1 paper
Nagaganesh Jaladanki, Wilson Wu
Traditional proof systems involve a resource-bounded verifier communicating with a powerful (but untrusted) prover. Distributed verifier proof systems are a new family of proof mod…