Dezentrale Wahlen auf Blockchains stehen vor einem fundamentalen Trilemma: Sie müssen gleichzeitig skalierbar, zwingend sicher (receipt-free) und wähler-anonym sein. Das ZK-Rollup-Protokoll DAVINCI kombiniert Zero-Knowledge-SNARKs, Threshold-ElGamal-Verschlüsselung und ein modulares Schaltkreis-Design, um dieses Trilemma zu lösen und manipulationssichere, bestechungsresistente Abstimmungen ohne zentralen Koordinator zu ermöglichen.

Das Trilemma der dezentralen Abstimmungen und die Rolle von ZK-Rollups

Die drei Kernherausforderungen sind:

• Skalierbarkeit: Hohe Frequenz von Wahlvorgängen muss mit begrenzten Ressourcen auf Layer-1-Chains wie Ethereum vereinbart werden.
• Zwangssicherheit (Receipt-Freeness): Wähler dürfen keine belastbare Quittung erhalten, die später zum Verkauf ihrer Stimme verwendet werden könnte.
• Wähler-Anonymität: Die Zuordnung von Adresse zu abgegebener Stimme muss kryptografisch verhindert werden.

ZK-Rollups ermöglichen die Off-Chain-Verarbeitung von Voting-Transaktionen und liefern lediglich kurze Zero-Knowledge-Beweise an die Haupt-Chain. Durch die Einbindung von Threshold-Verschlüsselung werden die verschlüsselten Stimmzettel zudem dezentral entschlüsselt, was eine zentrale Angriffsfläche eliminiert.

Modulares zkSNARK-Circuit-Design für Effizienz und Skalierbarkeit

Der Entwurf von DAVINCI trennt die gesamte Verifikationslogik in drei spezialisierte zkSNARK-Schaltkreise:

