💻 computer science

MultiBallot: Verifiable and privacy-preserving E-Collecting in the Swiss setting

Dit artikel stelt een beveiligd, privacybehoudend en verifieerbaar protocol voor voor het verzamelen van elektronische handtekeningen in Zwitserland, waarbij gebruik wordt gemaakt van het parallelle karakter van meerdere actieve verzamelingen om participatieprivacy te waarborgen zonder dat een anoniem kanaal vereist is.

Oorspronkelijke auteurs: Florian Moser, Léo Louistisserand

Gepubliceerd 2026-05-20

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Florian Moser, Léo Louistisserand

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je Zwitserland voor als een gigantisch, drukke stadsplein waar mensen voortdurend nieuwe regels of wijzigingen in de manier waarop de stad wordt bestuurd, voorstellen. In deze stad wachten burgers niet alleen op verkiezingsdag; ze kunnen op elk moment een "handtekeningenactie" starten om een stemming over een specifiek onderwerp af te dwingen. Als genoeg mensen zich aanmelden, moet de hele stad daarover stemmen.

Het probleem? Momenteel worden deze handtekeningenacties grotendeels op papier uitgevoerd. Papier is traag, makkelijk kwijt te raken en soms proberen mensen te bedriegen door handtekeningen te vervalsen. De auteurs van dit artikel, Florian Moser en Léo Louistisserand, willen dit proces online brengen, maar dan met twee zeer strenge regels:

Privacy: Niemand mag weten voor welk specifiek doel jij hebt getekend.
Verifieerbaarheid: Je moet kunnen bewijzen dat je handtekening is geteld, en de stad moet kunnen bewijzen dat de eindtelling correct is.

Hieronder wordt hun oplossing, genaamd MultiBallot, uitgelegd via eenvoudige analogieën.

Het Grote Probleem: De "Stille" Handtekening

Bij een normale verkiezing stem je "Ja" of "Nee". Als je "Ja" stemt, is het duidelijk dat je hebt gestemd. Maar bij een handtekeningenactie stem je alleen maar "Ja". Als je een petitie ondertekent, zeg je: "Ik steun dit."

Het lastige deel is dat in Zwitserland veel handtekeningenacties tegelijk plaatsvinden. Misschien gaat het ene over het bouwen van een nieuw park, het andere over het verlagen van belastingen, en een derde over het veranderen van schooltijden.

De Oude Manier: Als je de "Park"-petitie tekent, weet het systeem dat je de "Park"-petitie hebt getekend. Als je de anderen niet tekent, weet het systeem dat je ze niet hebt getekend. Dit onthult je privacy.
De Nieuwe Manier (MultiBallot): Het systeem behandelt alle actieve petities als één enkel, gigantisch "menu". Wanneer je met het systeem interacteert, kies je niet gewoon één item; je werkt je hele menu bij.

De Kernmagische Truc: Het "Hersleuteling"-Masker

Stel je voor dat je een afgesloten doos hebt voor elke actieve petitie in het land.

De Standaardtoestand: Elke doos is vergrendeld en bevat een "0" (wat betekent: "Ik heb dit nog niet getekend").
De Actie: Wanneer je de "Park"-petitie wilt tekenen, open je niet zomaar die ene doos. Je neemt elke enkele doos op het menu en wisselt de inhoud uit.
- Voor de "Park"-doos wissel je de "0" in voor een "1" (wat betekent: "Getekend!").
- Voor alle andere dozen (Belasting, School, enz.) neem je de bestaande "0", schud je de doos (herversleuteling) en leg je hem terug. Voor een buitenstaander ziet de doos er volledig anders uit, maar hij bevat nog steeds een "0".

Waarom is dit cool?
Omdat je elke doos tegelijkertijd hebt bijgewerkt, kan een buitenstaander die naar je menu kijkt niet vertellen welke doos je eigenlijk hebt veranderd in een "1". Ze zien alleen dat je je hele menu hebt bijgewerkt. Je zou de Park-petitie hebben getekend, of de Belasting-petitie, of beide. Voor hen is het een mysterie. Zo verbergen ze je privacy zonder dat er een geheim, anoniem tunnel nodig is.

