The Power of Distributed Verifiers in Interactive Proofs
From MaRDI portal
Publication:5146838
DOI10.1137/1.9781611975994.67OpenAlexW2962736685MaRDI QIDQ5146838
Moni Naor, Eylon Yogev, Merav Parter
Publication date: 2 February 2021
Published in: Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1812.10917
Related Items
Succinct non-interactive arguments via linear interactive proofs, Proof-labeling schemes: broadcast, unicast and in between, Distributed Testing of Distance-k Colorings, Efficient Distributed Decomposition and Routing Algorithms in Minor-Free Networks and Their Applications, Unnamed Item, A hierarchy of local decision, A meta-theorem for distributed certification, Redundancy in distributed proofs, Compact distributed certification of planar graphs, Local certification of graphs on surfaces, A meta-theorem for distributed certification, Distributed interactive proofs for the recognition of some geometric intersection graph classes, Interactive proofs for social graphs, Local certification of graphs with bounded genus, Introduction to local certification