Your browser doesn't support javascript.
loading
Redundancy in distributed proofs.
Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho; Paz, Ami; Perry, Mor.
Afiliação
  • Feuilloley L; Universidad de Chile, Santiago, Chile.
  • Fraigniaud P; IRIF, CNRS, Université de, Paris, France.
  • Hirvonen J; Aalto University, Espoo, Finland.
  • Paz A; Faculty of Computer Science, University of Vienna, Vienna, Austria.
  • Perry M; Weizmann Institute of Science, Rehovot, Israel.
Distrib Comput ; 34(2): 113-132, 2021.
Article em En | MEDLINE | ID: mdl-34720290
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.
Palavras-chave

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Idioma: En Revista: Distrib Comput Ano de publicação: 2021 Tipo de documento: Article País de afiliação: Chile País de publicação: Alemanha

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Idioma: En Revista: Distrib Comput Ano de publicação: 2021 Tipo de documento: Article País de afiliação: Chile País de publicação: Alemanha