Het "Twee-Apparaten"-Veiligheidsnet

Om ervoor te zorgen dat niemand bedriegt, gebruikt het systeem twee verschillende apparaten voor elke burger:

Het Deelname-apparaat (Je Telefoon): Hier klik je daadwerkelijk om te tekenen. Je vertrouwt dit apparaat om je geheim veilig te houden.
Het Audit-apparaat (Een Aparte Tablet of Computer): Dit werkt als een bonprinter. Nadat je hebt getekend, controleer je dit tweede apparaat. Het downloadt de "afgesloten dozen" uit het openbare register en ontgrendelt ze alleen voor jou. Het toont je: "Ja, je hebt de Park-petitie getekend."

Als je telefoon probeert te bedriegen (bijvoorbeeld: het tekent de Belasting-petitie maar vertelt je dat het de Park-petitie tekende), zal je Audit-apparaat je de waarheid tonen. Als de telefoon en het Audit-apparaat overeenkomen, weet je dat je handtekening veilig is en wordt geteld.

Het "Openbaar Register" (Het Prijsbord)

Stel je een gigantisch prikbord met glazen wanden op het stadsplein voor. Iedereen die een petitie tekent, schrijft hun update op dit bord.

Transparantie: Iedereen kan naar het bord kijken.
Bewijs: Elke update wordt vergezeld door een "wiskundig zegel" (een Zero-Knowledge Proof). Dit zegel bewijst: "Ik heb de wiskunde correct uitgevoerd", zonder te onthullen wat de wiskunde was.
Geen Wissen: Zodra iets op dit bord staat, kan het niet worden gewist of gewijzigd. Dit voorkomt fraude.

Omgaan met de "Wereldse" Rommel

De auteurs weten dat het leven niet perfect is. Mensen verhuizen, worden 18 of sterven.

De Geschiktheidslijst: Er is een vertrouwde "Rooster" (zoals een kiezersregister) dat voortdurend bijwerkt wie mag tekenen. Als je naar een nieuwe stad verhuist, werkt het systeem je toestemming om lokale petities te tekenen automatisch bij.
Papier + Digitaal: Het systeem is ontworpen om te werken, zelfs als sommige mensen op papier tekenen en anderen online. De "Papieren" handtekeningen worden net als de digitale behandeld, en komen in hetzelfde systeem met afgesloten dozen terecht zodat ze eerlijk samen met de digitale stemmen kunnen worden geteld.

Het Resultaat

Het artikel beweert dat MultiBallot een "het beste van twee werelden"-scenario bereikt:

Privacy: Het verbergt voor welke petitie je hebt getekend door het te verbergen tussen alle andere actieve petities.
Verifieerbaarheid: Het stelt je in staat om te bewijzen dat je handtekening is geteld en stelt het publiek in staat om te bewijzen dat de eindtelling accuraat is.
Realisme: Het vereist geen onmogelijke technologie (zoals magische anonieme internettunnels) en past binnen het Zwitserse juridische kader waar veel petities tegelijkertijd lopen.

Kortom, het verandert een chaotische stapel handtekeningenacties in een beveiligd, transparant en privé digitaal proces waarbij je "Ja" wordt geteld, maar je specifieke "Ja" je geheim blijft.

Technische Samenvatting: MultiBallot: Verifieerbare en privacybehoudende e-verzameling in de Zwitserse context

Probleemstelling
Het artikel behandelt de veiligheids- en privacyuitdagingen die inherent zijn aan systemen voor elektronische handtekeningenverzameling (e-verzameling), specifiek binnen de Zwitserse context van directe democratie. In tegenstelling tot elektronisch stemmen (e-stemmen), waarbij verkiezingen discrete gebeurtenissen zijn met een vast kiesvolk, omvat e-verzameling continue, parallel lopende campagnes waarbij de in aanmerking komende deelnemers dynamisch veranderen (bijvoorbeeld vanwege leeftijd, verhuizing of overlijden).

