Browsing by Author "6ff1b1cb-63ad-4553-8045-d434b6a6b686"
Now showing items 1-1 of 1
-
Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho; Paz, Ami; Perry, Mor (Springer, 2020)Distributed proofs are mechanisms that enable the nodes of a network to collectively and efficiently check the correctness of Boolean predicates on the structure of the network (e.g., having a specific diameter), or on ...