DeepAI AI Chat
Log In Sign Up

Redundancy in Distributed Proofs

by   Laurent Feuilloley, et al.

Distributed proofs are mechanisms enabling the nodes of a network to collectivity and efficiently check the correctness of Boolean predicates on the structure of the network, or on data-structures distributed over the nodes (e.g., spanning trees or routing tables). We consider mechanisms consisting of two components: a prover assigning a certificate to each node, and a distributed algorithm called verifier that is in charge of verifying the distributed proof formed by the collection of all certificates. In this paper, we show that many network predicates have distributed proofs offering a high level of redundancy, explicitly or implicitly. We use this remarkable property of distributed proofs for establishing perfect tradeoffs between the size of the certificate stored at every node, and the number of rounds of the verification protocol. If we allow every node to communicate to distance at most t, one might expect that the certificate sizes can be reduced by a multiplicative factor of at least t. In trees, cycles and grids, we show that such tradeoffs can be established for all network predicates, i.e., it is always possible to linearly decrease the certificate size. In arbitrary graphs, we show that any part of the certificates common to all nodes can be evenly redistributed among these nodes, achieving even a better tradeoff: this common part of the certificate can be reduced by the size of a smallest ball of radius t in the network. In addition to these general results, we establish several upper and lower bounds on the certificate sizes used for distributed proofs for spanning trees, minimum-weight spanning trees, diameter, additive and multiplicative spanners, and more, improving and generalizing previous results from the literature.


Local verification of global proofs

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

Distributed Quantum Interactive Proofs

The study of distributed interactive proofs was initiated by Kol, Oshman...

Distributed Quantum Proofs for Replicated Data

The paper tackles the issue of checking that all copies of a large data ...

Trade-offs in Distributed Interactive Proofs

The study of interactive proofs in the context of distributed network co...

Note on distributed certification of minimum spanning trees

A distributed proof (also known as local certification, or proof-labelin...

On The Termination of a Flooding Process

Flooding is among the simplest and most fundamental of all distributed n...

OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)

We introduce OpSets, an executable framework for specifying and reasonin...