Lower bound for constant-size local certification

Virgina Ardévol Martínez, Marco Caoduro, Laurent Feuilloley +3

Given a network property or a data structure, a local certification is a labeling that allows to efficiently check that the property is satisfied, or that the structure is correct.…