-
@dagatsoin @fenarinarsa @tiboleclerc @shake75 C’est démontré mathématiquement qu’au moins 2 sont exclusives. Anonymat ou vérifiabilité locale. hal.inria.fr/hal-01858034/documentPermalink On twitter.com
Mood 0
-
@dagatsoin @fenarinarsa @tiboleclerc @shake75 Pardon, j’ai été un poil vite… On a démontré que anonymat ⇒ vérifiabilité locale. Je cherche l’autre thèse, mais il a été démontré aussi qu’on ne peut avoir les 3 (anonymat, locale & globale). Donc on en déduit qu’on doit perdre la vérif globale dans un système électronique.Permalink On twitter.com
Mood +2 🙂
-
@dagatsoin @fenarinarsa @tiboleclerc @shake75 Effectivement dans le vote à l’urne, la vérifiabilité globale est impossible (un citoyen lambda ne peut refaire le dépouillement après coup)On twitter.com
Mood 0
-
@dagatsoin @fenarinarsa @tiboleclerc @shake75 C’est minimisé très fortement grâce à la temporalité dans le cas d’un vote à l’urne + la présence (possible) des scrutateurs. Tu peux rester de A à Z à surveiller l’urne et le dépouillement et t’assurer au moins que ton bureau de vote est correct. Ainsi que la publi prefecture.Permalink On twitter.com
Mood 0