Einführung von Simplicity
Blockstream, der Entwickler des Layer-2-Protokolls Liquid für Bitcoin und geleitet von dem Bitcoin-Cypherpunk Adam Back, hat Simplicity eingeführt, eine neue Programmiersprache für Smart Contracts, die speziell für Bitcoin entwickelt wurde. Laut einer am Donnerstag veröffentlichten Ankündigung, die mit Cointelegraph geteilt wurde, werden Simplicity-Smart Contracts in Liquid integriert. Das Unternehmen erklärte, dass dieser Schritt einen Fortschritt darstellt, um Bitcoin von einem sicheren Wertspeicher in eine programmierbare Grundlage für dezentrale Finanzen zu transformieren.
Details zu Simplicity und SimplicityHL
Zusätzlich stellte das Unternehmen SimplicityHL vor, eine höherstufige Implementierung der Sprache, die die Entwicklung durch erhöhte Abstraktion erleichtert. Ein Vertreter von Blockstream sagte gegenüber Cointelegraph, dass diese Version der Sprache „heute verfügbar und nutzbar ist“, wobei auch eine webbasierte integrierte Entwicklungsumgebung zur Verfügung steht.
Unterschiede zu Solidity
Simplicity unterscheidet sich von Ethereums Solidity-Sprache, hauptsächlich aufgrund der unterschiedlichen zugrunde liegenden Architekturen der beiden Blockchains. Während Solidity für die Ethereum Virtual Machine entwickelt wurde, nutzt Bitcoin die Architektur der nicht ausgegebenen Transaktionsausgaben (UTXO). Das Ethereum-Netzwerk hingegen verwendet einen netzwerkweiten Zustand. Dieser Unterschied zeigt sich darin, wie Simplicity-Smart Contracts funktionieren. Ein Vertreter von Blockstream erklärte, dass „die Abhängigkeit vom globalen Zustand ein großer Wandel ist“.
„Jeder Teil des Zustands, den Ihr Vertrag benötigt, muss mit der Transaktion reisen.“
Die Forscher von Blockstream wiesen darauf hin, dass Solidity-Entwickler ihre Gewohnheit aufgeben müssen, von global zugänglichen Variablen zu lesen, und stattdessen alle notwendigen Informationen in jedem Schritt bereitstellen müssen. In einem solchen System können zwei Smart Contracts keinen Zustand teilen oder auf dieselben Variablen verweisen; alles muss innerhalb von Transaktionen explizit übergeben werden.
Vorteile des neuen Ansatzes
Dennoch erklärten die Vertreter des Unternehmens, dass dieser Ansatz auch positive Auswirkungen hat: „Selbst wenn etwas schiefgeht, ist nur der spezifische Teil des Transaktionsgraphen Ihres Vertrags betroffen. Es ist eine andere Denkweise im Vergleich zum globalen Zustand, aber es führt letztendlich zu sichereren und besser abgegrenzten Verträgen durch Design.“
Entwickler werden auch keine Rekursion oder unbeschränkte Schleifen verwenden können, was Blockstream als nicht notwendig für On-Chain-Logik ansieht.
Weitere domänenspezifische Programmiersprachen
Simplicity reiht sich in eine wachsende Liste von domänenspezifischen Programmiersprachen für Smart Contracts ein. Noir, eine 2022 veröffentlichte Programmiersprache zum Schreiben und Verifizieren von Zero-Knowledge-Proofs (ZK-Proofs), wurde 2023 von den Entwicklern des datenschutzorientierten Ethereum Layer-2 Aztec übernommen. Noir hat sich zu einer Programmiersprache für Smart Contracts entwickelt, die speziell für datenschutzbewahrende Anwendungen konzipiert ist, die ZK-Proofs tief in ihre Architektur integrieren. Ein weiteres Beispiel ist Leo, eine Programmiersprache für Smart Contracts, die ebenfalls ZK-Proof-Systeme mit eng verwandter Syntax und Datenschutz im Hinterkopf erstellt. Ethereums Vyper ist eine EVM-kompatible Sprache, die entwickelt wurde, um die Angriffsfläche zu reduzieren und die jetzt von einigen führenden dezentralen Finanzprotokollen (DeFi) von Ethereum verwendet wird.
