Vitalik Buterin: Fehlerfreier Smart-Contract-Code könnte in den 2030er Jahren machbar werden

Ethereum-Mitgründer Vitalik Buterin sagte in einer Diskussion auf X, Entwickler mit Sicherheitsfokus könnten in den 2030er Jahren echten, fehlerfreien Code erreichen. Als Voraussetzung nannte er Fortschritte bei formaler Verifikation und mehrschichtiger Redundanz. Seine Äußerungen folgten dem Hard Fork der Gnosis Chain am December 22 zur Rückgewinnung von $9.4 million aus dem Balancer-Exploit im November 2024, der über mehrere Blockchains mehr als $128 million abgezogen hatte.