Browsing by Author "3e9f47c1-b395-4221-8fa8-a129376a0a6e"
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 ...