Dieser Vortrag präsentiert eine inkrementelle Backup- und Synchronisierungslösung für die GNU Taler Android-Wallet. Die zentrale Herausforderung besteht darin, die für Taler charakteristische asymmetrische Privatsphäre (Anonymität für den Käufer, Identifizierbarkeit für den Händler) zu wahren, während gleichzeitig Datenverlust bei Geräteverlust verhindert wird. Die Lösung nutzt eine zweistufige Speicherarchitektur, bestehend aus einer verketteten Liste für inkrementelle Änderungen und einem hash-indizierten Objekt-Speicher für doppelte Inhalte. Zur Konsistenzwahrung bei der Synchronisation über mehrere Geräte hinweg werden CRDTs (Conflict-free Replicated Data Types) eingesetzt. Das System implementiert "Plausible Deniability" durch kaskadierende, stille Löschvorgänge, die keine Metadaten-Spuren hinterlassen, um den Nutzer auch bei physischer Gerätebeschlagnahmung zu schützen.
Wichtigste Punkte & Zeitstempel
0:50 GNU Taler Prinzip: Ein digitales Zahlungssystem mit asymmetrischer Privatsphäre, das ohne zentrale Bankkonten funktioniert und die Anonymität von Bargeld im digitalen Raum emuliert.
3:00 Blinde Signaturen: Einsatz kryptographischer blinder Signaturen, um die Identität des Käufers vom Zahlungsvorgang zu entkoppeln, während die Gültigkeit der Münzen durch den Exchange garantiert bleibt.
8:23 Backup-Herausforderungen: Die Schwierigkeit liegt im Abwägen zwischen Backup-Häufigkeit, Datengröße und dem Schutz der Metadaten, um Verhaltensmuster der Nutzer (z.B. Ausgabemuster) nicht offenzulegen.
13:42 Inkrementelle Lösung: Implementierung eines Systems, das nur Delta-Änderungen hochlädt, verschlüsselt und in einer verketteten Blockstruktur speichert, um Speicherplatz effizient zu nutzen.
16:00 CRDT-Konsistenz: Verwendung von CRDTs, um sicherzustellen, dass Wallet-Zustände über mehrere Geräte hinweg konsistent bleiben, selbst bei asynchronen Updates.
20:49 Plausible Deniability: Löschvorgänge werden ohne explizite Markierung ausgeführt, wodurch bei Gerätebeschlagnahmung keine Beweise für das Löschen spezifischer Transaktionen vorliegen.
23:46 Backup-Synchronisierung: Demonstration der geräteübergreifenden Synchronisation mittels QR-Code-Scanning und automatischer Konfliktauflösung zwischen zwei Wallet-Instanzen.
31:23 Double-Spending-Prävention: Klarstellung, dass trotz offline-fähiger Wallet-Oberflächen die Interaktion mit dem "Guilt Automat" (Exchange) zur Validierung jeder Zahlung zwingend erforderlich bleibt.
Zielgruppe & Diskussions-Highlights
Empfohlene Review-Gruppe:
Dieses Thema erfordert eine Begutachtung durch Experten für Privacy-Enhancing Technologies (PETs), Mobile App Security Engineers (insbesondere mit Fokus auf Android-Sicherheit), Kryptographen (Spezialisierung auf blinde Signaturen und Zero-Knowledge-Protokolle) sowie Systemarchitekten für verteilte Systeme.
Diskussions-Highlights:
Metadata Leakage: Teilnehmer diskutierten die Anfälligkeit des Systems gegenüber einer Analyse von Backup-Timing und -Volumen. Es wurde vorgeschlagen, stochastische Rauschsignale (ähnlich dem Vorgehen bei Whistleblower-Messaging-Systemen) einzubauen, um Aktivitäten zu maskieren.
Inkonsistenz vs. Löschung: Es wurde die Befürchtung geäußert, dass die "stille Löschung" technisch schwer von fehlerhaftem Systemverhalten (Bugs) unterscheidbar ist, was das Debugging verkomplizieren könnte.
Performance-Tradeoffs: Die Diskussion beleuchtete den Zielkonflikt zwischen sofortigen Backups für kritische Ereignisse (z.B. Ticket-Reservierungen) und der bewussten Verzögerung zur Wahrung der Privatsphäre.
Glossar
GNU Taler: Ein datenschutzfreundliches, freies Zahlungssystem, das Transaktionen durch blinde Signaturen anonymisiert, ohne auf Blockchain-Technologie zu basieren.
Blinde Signatur (Blind Signature): Kryptographisches Verfahren, bei dem eine Nachricht (z. B. ein digitaler Geldschein) signiert wird, ohne dass der Signierer den Inhalt kennt.
CRDT (Conflict-free Replicated Data Type): Datenstrukturen, die es ermöglichen, Änderungen in replizierten Datenspeichern ohne zentrale Koordination mathematisch konsistent zusammenzuführen.
Guilt Automat: Die Taler-Kernkomponente, die als Austauschstelle (Exchange) fungiert und die Gültigkeit von Münzen prüft, um Double-Spending zu verhindern.
Double-Spending: Der Betrugsversuch, digitale Währungseinheiten mehrfach auszugeben; bei Taler durch kryptographische Protokolle ausgeschlossen.
Plausible Deniability: Die Fähigkeit einer Person, die Existenz von Daten oder durchgeführten Aktionen (wie Transaktionslöschungen) glaubhaft abzustreiten.
Libsodium: Eine moderne, portable kryptographische Bibliothek für Verschlüsselung, Entschlüsselung und digitale Signaturen.
Bloom-Filter: Datenstruktur zur probabilistischen Prüfung, ob ein Element in einer Menge enthalten ist; hier zur Optimierung der Synchronisierung zwischen Client und Server verwendet.
Asymmetrische Privatsphäre: Konzept, bei dem die Privatsphäre für den Käufer geschützt bleibt, der Händler jedoch aus Steuergründen identifizierbar ist.