Le sceau de la liste : prouver qu'elle n'a pas changé sans publier les participants

Deux exigences s'opposent en apparence. Pour qu'un tirage soit démontrable, il faut prouver que la liste des participants n'a pas bougé. Pour respecter le RGPD, il est hors de question de publier cette liste. Le sceau résout la contradiction, et la manière dont il la résout est la partie la plus élégante du dispositif.

Pourquoi il faut sceller

L'empreinte de la graine et le round drand annoncé ferment deux portes. Il en reste une troisième, et c'est la plus large : la liste elle-même.

Tant qu'elle peut changer, les deux premiers engagements ne garantissent rien. Ajouter ou retirer une entrée après avoir vu le résultat suffit à changer le gagnant sans contredire aucune empreinte publiée. Le calcul a trois entrées ; en figer deux ne sert à rien si la troisième reste libre.

Ce qu'est une racine de Merkle

C'est une empreinte d'ensemble, construite par étages. Chaque participation devient une feuille ; les feuilles sont hachées deux à deux, puis les résultats deux à deux, jusqu'à une valeur unique : la racine.

Deux propriétés en découlent :

• toute modification change la racine. Retirer une entrée, en ajouter une, en modifier une seule : la racine publiée cesse de correspondre, et cela se constate immédiatement ;
• on peut prouver l'appartenance d'une feuille sans montrer les autres. C'est ce qui distingue une racine de Merkle d'une simple empreinte de fichier.

Ce que contient une feuille, et ce qu'elle ne contient pas

Le point qui règle la question RGPD tient ici : les feuilles ne portent aucune donnée personnelle. Elles contiennent un identifiant pseudonyme et un poids. Pas d'adresse e-mail, pas de nom, pas d'IP.

Conséquence directe : le sceau publié ne révèle rien de personne. Il est même publiable sans restriction, puisqu'il ne dit ni combien de personnes s'appellent comment, ni qui a participé — seulement qu'un ensemble donné, réduit à des pseudonymes, n'a pas changé.

Cette conception a un effet secondaire précieux. Un participant qui demande l'effacement de ses données après le tirage obtient satisfaction sans que le sceau ne devienne faux : on supprime les données personnelles rattachées à l'identifiant, et l'identifiant reste dans un arbre qui ne contenait rien d'autre.

La preuve d'inclusion

Un participant veut s'assurer qu'il figurait bien dans le vivier. On lui fournit une preuve d'inclusion : la suite des empreintes voisines nécessaires pour remonter de sa feuille jusqu'à la racine publiée.

S'il refait ce chemin et retrouve la racine, deux choses sont établies : il était dans la liste, et la liste est bien celle qui a été scellée. Il obtient cette certitude sans que personne ne lui montre les autres participants.

L'invariant d'ordre

Le sceau est publié à la clôture des inscriptions, avant que le round drand employé n'existe. Cela se vérifie par la même comparaison d'entiers que précédemment :

`roundDuSceau < roundDuTirage`

L'enchaînement complet donne alors : la liste ne peut plus changer sans que la racine cesse de correspondre ; le hasard n'était pas connaissable quand elle a été figée ; le résultat est donc déjà déterminé au moment du scellement, et personne — pas même celui qui détient la graine et la base de données — ne peut savoir lequel.

FAQ