Bestaande e-verzamelingssystemen, zoals het systeem voor het Europees Burgerinitiatief (EBI) of het aankomende kantonale systeem van Sankt Gallen, missen beveiligingsgaranties van de laatste generatie. Specifiek vertrouwen ze vaak volledig op vertrouwde servers of slagen ze er niet in end-to-end verifieerbaarheid te bieden. Een kritieke lacune die wordt geïdentificeerd, is deelnameprivacy: bij e-verzameling is het ondertekenen van een petitie gelijk aan een "ja"-stem, wat betekent dat de daad van deelname op zich de standpunt van de kiezer onthult. Standaard privacydefinities voor e-stemmen (die een keuze tussen opties veronderstellen) zijn niet direct van toepassing. Bovendien vereist het bereiken van deelnameprivacy bij e-stemmen doorgaans een anoniem kanaal, een sterke en vaak onrealistische aanname. Het artikel merkt op dat in Zwitserland veel parallelle verzamelingen gelijktijdig actief zijn, een factor die momenteel niet wordt benut voor privacyverbetering.

Methodologie en Protocolontwerp
De auteurs stellen MultiBallot voor, een protocol dat is ontworpen om verifieerbaarheid en deelnameprivacy te bereiken zonder een anoniem kanaal aan te nemen. De methodologie is gebaseerd op een realistisch vertrouwensmodel dat is afgeleid van Zwitserse e-stemregels, waarbij gebruik wordt gemaakt van gedistribueerde controlecomponenten (Aankondigingsbord, Tellers, Kiesregister) in plaats van één enkele vertrouwde server.

De kern van de technische innovatie is de parallelle stembiljetstructuur:

Stembiljetopbouw: Voor elke actieve verzameling ( $C_1, C_2, \dots, C_n$ ) onderhoudt een kiezer één enkel stembiljet met een specifieke versleutelde tekst voor elke verzameling.
Deelnemingsmechanisme: Om een specifieke verzameling te ondertekenen, versleutelt het apparaat van de kiezer de waarde 1 voor de versleutelde tekst van die verzameling. Voor alle andere actieve verzamelingen voert het apparaat een herversleuteling (randomisatie) uit van de bestaande versleutelde teksten.
Zero-Knowledge Bewijzen (ZKP): De kiezer genereert een ZKP dat bewijst dat voor elke verzameling de nieuwe versleutelde tekst óf een versleuteling is van 1 (ondertekenen) óf een herversleuteling van de vorige versleutelde tekst (niet-ondertekenen). Cruciaal onthult het bewijs niet welke bewerking voor welke verzameling is uitgevoerd.
Ononderscheidbaarheid: Omdat veel verzamelingen parallel lopen, kan een waarnemer niet onderscheiden of een kiezer Verzameling A, Verzameling B of geen van beide heeft ondertekend, aangezien het stembiljet van de kiezer altijd geldige versleutelde teksten bevat voor alle actieve verzamelingen. Deelname aan een specifieke verzameling wordt verborgen binnen de set van alle actieve verzamelingen.

Belangrijkste Bijdragen