• Verifikations-Circuit
• Voting-Circuit
• State-Transition-Circuit (Circuit #4)

Nur der State-Transition-Circuit muss bei Änderungen des Wahl-Zustands neu berechnet werden. Diese Modularisierung führt zu einem signifikanten Gewinn von ca. 33 % an Berechnungszeit für den Sequenzer-Knoten (Jahr 2026). Dank einer ZisK-basierten zkVM und der Nutzung von BabyJubJub-Kurven erreicht der State-Transition-Circuit konsistente Beweiszeiten von 10-15 Sekunden auf Standardhardware (Jahr 2024), wodurch häufige Revoting- und Re-Encryption-Operationen wirtschaftlich machbar bleiben.

Technische Details des State-Transition-Circuits

Der Circuit verifiziert:

• die korrekte Random-Re-Encryption der Ballots durch die Sequenzer,
• die Einhaltung des Threshold-Decryption-Schemas, und
• die Konsistenz des neuen Merkle-Root nach jedem Zustandswechsel.

Die durchschnittliche Beweiszeit von 10-15 s (Escrich et al., 2026) stellt sicher, dass auch in Wahlprozessen mit hoher Frequenz die Latenz gering bleibt.

Anti-Koerzions-Mechanismen: Silent Revoting und randomisierte Re-Encryption

DAVINCI erreicht Receipt-Freeness zu 100 % durch ein kombiniertes Verfahren aus:

• Silent Revoting: Sequenzer überschreiben bereits verarbeitete Stimmzettel zufällig, sodass weder der Wähler noch ein Angreifer die ursprüngliche Stimme rekonstruieren kann.
• Randomisierte Re-Encryption: Jede Ballot wird bei jeder State-Transition neu verschlüsselt; der zufällige Faktor k bleibt geheim, sodass selbst ein veröffentlichter Faktor nur temporär ein potentielles Receipt erzeugen könnte, das jedoch durch nachfolgende Random-Re-Encryptions unwiderruflich gelöscht wird.

Die formalen Sicherheitsbeweise in der IACR-Publikation (Report 2026/2282) demonstrieren, dass keine externen Angreifer mit hoher Wahrscheinlichkeit ein gültiges Quittungs-Proof erzeugen können, selbst wenn sie über vollständige Sicht auf die veröffentlichten ZK-Beweise verfügen.

Formale Sicherheitsbeweise

Die wissenschaftliche Arbeit von Escrich, Bellés-Muñoz und anderen (2026) liefert:

• 100 % Nachweis, dass Silent Revoting receipt-free Wahlen garantiert.
• Mathematische Absicherung gegen Receipt-Attacks mittels Threshold-ElGamal und randomisierter Überschreibung.

Damit wird die Grundlage für manipulationssichere, bestechungsresistente Abstimmungen geschaffen.

Sicherheitsgrenzen und Gegenmaßnahmen

Obwohl die Kernmechanismen robust sind, gibt es erkannte Risiken:

• Quantenangriffsresistenz der Commitments: Hash-basierte Commitments gelten derzeit als relativ sicher im Post-Quantum-Umfeld, jedoch bleibt die Langzeitstabilität von kollisionsfesten Hash-Funktionen wie SHA-256 umstritten.
• Ökonomische Anreize und Malicious-Behaviour von Sequenzern: Sybil- oder Schleuderattacken könnten Sequencer-Knoten unter Druck setzen, insbesondere bei niedriger Stake-Absicherung.

DAVINCI adressiert diese Punkte durch mehrere Schutzmechanismen:

• Ein Angreifer muss mindestens N – k + 1 Sequencer korrumpieren, um Ergebnisse zu blockieren oder Stimmen zu deanonymisieren, was den Aufwand erheblich erhöht.
• Sequencer-Slots und ein „Security-Factor“ limitieren die minimale Anzahl aktiver Sequencer. Ein hoher Security-Factor erhöht die wirtschaftliche Hürde für Angriffe.
• Die Trennung von Commitments und Chiffretexten entkoppelt Wähleradressen von den verschlüsselten Ballots und reduziert die Auswirkungen möglicher Quanten-Durchbrüche in der elliptischen Kurve BN254.

Angriffsszenarien und mitigierende Strategien

Beispielhafte Angriffspfade und ihre Abwehr:

• Re-Encryption-Manipulation: Sollte ein Sequencer die Randomisierung nicht durchführen oder einen reversiblen Faktor veröffentlichen, kann der Nutzer jederzeit erneut abstimmen und den Ballot überschreiben. Die Notwendigkeit, für jeden Block einen State-Transition-Proof zu erzeugen (10-15 s) macht groß angelegte Angriffe kostenintensiv.
• Blockade der Decryption-Phase: Wenn ein Angreifer Sequencer zum Nicht-Teilen ihrer Decryption-Shares bezahlt, bleibt das Ergebnis zunächst unzugänglich. Der obligatorische Security-Factor sorgt jedoch dafür, dass mindestens k Sequencer teilnehmen müssen, wodurch ein vollständiges Blockieren unwahrscheinlich wird.
• Privatschlüssel-Kompromittierung: Auch mit den privaten Schlüssel-Shares eines Teilsets von Sequencern fehlt die Relation zwischen Adresse und Nullifier, sodass eine vollständige Deanonymisierung nicht möglich ist, solange nicht alle Sequencer kollaborieren.

Integration in dynamische Wählerverzeichnisse

DAVINCI lässt sich problemlos an nicht-vordefinierte Wählerlisten anpassen. Durch die Einbindung eines Credential Service Provider (CSP) – beispielsweise ICAO für elektronische Reisepässe – können Berechtigungsnachweise in Echtzeit ausgestellt werden. Der einzige notwendige Protokoll-Änderungspunkt ist das „Authenticate-Vote“-Circuit, das die jeweiligen kryptografischen Proofs des CSP verifiziert. Alle anderen Schaltkreise bleiben unverändert, wodurch Anonymität, Unveränderlichkeit und Verifizierbarkeit erhalten bleiben.

FAQ – Häufig gestellte Fragen

• Können Quantencomputer wirklich alle verschlüsselten Ergebnisse brechen, wenn Commitments vorliegen? Selbst wenn zukünftige Quantencomputer ElGamal- und BN254-Kryptografie knacken könnten, bleibt die Zuordnung zwischen Wähleradresse und Stimme durch die Commitments verborgen. Hash-basierte Commitments gelten derzeit als relativ sicher im Post-Quantum-Umfeld.
• Wie kann man den sequenzerbasierten Beweisprozess mit anderen Blockchains kombinieren? Das Protokoll ist primär auf Ethereum L1 ausgerichtet, ist jedoch so gestaltet, dass es leicht auf andere Layer-2-Lösungen und Cross-Chain-Protokolle übertragen werden kann, sofern diese ZK-Fähigkeiten (z. B. zkEVMs) unterstützen.

Das vorgestellte Protokoll trägt den Namen DAVINCI.

Fazit

Durch die Kombination eines modularen zkSNARK-Circuit-Designs, Threshold-ElGamal-Verschlüsselung und innovativer Anti-Koerzions-Mechanismen wie Silent Revoting erfüllt DAVINCI die drei kritischen Anforderungen skalierbarer, receipt-freier und anonymer dezentraler Wahlen. Die nachgewiesenen Beweiszeiten von 10-15 Sekunden, ein modularisierungsgewinn von rund 33 % und formale Sicherheitsbeweise mit 100 % Garantie stärken die praktische und theoretische Robustheit. Gleichzeitig adressiert das Protokoll potenzielle Schwachstellen – von Quantenangriffen bis zu ökonomischen Anreizen – durch klare Schwellen für Sequencer-Korrelationen und flexible CSP-Integration. Damit liefert DAVINCI eine nachweislich sichere Blaupause für die nächste Generation manipulationssicherer, bestechungsresistenter Abstimmungen auf Blockchains.