Turing Complete

Turingvollständig beschreibt ein Computersystem, das jede Berechnung ausführen kann, die sich als Algorithmus formulieren lässt, sofern genügend Zeit und Speicher zur Verfügung stehen. Die Idee geht auf Alan Turings Arbeit von 1936 über die theoretische Turingmaschine zurück, mit der er formalisierte, was es für ein System bedeutet zu "rechnen". Eine Sprache oder Maschine verdient dieses Label, wenn sie bedingte Verzweigungen (if/else-Logik) mit der Fähigkeit kombiniert, Schritte unbegrenzt zu wiederholen, meist über Loops oder Rekursion, statt auf eine feste, lineare Befehlsfolge beschränkt zu sein.

Im Blockchain-Kontext bestimmt Turingvollständigkeit, wie flexibel die programmierbare Logik einer Plattform sein kann. Ethereum, das 2015 gestartet wurde, war die erste große Blockchain, die auf diese Weise gebaut wurde: Die Ethereum Virtual Machine führt Bytecode aus, der aus Sprachen wie Solidity kompiliert wird, und ermöglicht Entwicklern so Smart Contracts mit beliebigen Loops, veränderlichem State und ineinandergreifenden Bedingungen zu schreiben. Diese Flexibilität macht komplexe dezentrale Anwendungen, DeFi-Protokolle und DAOs erst möglich, statt nur einfache Wertübertragungen.

Uneingeschränkte Berechnung birgt allerdings ein Risiko: Eine Endlosschleife könnte jeden Node blockieren, der versucht, eine Transaktion zu validieren, eine Variante des unlösbaren "Halteproblems". Ethereum löst dies mit Gas, einer Gebühr pro Rechenschritt. Die Ausführung stoppt automatisch, sobald das Gas einer Transaktion aufgebraucht ist, wodurch offene Berechnungen begrenzt und wirtschaftlich abgesichert werden.

Bitcoin wählte bewusst den entgegengesetzten Ansatz. Die Skriptsprache unterstützt Bedingungen, verzichtet aber absichtlich auf Loops, sodass jedes Skript garantiert terminiert. Das bedeutet weniger rohe Programmierbarkeit, dafür aber mehr Vorhersagbarkeit und Widerstandsfähigkeit gegenüber Denial-of-Service-Risiken.