Proving there is a leader without naming it

Laurent Feuilloley, Josef Erik Sedláček, Martin Slávik

Local certification is a mechanism for certifying to the nodes of a network that a certain property holds. In this framework, nodes are assigned labels, called certificates, which…