Browsing by Author "12101d94-8880-4fa2-a4f4-5137fa66df8f"
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 ...