Shared vs private randomness in distributed interactive proofs

Pedro Montealegre, Diego Ramírez-Romero, Ivan Rapaport

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

In distributed interactive proofs, the nodes of a graph G interact with a powerful but untrustable prover who tries to convince them, in a small number of rounds and through short messages, that G satisfies some property. This series of interactions is followed by a phase of distributed verification, which may be either deterministic or randomized, where nodes exchange messages with their neighbors. The nature of this last verification round defines the two types of interactive protocols. We say that the protocol is of Arthur-Merlin type if the verification round is deterministic. We say that the protocol is of Merlin-Arthur type if, in the verification round, the nodes are allowed to use a fresh set of random bits. In the original model introduced by Kol, Oshman, and Saxena [PODC 2018], the randomness was private in the sense that each node had only access to an individual source of random coins. Crescenzi, Fraigniaud, and Paz [DISC 2019] initiated the study of the impact of shared randomness (the situation where the coin tosses are visible to all nodes) in the distributed interactive model. In this work, we continue that research line by showing that the impact of the two forms of randomness is very different depending on whether we are considering Arthur-Merlin protocols or Merlin-Arthur protocols. While private randomness gives more power to the first type of protocols, shared randomness provides more power to the second. Our results also connect shared randomness in distributed interactive proofs with distributed verification, and new lower bounds are obtained.

Original languageEnglish
Title of host publication31st International Symposium on Algorithms and Computation, ISAAC 2020
EditorsYixin Cao, Siu-Wing Cheng, Minming Li
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages511-5113
Number of pages4603
ISBN (Electronic)9783959771733
DOIs
StatePublished - Dec 2020
Externally publishedYes
Event31st International Symposium on Algorithms and Computation, ISAAC 2020 - Virtual, Hong Kong, China
Duration: 14 Dec 202018 Dec 2020

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume181
ISSN (Print)1868-8969

Conference

Conference31st International Symposium on Algorithms and Computation, ISAAC 2020
Country/TerritoryChina
CityVirtual, Hong Kong
Period14/12/2018/12/20

Keywords

  • Distributed interactive proofs
  • Distributed verification
  • Private randomness
  • Shared randomness

Fingerprint

Dive into the research topics of 'Shared vs private randomness in distributed interactive proofs'. Together they form a unique fingerprint.

Cite this