Vitalik: Obfuscation stärkste Krypto-Idee – aber noch nicht praxisreif

Ethereum-Mitgründer Vitalik Buterin hat den ersten Teil einer technischen Reihe zur Programm-Obfuscation veröffentlicht. Er bezeichnet sie als die stärkste Idee der Kryptografie und stellt gleichzeitig klar, dass aktuelle Implementierungen weit von einer praktischen Nutzung entfernt sind.

Obfuscation verwandelt ein Programm in eine verschlüsselte Version, die weiterhin läuft und dieselben Ausgaben erzeugt, dabei aber verbirgt, wie sie im Inneren funktioniert. Das formale Ziel, die sogenannte Indistinguishability-Obfuscation, kurz iO, bedeutet: Gibt es zwei verschleierte Programme, die dieselbe Aufgabe erfüllen, kann kein Beobachter sie unterscheiden. Buterins Faustregel lautet: Sie verbirgt den Code, nicht die Daten.

Warum das wichtig ist

Buterin rahmt Obfuscation als eine Art universellen „trustless trusted third party“, als Stellvertreter für den neutralen Vermittler, den viele Systeme voraussetzen, dem aber niemand tatsächlich vertrauen will. In Kombination mit einer Blockchain könnte sie kollusionsresistente, private Abstimmungen und weitere Anwendungen ermöglichen, die praktisch keinem Gremium vertrauen müssen, weil die Blockchain den Teil übernimmt, der zustandsbehaftete Funktionen wie Salden sicher verwaltet, die ein obfuskiertes Programm allein nicht zuverlässig absichern kann.

Der Grund, warum dies noch nicht ausgeliefert wird, ist die Performance. Eine ideale Variante wurde 2001 als unmöglich bewiesen, und das schwächere iO-Ziel, das daraufhin an ihre Stelle trat, brauchte rund zwei Jahrzehnte gescheiterter Versuche, bevor Forschende zeigten, dass es unter angemessenen Sicherheitsannahmen tatsächlich gebaut werden kann. Der Haken ist, in Buterins Worten, dass die Laufzeiten „galaktisch“ sind: auf dem Papier effizient, in der Praxis absurd langsam.

Marktauswirkungen

Buterin verglich den Moment mit dem Stand von SNARKs um das Jahr 2010, bevor Jahre der Optimierung die Zero-Knowledge-Beweise, die heute für Ethereums Skalierung zentral sind, von einer Kuriosität zu funktionierender Infrastruktur machten. Die Lesart: Obfuscation könnte denselben Weg gehen, doch keine einzelne Ausführung ist derzeit auch nur annähernd bezahlbar. Privacy-Coins wie Monero verbergen Transaktionsdaten bereits auf einer Live-Blockchain durch Ringsignaturen, Stealth-Adressen und vertrauliche Beträge. Damit verschleiern sie jedoch, wer wen bezahlt hat, nicht den Code selbst. Programm-Obfuscation bleibt damit ein Forschungsmeilenstein und kein Produkt.