Die dezentrale E-Voting-Architektur DAVINCI von Vocdoni: ZK-Rollup, Schwellwert-Kryptografie und universelle Prüfbarkeit

27. Oktober 2026 Kryptowährungen
Ein glänzender Chip mit blauen LEDs liegt neben einem transparenten Safe und einem Ethernet-Switch in einem klimatisierten

Digitale Wahlen stehen häufig vor dem bekannten Trilemma aus Wählergeheimnis, Fälschungssicherheit und Schutz vor Zwang (Coercion Resistance). Das DAVINCI-Protokoll von Vocdoni adressiert dieses Problem, indem es ein Zero-Knowledge-Rollup (ZK-Rollup) mit Schwellwert-ElGamal-Kryptografie kombiniert und damit den bei Systemen wie MACI zwingend notwendigen “Trusted Coordinator” völlig eliminiert.

Das Trilemma der digitalen Wahl und die Notwendigkeit von Coercion Resistance

Traditionelle Blockchain-Wahlsysteme kämpfen mit drei zentralen Anforderungen:

  • Wählergeheimnis: Die Stimme muss anonym bleiben, selbst gegenüber dem Systembetreiber.
  • Fälschungssicherheit: Jede abgegebene Stimme muss eindeutig und unwiderruflich sein.
  • Zwangsschutz (Coercion Resistance): Ein Wähler darf nicht nachweisen können, wie er abgestimmt hat, sodass Nötigung oder Stimmenkauf verhindert werden.

Im MACI-Design von Vitalik Buterin wird das Wählergeheimnis durch einen zentralen “Trusted Coordinator” geschützt, der die Entschlüsselung und Sequenzierung übernimmt. Dieser Ansatz birgt jedoch ein einzelnes Angriffsziel und verhindert die volle Dezentralisierung.

ZK-Rollup-Architektur auf Ethereum-Basis (IACR-Whitepaper 2026/2282)

Das offizielle Whitepaper “DAVINCI: A Decentralized Cryptographic Voting Protocol” (IACR ePrint-Archiv-Nummer 2026/2282, veröffentlicht im Oktober 2026) beschreibt die Wahl als Zero-Knowledge-verifizierten Zustandsautomaten. Die wichtigsten Komponenten sind:

  • Sequencer: Aggregieren Stimmzettel off-chain und erzeugen Gültigkeitsbeweise über eine zkVM.
  • Ethereum-L2 (OP Mainnet): Dient als öffentliches Bulletin Board.
  • EIP-4844-Blobs: Stellen eine kostengünstige Data-Availability-Schicht für die Speicherung von Stimmzettel-Batches bereit.

Off-Chain Aggregation und on-Chain Data Availability

  • Wähler senden verschlüsselte Stimmen an das Sequencer-Netzwerk.
  • Sequencer bündeln die Stimmen zu Batches und erzeugen ein zk-Proof, das die Korrektheit aller enthaltenen Stimmen ohne Offenlegung der Einzelstimmen garantiert.
  • Der zk-Proof und die zugehörigen Daten werden als Blob auf Ethereum (EIP-4844) veröffentlicht, wodurch die Daten für jedermann auditierbar, aber gleichzeitig effizient verfügbar sind.

Schwellwert-ElGamal und Distributed Key Generation für dezentralen Schlüssel

DAVINCI verwendet ein Schwellwert-ElGamal-Verfahren kombiniert mit Distributed Key Generation (DKG). Dadurch entsteht ein gemeinsamer öffentlicher Schlüssel, der erst entschlüsselt werden kann, wenn ein definiertes Quorum von Sequencern zusammenarbeitet. Wesentliche Merkmale:

  • Kein einzelner Schlüsselinhaber – das Risiko eines “Trusted Coordinator” entfällt.
  • Die Schwellwert-Kryptografie (Threshold-ElGamal) ist im Whitepaper unter dem Messwert “Threshold ElGamal + DKG” (Jahr 2026) dokumentiert.
  • Die Dezentralisierung ermöglicht zudem die nachträgliche Neuinformation von Stimmen (Silent Revoting).

Silent Revoting – Belegfreiheit und Schutz vor Nötigung

Durch das Konzept des “Silent Revoting” können Sequencer bei jedem Status-Update zufällige Teilmengen bereits verschlüsselter Stimmen neu-verschlüsseln. Das hat drei wesentliche Konsequenzen:

  • Ein Wähler kann seine Stimme jederzeit überschreiben, ohne dass ein Beobachter erkennt, ob dies geschehen ist.
  • Erpresser erhalten keine belastbare Quittung, weil die endgültige Chiffre nach jedem Revoting-Schritt neu-randomisiert wird.
  • Die Belegfreiheit (Receipt-Freeness) ist damit technisch garantiert, ohne dass ein zentraler Koordinator eingreifen muss.

