The Power of Distributed Verifiers in Interactive Proofs

28 December 2018

Papers citing "The Power of Distributed Verifiers in Interactive Proofs"

30 / 30 papers shown

Title
Tight Bounds on the Message Complexity of Distributed Tree Verification S. Kutten Peter Robinson Ming Ming Tan 70 1 0 22 Jan 2024
Local certification of geometric graph classes Oscar Defrain Louis Esperet Aurélie Lagoutte Pat Morin Jean-Florent Raymond 84 2 0 28 Nov 2023
The Distributed Complexity of Locally Checkable Labeling Problems Beyond Paths and Trees Yi-Jun Chang 90 2 0 12 Nov 2023
Local Certification of Some Geometric Intersection Graph Classes Benjamín Jauregui Pedro Montealegre Diego Ramírez-Romero I. Rapaport 59 2 0 09 Sep 2023
Local Certification of Majority Dynamics Diego Maldonado Pedro Montealegre Martín Ríos-Wilson Guillaume Theyssier 63 1 0 04 Sep 2023
Distributed Certification for Classes of Dense Graphs Pierre Fraigniaud Frédéric Mazoit Pedro Montealegre I. Rapaport Ioan Todinca 76 12 0 26 Jul 2023
Efficient Distributed Decomposition and Routing Algorithms in Minor-Free Networks and Their Applications Yi-Jun Chang 58 5 0 10 Apr 2023
Distributed Quantum Interactive Proofs Franccois Le Gall Masayuki Miyamoto H. Nishimura 75 8 0 04 Oct 2022
Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications Franccois Le Gall Masayuki Miyamoto H. Nishimura 90 5 0 04 Oct 2022
Computing Power of Hybrid Models in Synchronous Networks Pierre Fraigniaud Pedro Montealegre Pablo Paredes I. Rapaport Martín Ríos-Wilson Ioan Todinca 75 2 0 04 Aug 2022
MPC for Tech Giants (GMPC): Enabling Gulliver and the Lilliputians to Cooperate Amicably Bar Alon M. Naor Eran Omri Uri Stemmer 110 5 0 11 Jul 2022
$Narrowing the LOCAL$\unicode{x2013}$CONGEST Gaps in Sparse Networks via Expander Decompositions$ Narrowing the LOCAL $\unicode{x2013}$ CONGEST Gaps in Sparse Networks via Expander Decompositions Yi-Jun Chang Hsin-Hao Su 111 10 0 17 May 2022
Distributed Interactive Proofs for the Recognition of Some Geometric Intersection Graph Classes Benjamín Jauregui Pedro Montealegre I. Rapaport 59 5 0 06 Dec 2021
A Meta-Theorem for Distributed Certification Pierre Fraigniaud Pedro Montealegre I. Rapaport Ioan Todinca 79 20 0 06 Dec 2021
Local certification of graph decompositions and applications to minor-free classes Nicolas Bousquet Laurent Feuilloley Théo Pierron 80 23 0 30 Jul 2021
Local certification of graphs on surfaces Louis Esperet Benjamin Léveque 66 23 0 08 Feb 2021
Compact Distributed Interactive Proofs for the Recognition of Cographs and Distance-Hereditary Graphs Pedro Montealegre Diego Ramírez-Romero I. Rapaport 103 8 0 06 Dec 2020
Reactive Proof Labeling Schemes for Distributed Decision Jiaqi Chen Shlomi Dolev S. Kutten 53 0 0 04 Nov 2020
Twenty-Two New Approximate Proof Labeling Schemes (Full Version) Y. Emek Yuval Gil 79 10 0 28 Jul 2020
Local Certification of Graphs with Bounded Genus Laurent Feuilloley Pierre Fraigniaud Pedro Montealegre I. Rapaport É. Rémila Ioan Todinca 66 24 0 16 Jul 2020
Shared vs Private Randomness in Distributed Interactive Proofs Pedro Montealegre Diego Ramírez-Romero I. Rapaport 59 7 0 29 Jun 2020
Compact Distributed Certification of Planar Graphs Laurent Feuilloley Pierre Fraigniaud I. Rapaport É. Rémila Pedro Montealegre Ioan Todinca 66 30 0 12 May 2020
Distributed Quantum Proofs for Replicated Data Pierre Fraigniaud Franccois Le Gall H. Nishimura A. Paz 87 13 0 24 Feb 2020
Introduction to local certification Laurent Feuilloley 91 34 0 28 Oct 2019
Trade-offs in Distributed Interactive Proofs P. Crescenzi Pierre Fraigniaud A. Paz 75 27 0 09 Aug 2019
Certifying Safety when Implementing Consensus Aurojit Panda 49 0 0 08 Mar 2019
Redundancy in Distributed Proofs Laurent Feuilloley Pierre Fraigniaud J. Hirvonen A. Paz M. Perry 96 28 0 08 Mar 2018
Proof-Labeling Schemes: Broadcast, Unicast and In Between B. Patt-Shamir M. Perry 66 21 0 23 Aug 2017
Error-Sensitive Proof-Labeling Schemes Laurent Feuilloley Pierre Fraigniaud 117 13 0 11 May 2017
A hierarchy of local decision Laurent Feuilloley Pierre Fraigniaud J. Hirvonen 77 38 0 29 Feb 2016