Vitalik Buterin: Fehlerfreier Quellcode könnte in den 2030er Jahren Realität werden

Vitalik Buterin ist der Ansicht, dass fehlerfreier Quellcode tatsächlich in den 2030er Jahren realisierbar sein könnte, zumindest für Entwickler, die Sicherheit an erste Stelle setzen. Diese Einschätzung gab er nach dem kontroversen Hard Fork der Gnosis Chain im Dezember 2024 ab, um die im Balancer-Angriff verlorenen 9,4 Millionen USD zurückzuholen.

Angesichts der Kritik an der Unveränderlichkeit der Blockchain und der Art und Weise, wie Smart Contracts erstellt werden, betonte Buterin, dass „formale Verifikation“ nicht gleichbedeutend mit „Beweis der Fehlerfreiheit“ sei. Er ist der Meinung, dass vollständig fehlerfreier Code möglicherweise unmöglich ist, da Fehler aus der Kluft zwischen menschlicher Absicht und der Ausführung des Codes entstehen—wobei die Absicht selbst äußerst komplex und schwer fassbar ist.

Dennoch glaubt Buterin, dass Fehler durch den Einsatz mehrschichtiger Schutzmechanismen erheblich reduziert werden können, wie z.B. starke Datentyp-Systeme, selektive formale Verifikation, Backup-Mechanismen und strenge Tests. Für Entwickler, die Sicherheit priorisieren, ist eine „nahezu fehlerfreie“ Zukunft somit vollständig erreichbar.