2 papers
cs.DC2018
Redundancy in Distributed Proofs
Laurent Feuilloley, Pierre Fraigniaud, Juho Hirvonen +2
Distributed proofs are mechanisms enabling the nodes of a network to collectivity and efficiently check the correctness of Boolean predicates on the structure of the network, or on…
cs.DC2017
Proof-Labeling Schemes: Broadcast, Unicast and In Between
Boaz Patt-Shamir, Mor Perry
We study the effect of limiting the number of different messages a node can transmit simultaneously on the verification complexity of proof-labeling schemes (PLS). In a PLS, each n…