Glossar
Move (Programmiersprache)
Aktualisiert 12. Juni 2026
Move (Programmiersprache) ist eine speziell für Blockchain-Anwendungen entwickelte, stark und statisch typisierte Programmiersprache, deren zentrales Designprinzip die sichere Verwaltung digitaler Assets durch sogenannte Ressourcen (Resources) ist. Ursprünglich von Meta (ehem. Facebook) für die Diem-Blockchain (früher Libra) konzipiert, wurde Move als Open-Source-Sprache veröffentlicht und seither von mehreren unabhängigen Blockchains adaptiert.
Das Ressourcen-Konzept
Der entscheidende Unterschied zu älteren Smart-Contract-Sprachen wie Solidity liegt im Umgang mit digitalen Werten auf Typebene. In Move sind Assets als nicht-duplizierbare Structs definiert – das Typsystem erzwingt zur Compile-Zeit, dass ein Asset weder kopiert noch stillschweigend gelöscht werden kann. Es muss stattdessen explizit übertragen oder vernichtet werden. Ein Token kann damit nicht versehentlich zweimal ausgegeben werden: Versucht ein Programm, denselben Coin-Wert in zwei separate Transaktionen zu verschieben, bricht der Bytecode-Verifizierer die Ausführung ab, bevor der Code überhaupt auf der Chain landet. Dieses Prinzip der programmierten Knappheit (Scarcity by Design) schließt eine ganze Klasse von Sicherheitslücken auf Sprachebene.
Formale Verifikation und statisches Typsystem
Move unterstützt nativ formale Verifikation: Entwickler können mathematische Spezifikationen direkt in den Modulcode schreiben, die dann maschinell bewiesen werden. Im Gegensatz zu nachgelagerten Audits ist diese Prüfung Teil des Entwicklungsprozesses selbst. Das statische Typsystem ergänzt diesen Ansatz: Da Variablentypen beim Kompilieren und nicht zur Laufzeit festgelegt werden, sind Typ-Verwirrungsfehler – eine häufige Angriffsfläche in Smart Contracts – strukturell ausgeschlossen.
Module in Move funktionieren als abgeschlossene Programmeinheiten, die zwischen öffentlichen und privaten Funktionen unterscheiden. Nur explizit freigegebene Funktionen sind von außen aufrufbar, was die Angriffsfläche eines Contracts erheblich reduziert.
Aktuelle Nutzung
Heute setzen mehrere Blockchains auf Move in jeweils angepassten Varianten: Aptos verwendet Aptos Move mit einem Account-basierten Speichermodell; Sui setzt auf Sui Move mit einem objektorientierten Ansatz, der Assets als eigenständige On-Chain-Objekte behandelt; das Movement Network integriert Move-Kompatibilität in eine EVM-nahe Layer-2-Umgebung. Die Kernprinzipien – Ressourcen-Semantik, statische Typisierung, formale Verifikation – bleiben dabei in allen Varianten erhalten.
Für Entwickler bedeutet Move einen höheren Einstiegsaufwand gegenüber verbreiteten Sprachen, aber eine strukturell robustere Grundlage für die Verwaltung von Kryptowährungen und anderen digitalen Assets auf der Blockchain.