BitVM: Ethereum-style smart contracts on the Bitcoin network
Eine diese Woche veröffentlichte wissenschaftliche Arbeit beschreibt einen neuen Ansatz, um Ethereum-ähnliche Smart Contracts auf das Bitcoin-Netzwerk zu bringen. BitVM, wie es genannt wird, wurde in einem Whitepaper vom 9. Oktober von Robin Linus vorgestellt. Linus ist ein Hauptmitwirkender von ZeroSync, einem Unternehmen, das Werkzeuge für Entwickler entwickelt, um Zero-Knowledge-Beweise auf Bitcoin zu nutzen.
Das Ziel von BitVM ist es, Turing-kompatible Bitcoin-Verträge zu ermöglichen, ohne das Netzwerk für andere Benutzer komplizierter zu machen. Turing-Vollständigkeit ist ein Begriff aus der Informatik, der ein System beschreibt, das jede mögliche Berechnung oder jedes mögliche Programm ausführen kann.
Unter BitVM werden Berechnungen off-chain durchgeführt und dann on-chain überprüft, ähnlich wie bei den Mechanismen von optimistischen Rollups auf Ethereum. Theoretisch sollte es keine Grenzen für die Komplexität der Berechnungen geben, da sie off-chain durchgeführt werden und somit kein Risiko besteht, das Netzwerk auf Kosten anderer Benutzer zu verstopfen.
BitVM ermöglicht laut Linus „ausdrucksstärkere Smart Contracts auf Bitcoin“. Insbesondere ermöglicht es Funktionen, für die bisher ein Soft Fork erforderlich war.
Das Protokoll beinhaltet zwei Parteien: einen „Beweiser“ und einen „Verifizierer“. Der Beweiser macht eine Behauptung über eine spezifische Funktion, die eine bestimmte Ausgabe liefert, wenn ihr bestimmte Eingaben gegeben werden. Sie unterschreiben eine Sequenz von Transaktionen im Voraus und ermöglichen so ein Challenge-Response-Spiel zwischen den beiden.
Dann machen sie On-Chain-Einzahlungen an eine Bitcoin-Adresse, aktivieren den Vertrag und beginnen, off-Chain-Daten auszutauschen. Der Verifizierer kann die Einzahlung des Beweisers einbehalten, wenn eine falsche Behauptung gemacht wird. Dadurch sollten Angreifer immer ihre Einzahlungen verlieren.
BitVM’s Einschränkungen
Linus‘ Vorschlag hat eine Vielzahl von Reaktionen hervorgerufen, wobei Kommentatoren schnell auf die Einschränkungen von BitVM hingewiesen haben. Der pseudonyme Bitcoin-Autor Shinobi wies darauf hin, dass die Kosten für das Off-Chain-Datenmanagement „massiv“ sind. Er fügte hinzu, dass das Protokoll, das nur zwei Parteien – den Beweiser und den Verifizierer – betrifft, ebenfalls eine „große Einschränkung“ ist.
Bob Bodily, CEO des Marktplatzes Bioniq, schrieb in einem Beitrag auf X, dass BitVM „eine sehr frühe begrenzte Version der Ethereum Virtual Machine (EVM)“ sei. Er sagte: „BitVM ist ein erstaunlicher Durchbruch, denn obwohl es derzeit viele Lücken bei BitVM gibt, sind sie größtenteils lösbar. In den nächsten Monaten erwarte ich, dass viele dieser Lücken geschlossen werden, und dann werden wir ein leistungsfähigeres Bitcoin-Skript ohne ein Bitcoin-Upgrade haben.“
Bitcoin Smart Contracts
Versuche, Smart Contract-Fähigkeiten im Bitcoin-Netzwerk zu implementieren, sind natürlich nicht neu. Seit einiger Zeit versuchen Bitcoin-Entwickler, Wege um die Limitierungen des Netzwerks aufgrund seiner einfacheren Skriptsprache im Vergleich zu Blockchains wie Ethereum oder Solana zu finden.
Im Dezember letzten Jahres veröffentlichte das Blockchain-Projekt Stacks ein Whitepaper, in dem es seine digitalen Vermögenswerte „Stacks bitcoin“ (sBTC) vorstellte. Dieses wurde als Möglichkeit präsentiert, Smart Contracts auf Bitcoin zu bringen.
Häufig gestellte Fragen:
Was ist BitVM?
BitVM ist ein Konzept, das es ermöglicht, Ethereum-ähnliche Smart Contracts auf dem Bitcoin-Netzwerk zu erstellen. Es ermöglicht Turing-kompatible Bitcoin-Verträge, indem es Berechnungen off-chain durchführt und dann on-chain verifiziert.
Wie funktioniert BitVM?
BitVM verwendet ein Protokoll mit zwei Parteien: einem „Beweiser“ und einem „Verifizierer“. Der Beweiser macht eine Behauptung über eine bestimmte Funktion und unterschreibt im Voraus eine Sequenz von Transaktionen. Dann machen die Parteien On-Chain-Einzahlungen und beginnen, off-Chain-Daten auszutauschen. Der Verifizierer kann die Einzahlung des Beweisers einbehalten, wenn eine falsche Behauptung gemacht wird.
Welche Einschränkungen hat BitVM?
Einige Kommentatoren haben darauf hingewiesen, dass das Off-Chain-Datenmanagement von BitVM hohe Kosten verursacht. Außerdem ist das Protokoll auf zwei Parteien – den Beweiser und den Verifizierer – beschränkt.
Gibt es andere Versuche, Smart Contracts auf Bitcoin zu bringen?
Ja, es gab bereits andere Versuche, Smart Contract-Funktionalitäten auf das Bitcoin-Netzwerk zu bringen. Ein Beispiel ist das Projekt Stacks, das digitale Vermögenswerte namens „Stacks bitcoin“ entwickelt hat.
