Redundancy in distributed proofs
Loading...
Access rights
openAccess
URL
Journal Title
Journal ISSN
Volume Title
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä
This publication is imported from Aalto University research portal.
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
Date
2020-10-07
Department
Department of Computer Science
Major/Subject
Mcode
Degree programme
Language
en
Pages
20
Series
DISTRIBUTED COMPUTING
Abstract
Distributed proofs are mechanisms that enable the nodes of a network to collectively and efficiently check the correctness of Boolean predicates on the structure of the network (e.g., having a specific diameter), or on objects distributed over the nodes (e.g., a spanning tree). We consider well known mechanisms consisting of two components: a prover that assigns a certificate to each node, and a distributed algorithm called a verifier that is in charge of verifying the distributed proof formed by the collection of all certificates. 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 to establish perfect tradeoffs between the size of the certificate stored at every node, and the number of rounds of the verification protocol.Description
Keywords
Distributed graph algorithms, Distributed verification, Nondeterminism, Proof-labeling schemes, Space-time tradeoffs
Other note
Citation
Feuilloley, L, Fraigniaud, P, Hirvonen, J, Paz, A & Perry, M 2020, ' Redundancy in distributed proofs ', Distributed Computing . https://doi.org/10.1007/s00446-020-00386-z