Simplicity setzt Programme aus wenigen Kombinatoren zusammen und kann bekannte Teilausdrücke durch schnelle Jets mit identischer Bedeutung ersetzen, um Analysierbarkeit und praktische Leistung zu verbinden.
Den Kern bildet eine kleine Menge typisierter Kombinatoren mit mathematisch definierter denotationaler und operationaler Semantik. Ein formales Modell in Rocq ermöglicht maschinengeprüfte Beweise über Sprache, Implementierung und Eigenschaften eines konkreten Programms. [1]
Die Sprache kennt weder unbegrenzte Schleifen noch allgemeine Rekursion; Obergrenzen für Rechenaufwand, Speicher und Daten lassen sich vor der Ausführung ableiten. Ein Programm soll daher weder an unbekanntem Gasverbrauch stoppen noch endlos laufen. [1]
Ein Programm ist ein merklisierter Ausdrucksbaum; ungenutzte Zweige lassen sich beim Ausgeben durch ihre Merkle Root ersetzen. Der Validator prüft die Bindung an das gesamte Programm, während on-chain nur der nötige Pfad und die Witness-Daten offengelegt werden. [1]
Ein Jet erkennt einen bestimmten Simplicity-Ausdruck und führt ihn als optimierte native Funktion aus. Konsenssicherheit verlangt, dass sein Ergebnis exakt der Referenzsemantik entspricht; ein Jet fügt keine verborgene neue Bedeutung hinzu. [1]
libSimplicity enthält eine minimale konsenssensitive Laufzeit in C, Referenz- und Generatoranteile in Haskell sowie ein formales Modell in Rocq. Die Ebenen kontrollieren einander, doch das Repository erklärt ausdrücklich, dass Sprache und Implementierung weiterentwickelt werden. [2]
SimplicityHL ist eine besser lesbare, Rust-ähnliche Sprache, die zu Simplicity-Bytecode kompiliert. Das Projekt nennt sie selbst work in progress und nicht production-ready; ein Vertrags-Audit muss Quelltext, Compiler, Bytecode, Witness und Jets umfassen. [3]
Simplicity wurde 2025 auf dem Liquid-Mainnet eingeführt. Liquid ist eine föderierte Sidechain mit mehreren Assets und Confidential Transactions; diese Einführung ist keine Aktivierung im Bitcoin-Mainnet-Konsens, die einen eigenen Vorschlag und Soft Fork erfordern würde. [4]
Formale Semantik garantiert weder die richtige wirtschaftliche Absicht noch sichere Schlüssel oder eine verlässliche Gegenpartei. Zu unterscheiden sind Low-Level-Programm, SimplicityHL-Werkzeuge, konkreter Jet-Satz, Liquid-Version und eine hypothetische Bitcoin-Integration. [2]
Für ein möglichst vollständiges Bild lies diesen Eintrag zusammen mit Bitcoin Script, Miniscript, Taproot, Soft Fork, Konsensregeln, Sidechain.
01Ist Simplicity im Bitcoin-Mainnet verfügbar?+
Nein. Es ist im Liquid-Mainnet eingeführt, das andere Konsensregeln hat; als Bitcoin-Skriptsprache bräuchte es einen eigenen Vorschlag und Soft Fork.
02Ist Simplicity dasselbe wie Miniscript?+
Nein. Miniscript ist eine analysierbare Struktur über dem heutigen Bitcoin Script; Simplicity ist eine eigene formal definierte Low-Level-Sprache.