The Power of Distributed Verifiers in Interactive Proofs

Moni Naor, Merav Parter, Eylon Yogev

Type: Preprint

Publication Date: 2018-12-28

Citations: 3

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+	The Power of Distributed Verifiers in Interactive Proofs	2018	Moni Naor Merav Parter Eylon Yogev
+ PDF Chat	The Power of Distributed Verifiers in Interactive Proofs	2019	Moni Naor Merav Parte Eylon Yogev
+	Trade-offs in Distributed Interactive Proofs	2019	Pierluigi Crescenzi Pierre Fraigniaud Ami Paz
+	Distributed Quantum Interactive Proofs	2022	François Le Gall Masayuki Miyamoto Harumichi Nishimura
+	Compact Distributed Certification of Planar Graphs	2020	Laurent Feuilloley Pierre Fraigniaud Iván Rapaport Éric Rémila Pedro Montealegre Ioan Todinca
+	Compact Distributed Certification of Planar Graphs	2020	Laurent Feuilloley Pierre Fraigniaud Iván Rapaport Éric Rémila Pedro Montealegre Ioan Todinca
+ PDF Chat	A Survey of Interactive Verifiable Computing: Utilizing Low-degree Polynomials	2025	Angold Wang
+ PDF Chat	Compact Distributed Certification of Planar Graphs	2020	Laurent Feuilloley Pierre Fraigniaud Pedro Montealegre Iván Rapaport Éric Rémila Ioan Todinca
+	Algebraic Proof Complexity: Progress, Frontiers and Challenges	2016	Tonnian Pitassi Iddo Tzameret
+	Distributed Verifiers in PCP	2020	Nagaganesh Jaladanki Wilson Wu
+	Interactive Oracle Proofs of Proximity to Codes on Graphs	2025	Hugo Delavenne Tanguy Medevielle Élina Roussel
+ PDF Chat	None	2022	Maya Leshkowitz
+	Compact Distributed Interactive Proofs for the Recognition of Cographs and Distance-Hereditary Graphs	2020	Pedro Montealegre Diego Ramírez-Romero Iván Rapaport
+	ETH hardness for densest-k-subgraph with perfect completeness	2017	Mark Braverman Young Kun Ko Aviad Rubinstein Omri Weinstein
+	Shared vs Private Randomness in Distributed Interactive Proofs	2020	Pedro Montealegre Diego Ramírez-Romero Iván Rapaport
+	Shared vs Private Randomness in Distributed Interactive Proofs	2020	Pedro Montealegre Diego Ramírez-Romero Ivan Rapaport
+	Structural Complexity of Rational Interactive Proofs	2023	Daniil Musatov Georgii Potapov
+	Randomized Communication and Implicit Graph Representations	2021	Nathaniel Harms Sebastian Wild Viktor Zamaraev
+	Disjointness is hard in the multi-party number on the forehead model	2007	Troy Lee Adi Shraibman
+	A Note on the Hardness of Problems from Cryptographic Group Actions	2022	Giuseppe D’Alconzo

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (4)

Action	Title	Year	Authors
+ PDF Chat	Local Distributed Decision	2011	Pierre Fraigniaud Amos Korman David Peleg
+	Delegating Computation	2015	Shafi Goldwasser Yael Tauman Kalai Guy N. Rothblum
+	Strong ETH Breaks With Merlin and Arthur: Short Non-Interactive Proofs of Batch Evaluation	2016	Ryan Williams
+	Redundancy in Distributed Proofs	2018	Laurent Feuilloley Pierre Fraigniaud Juho Hirvonen Ami Paz Mor Perry