Modulare Wählerberechtigung: Merkle-Tree-Census und ZK-Proof-of-Personhood

Die Wählerberechtigung lässt sich flexibel via Merkle-Tree-Censuslisten oder dynamische Credential Service Provider (CSP) realisieren. Beispiele:

  • Statischer Merkle-Baum mit autorisierten Adressen.
  • ICAO-konforme E-Pässe, die über zkSNARKs (Zero-Knowledge-Succinct-Non-Interactive-Argument-of-Knowledge) verifiziert werden.

Die Integration von ZK-Proof-of-Personhood und Semaphore-Mustern wurde im Diskurs von NemoUnus beschrieben. Der ZK-Census-Circuit prüft das Vorhandensein eines Blatts im Merkle-Baum, ohne dem Sequencer den Index zu offenbaren. Der Wähler liefert lediglich einen Nullifier, der Mehrfachabstimmungen verhindert.

ZK-Census-Circuit und Nullifier

  • Der client-seitige SNARK-Schaltkreis (Circom & SnarkJS, Jahr 2024) läuft auf handelsüblichen Endgeräten (Commodity Devices).
  • Der Sequencer validiert die Gültigkeit des Nullifiers, lernt jedoch weder die Blatt-Position noch die Identität des Wählers.

Praxisbeispiele und Leistungskennzahlen

  • Wahlbeteiligung New-Belarus-Konsultation (2024): 6 723 abgegebene Stimmen (Quelle S2).
  • EVM Pre-Production Deployment: 10 Chain-ID (OP Mainnet) für den produktiven Rollup-Einsatz (Quelle S3, Jahr 2026).

Risiken und Gegenmaßnahmen

Obwohl DAVINCI viele Sicherheitsmechanismen bietet, werden folgende Risiken genannt:

  • Honest-Device-Annahme: Kompromittierte Mobiltelefone oder Browser können vor der Verschlüsselung Daten ausspähen.
  • Kollusion bei Threshold-Key-Generation (DKG): Erreicht ein Angreifer das Quorum der DKG-Teilnehmer, kann die Verschlüsselung vorzeitig gebrochen werden.
  • Sybil-Risiken bei alternativen Proof-of-Personhood-Censors: Biometrische Gesichtsabgleiche und Pass-Chips (ICAO) bergen Datenschutz- und Fehlerrisiken, insbesondere ohne offene Master-Listen (CSCA).

Häufig gestellte Fragen (FAQ)

  • Was unterscheidet DAVINCI grundlegend von Vitalik Buterins MACI-Design?
    MACI benötigt einen zentralen, vertrauenswürdigen Koordinator zur Entschlüsselung und Sequenzierung. DAVINCI dezentralisiert diese Rolle vollständig durch ein ZK-Rollup-Sequencer-Netzwerk und Schwellwert-ElGamal-Kryptografie (DKG).
  • Erfährt der Sequencer beim Voting die Identität oder den Listenplatz des Wählers?
    Nein. Wenn der ZK-Census-Schaltkreis genutzt wird, weist der Wähler im SNARK privat nach, dass sein Blatt im Merkle-Baum enthalten ist, und sendet nur einen wahlweiten Nullifier mit, wodurch die Blatt-Position verborgen bleibt.
  • Wie verhindert das Protokoll, dass ein Nötiger kontrollieren kann, wie jemand gestimmt hat?
    Durch die Möglichkeit zur nachträglichen Stimmabgabe (Revoting) und die automatisierte Re-Randomisierung gespeicherter Chiffren durch Sequencer (“Silent Revoting”). Ein Wähler kann einem Erpresser lediglich eine gefälschte Quittung vorlegen, die nicht mit der echten Wahlentscheidung verknüpft ist.

Fazit

Das DAVINCI-Protokoll stellt mit seiner Kombination aus ZK-Rollup-Technologie, Schwellwert-ElGamal-Kryptografie und modularen Identitätsnachweisen einen bedeutsamen Fortschritt für dezentrale, nicht-kooperative digitale Wahlen dar. Durch die Eliminierung eines “Trusted Coordinator” erreicht das System beides – technische Machbarkeit (nachweisbar im IACR-Whitepaper 2026/2282) und praktische Anwendbarkeit (nachgewiesene Nutzung in der New-Belarus-Konsultation und Deployment auf OP Mainnet). Während Risiken wie die Honest-Device-Annahme oder DKG-Kollusion existieren, liefert das Protokoll klare Gegenmaßnahmen und ein offenes Design, das zukünftige Erweiterungen, etwa ZK-Proof-of-Personhood, problemlos integriert. Damit bietet DAVINCI eine robuste Basis, um das digitale Wahl-Trilemma zu überwinden und echte Coercion-Resistance in einer öffentlichen, transparenten Blockchain-Umgebung zu realisieren.