aeris22’s avataraeris22’s Twitter Archive—№ 94,521

  1. …in reply to @Stephanie__A__
    @Steph__A__ @JeromeColombain Ah mais on n’a pas attendu pour avancer hein… C’est *mathématiquement prouvé* qu’on ne peut pas faire un vote électronique équivalent au vote à l’urne. Il y a un triangle de Zooko sur la version électronique.
    1. …in reply to @aeris22
      @Steph__A__ @JeromeColombain Entre anonymat, vérifiabilité locale et vérifiabilité globale, la version vote électronique doit en sacrifier 1 parmi les 3. Et donc ça rend impossible tout vote démocratique au sens actuel du terme.
      1. …in reply to @aeris22
        @Steph__A__ @JeromeColombain Plus exactement il est prouvé (hal.inria.fr/hal-01858034/document) qu’on ne peut pas avoir anonymat et vérifiabilité individuel. Fin de partie pour le vote en ligne, point barre.
        1. …in reply to @aeris22
          @Steph__A__ @JeromeColombain Pardon, j’ai fourché. L’anonymat impose la vérifiabilité locale, et donc par triangle de Zooko sur le sujet, la vérifiabilité globale n’est pas possible.
          1. …in reply to @aeris22
            @Steph__A__ @JeromeColombain Je vous cherche le papier sur la preuve du triangle du coup, histoire de compléter le truc.
            1. …in reply to @aeris22