Ethereum-Mitgründer Vitalik Buterin sagte in einer Online-Keynote beim 12. Global Blockchain Summit am 23. September 2026, dass Zero-Knowledge-Beweise, formale Verifikation und künstliche Intelligenz die Blockchain-Architektur verändern. Dieser Wandel könnte laut Buterin Skalierbarkeit und Datenschutz verbessern, ohne die Dezentralisierungsgarantien vollständig aufzugeben, wie er während der Shanghai Blockchain International Week in seiner Ansprache erklärte.
Buterin sagte, die technischen Fähigkeiten der Branche und ihr Verständnis der Eigenschaften, die dezentrale Systeme bieten sollten, hätten sich in den vergangenen 15 Jahren verändert. Frühe Blockchains legten fest, wem Vermögenswerte gehören und wer sie verwalten kann, während die nächste Phase programmierbaren Datenschutz umfassen werde, bei dem Code auch bestimmt, wer auf bestimmte Informationen zugreifen darf.
Frühe Blockchain-Architekturen erforderten, dass viele Teilnehmer dieselben Vorgänge wiederholt ausführten. Dieses Modell unterstützte die Überprüfbarkeit, begrenzte jedoch Leistung und Datenschutz, sagte Buterin.
SNARKs und STARKs verändern diesen Ansatz schrittweise. Ein Teilnehmer könnte einen Vorgang ausführen und einen kryptografischen Beweis erzeugen, sodass die übrigen Teilnehmer das Ergebnis verifizieren können, anstatt die zugrunde liegende Berechnung zu wiederholen.
„Die Ära, in der alle alles wiederholen müssen, geht zu Ende“, sagte Buterin.
Rekursive STARKs und Ethereums Architektur
Buterin bezeichnete rekursive STARKs als einen zentralen Entwicklungsbereich. Die Technologie kann mehrere Beweise zu einem einzigen zusammenführen und damit die Datenmenge und Rechenleistung verringern, die direkt auf einer Blockchain verarbeitet werden müssen.
Er hatte diesen Ansatz zuvor in EIP-8288 vorgeschlagen, das die Bündelung kryptografischer Signaturen und STARK-Beweise auf Mempool-Ebene vorsieht, bevor ein kompakter Beweis ihrer Gültigkeit veröffentlicht wird.
Buterin erwartet, dass die Technologie die Kosten privater und Post-Quanten-Transaktionen senkt und einige komplexe kryptografische Vorgänge aus Ethereums zentralem Ausführungspfad verlagert.
Der Ansatz ist Teil einer umfassenderen vorgeschlagenen Änderung der Transaktionsstruktur von Ethereum. Anfang September erörterte Buterin EIP-8141, das eine Transaktion in getrennte Aktionen und Abhängigkeiten aufteilt. Er sagte, die Architektur solle ermöglichen, dass einige Vorgänge parallel statt nacheinander ausgeführt werden.
Buterin hob außerdem FOCIL hervor, einen Mechanismus für verteilte Blockerstellung. FOCIL soll die Abhängigkeit von einem einzelnen Teilnehmer bei der Aufnahme von Transaktionen in einen Block verringern und die Widerstandsfähigkeit des Netzwerks gegen Zensur stärken.
Langfristig sollte eine Blockchain laut Buterin nicht allein als Layer-1-Netzwerk betrachtet werden. Er beschrieb eine umfassendere Computing-Pipeline, die lokale Vorgänge auf den Geräten der Nutzer, Mempools mit unterschiedlichen Datenschutzeigenschaften, Beweisaggregation, Layer-2-Netzwerke und die Basisschicht umfasst.
Buterin sagte, eine solche Architektur könnte die Skalierbarkeit erheblich erhöhen und zugleich Dezentralisierungsgarantien bewahren. Im Sommer 2026 beschrieb er Ethereum als auf dem Weg zu einer gedanklichen „dritten Ära“, die auf Skalierung, Datenschutz und Widerstandsfähigkeit gegenüber Quantencomputing ausgerichtet ist.
KI und formale Verifikation
Buterin sagte, künstliche Intelligenz könne bei dem Übergang eine eigenständige Rolle spielen, weil moderne kryptografische Systeme so komplex würden, dass manuelle Entwicklung und Code-Audits zu einem begrenzenden Faktor werden könnten.
KI könne beim Schreiben und Analysieren von Software, bei der Erstellung von Spezifikationen, beim Durchführen von Tests und bei der formalen Verifikation helfen, sagte er. Formale Verifikation kann mathematisch nachweisen, dass eine Implementierung ihre festgelegten Anforderungen erfüllt.
Laut Buterin könnte die Kombination mehrerer unabhängiger Spezifikationen mit automatisierter Verifikation deutlich komplexere Systeme ermöglichen, ohne dass das Risiko proportional steigt. Er brachte außerdem Einschränkungen heutiger Layer-2-Netzwerke mit der Schwierigkeit in Verbindung, komplexen Code zu verifizieren, und sagte, Projekte müssten sich auf zusätzliche Schutzmaßnahmen stützen, darunter mehrere Beweissysteme und Sicherheitsausschüsse.
Buterin hatte zuvor gesagt, dass die Verbindung von KI und formaler Verifikation Ethereums Sicherheit erheblich verändern könnte. Algorithmen könnten helfen, Schwachstellen zu identifizieren, Protokollimplementierungen zu verifizieren und Code mit formalen Spezifikationen abzugleichen.
Er sagte, die mögliche Rolle von KI gehe über die Softwareentwicklung hinaus. KI-Agenten könnten unabhängig mit Infrastruktur interagieren, die Layer-1- und Layer-2-Netzwerke sowie zwischengeschaltete Dienste umfasst, und für einen bestimmten Vorgang die geeigneten Werkzeuge auswählen.
Im Februar 2026 stellte Buterin eine aktualisierte Vision für KI und Ethereum vor, die Dezentralisierung, Datenschutz und Überprüfbarkeit betonte. In seiner jüngsten Ansprache forderte er Entwickler dazu auf, Anwendungen zu überdenken, die entwickelt wurden, als fortgeschrittene Kryptografie, programmierbarer Datenschutz und automatisierte formale Verifikation noch nicht als praktisch umsetzbar galten, und sagte, diese Beschränkungen gingen allmählich zurück.
Quelle: HODL Press
