DeepAI AI Chat
Log In Sign Up

Distributed Verifiers in PCP

by   Nagaganesh Jaladanki, et al.

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 models that involve a network of verifier nodes communicating with a single independent prover that has access to the complete network structure of the verifiers. The prover is tasked with convincing all verifiers of some global property of the network graph. In addition, each individual verifier may be given some input string they will be required to verify during the course of computation. Verifier nodes are allowed to exchange messaged with nodes a constant distance away, and accept / reject the input after some computation. Because individual nodes are limited to a local view, communication with the prover is potentially necessary to prove global properties about the network graph of nodes, which only the prover has access to. In this system of models, the entire model accepts the input if and only if every individual node has accepted. There are three models in the distributed verifier proof system family: 𝖫𝖢𝖯, 𝖽𝖨𝖯, and our proposed 𝖽𝖯𝖢𝖯, with the fundamental difference between these coming from the type of communication established between the verifiers and the prover. In this paper, we will first go over the past work in the 𝖫𝖢𝖯 and 𝖽𝖨𝖯 space before showing properties and proofs in our 𝖽𝖯𝖢𝖯 system.


page 1

page 2

page 3

page 4


Local verification of global proofs

In this work we study the cost of local and global proofs on distributed...

The Power of Distributed Verifiers in Interactive Proofs

We explore the power of interactive proofs with a distributed verifier. ...

Introduction to local certification

Local certification is an concept that has been defined and studied rece...

Massively Parallel Single-Source SimRanks in o(log n) Rounds

SimRank is one of the most fundamental measures that evaluate the struct...

Twenty-Two New Approximate Proof Labeling Schemes (Full Version)

Introduced by Korman, Kutten, and Peleg (Distributed Computing 2005), a ...