Afleiding van een Realistische Context: Het artikel vestigt een formeel kader voor e-verzameling op basis van Zwitserse e-stemwetten, rekening houdend met continue werking, dynamische in aanmerking komende deelnemers (via een Kiesregister) en het ontbreken van intrekking.
Privacy zonder Anonieme Kanalen: Het protocol bereikt deelnameprivacy door gebruik te maken van het parallelle karakter van verzamelingen. Het verbergt een specifieke deelname tussen mogelijke deelnames in andere actieve verzamelingen, waardoor de sterke aanname van een anoniem kanaal niet nodig is.
Verifieerbaarheid: Het systeem biedt End-to-End (E2E) Verifieerbaarheid:
- Individuele Verifieerbaarheid: Kiezers kunnen via een onafhankelijk Auditapparaat verifiëren dat hun stembiljet hun beoogde keuzes bevat (door de versleutelde teksten die aan hun publieke sleutel zijn gekoppeld te ontsleutelen).
- Universele Verifieerbaarheid: De uiteindelijke telling wordt berekend door de versleutelde teksten voor elke verzameling homomorf te aggregeren en gedistribueerde ontsleuteling uit te voeren door de Tellers. Het resultaat is controleerbaar door derden.
Hybride Ondersteuning: Het protocol is ontworpen om te werken in een hybride setting waarbij fysieke handtekeningen (papier) worden omgezet in digitale invoer door een Hybride Kanaal (HK). De Tellers kunnen deze invoer controleren om te waarborgen dat er geen "stopping" (nep-handtekeningen) of "dropping" (weglaten) plaatsvindt, zonder de specifieke deelnamegegevens van kiezers te leren die het hybride kanaal niet hebben gebruikt.
Dynamische In aanmerking komende Deelnemers en Sleutelrotatie: Het protocol ondersteunt continue werking, wat mogelijk maakt dat kiezers hun sleutels rotteren en dat de in aanmerking komende deelnemers veranderen (bijvoorbeeld een kiezer die verhuist naar een nieuwe gemeente) zonder de integriteit van de lopende verzamelingen te verstoren.

Resultaten en Veiligheidsclaims
Het artikel biedt een formele veiligheidsanalyse onder een Dolev-Yao-adversariaal model.

Verifieerbaarheid: Het protocol garandeert dat als een kiezer zijn deelname verifieert, deze wordt geteld. Universele verifieerbaarheid geldt op voorwaarde dat het Kiesregister, het Hybride Kanaal (indien gebruikt) en de Tellers eerlijk zijn.
Privacy: Deelnameprivacy wordt gegarandeerd onder de aanname dat het Deelnemingsapparaat en het Auditapparaat eerlijk zijn. De ZKP's zorgen ervoor dat de adversary niet kan onderscheiden tussen een herversleuteling en een versleuteling van 1.
Vertrouwensaanname: Het systeem vereist een gedistribueerde opzet waarbij slechts één component per controlegroep (bijvoorbeeld één eerlijke Teller, één eerlijke knoop van het Aankondigingsbord) vertrouwd hoeft te worden. Het vermijdt expliciet de noodzaak van een volledig vertrouwde server.

Betekenis en Beperkingen
Het artikel beweert dat MultiBallot de beveiliging van e-verzameling op het niveau brengt van e-stemsystemen van de laatste generatie. De belangrijkste betekenis ligt in het oplossen van het probleem van deelnameprivacy in een realistische context zonder te vertrouwen op onpraktische anonieme kanalen.

Echter, de auteurs zijn bescheiden wat betreft de beperkingen van dit privacymodel. Zij erkennen dat hoewel het protocol verbergt welke verzameling een kiezer heeft ondertekend, het niet volledig verbergt of een kiezer überhaupt heeft deelgenomen. Als een verzameling een unieke periode van grote populariteit heeft of als tellingen frequent plaatsvinden, zou statistische analyse het de adversary mogelijk nog steeds toelaten om deelname aan specifieke verzamelingen af te leiden. Bovendien merkt het artikel op dat het bereiken van sterkere privacy (het verbergen van totale deelname) zou vereisen dat kiezers regelmatig "dummy"-acties uitvoeren (herversleutelen zonder te ondertekenen), wat gebruiksgemakproblemen oplevert, of dat het sterkere vertrouwensaanname vereist (bijvoorbeeld een verborgen kanaal naar een autoriteit), wat het huidige protocol vermijdt.

Kortom, MultiBallot biedt een praktisch, verifieerbaar en privacybehoudend raamwerk voor e-verzameling dat aansluit bij Zwitserse wettelijke vereisten en gebruikmaakt van de unieke parallelle structuur van handtekeningen-campagnes om de beveiliging te verbeteren.