Der neue Vorschlag von BitVM zielt darauf ab, die Smart-Contract-Fähigkeiten von Bitcoin mit denen gleichzusetzen, die wir in Netzwerken wie Ethereum und Turing Complete-Derivaten sehen können.
In einem aktuellen Beitrag im sozialen Netzwerk ZeroSync, hat ein interessantes veröffentlicht Krepppapier in dem er einen neuen Vorschlag ankündigt: BitVM.
Mit dieser Entwicklung möchte Linus eine Ethereum-ähnliche Smart-Contract-Funktionalität in das Bitcoin-Ökosystem einbringen, sodass das Bitcoin-Netzwerk in der Lage ist, fortschrittliche Turing Complete-Smart-Contracts zu betreiben. Diese Entwicklung hat das Potenzial, die dezentrale Finanzlandschaft (DeFi) neu zu gestalten und neue Möglichkeiten für Innovationen auf der Bitcoin-Blockchain zu eröffnen.
Die Lücke zwischen Bitcoin und Ethereum schließen
Bitcoin ist die älteste und etablierteste Kryptowährung der Welt, aber ihre Programmiersprache Bitcoin Script ist relativ begrenzt und unterstützt keine komplexen Smart Contracts. Ethereum hingegen ist eine neuere Blockchain-Plattform, die speziell für die Unterstützung intelligenter Verträge entwickelt wurde. Allerdings wurde Ethereum wegen seiner hohen Transaktionsgebühren und Skalierbarkeitsprobleme kritisiert.
BitVM versucht, die Lücke zwischen Bitcoin und Ethereum zu schließen, indem es eine Methode zum Generieren einer virtuellen Maschine bereitstellt, die es Entwicklern ermöglicht, intelligente Verträge zu schreiben und bereitzustellen, wobei NAND-Logik (Logical Puts on top of Bitcoin) und Tapscript, die von Taproot aktivierte Skriptsprache, verwendet werden. . BitVM würde somit die Ausführung von Verträgen auf der Bitcoin-Blockchain ermöglichen. All dies, ohne das Protokoll zu ändern, unter Verwendung von Taproot und den Sicherheitsfunktionen von Bitcoin UTXOs, um diese intelligenten Verträge in das Bitcoin-Netzwerk zu bringen. Und sogar auf die Sidechains dieses Netzwerks, wie das Lightning Network oder Ark, was bedeutet, dass das gesamte Ökosystem von diesem Projekt profitieren könnte.
Technische Aspekte von BitVM
Obwohl BitVM nur ein Vorschlag in der frühen Entwicklungsphase ist, besteht kein Zweifel daran, dass es das Potenzial hat, eine Plattform für Smart Contracts in Bitcoin zu werden. Durch die Nutzung von Taproot, UTXO und den nativen Skriptfunktionen von Bitcoin würde BitVM zumindest in seinen grundlegendsten Teilen keinen Soft- oder Hard-Fork benötigen, um mit dem Aufbau zu beginnen. Wir sprechen davon, die Smart-Contract-Fähigkeiten von Ethereum zu erreichen und die Sicherheit dieser Blockchain (und Derivate) dank der Verwendung von UTXO und den nativen Fähigkeiten von Bitcoin zu übertreffen.
Um jedoch bestimmte Funktionen optimal zu erreichen, kann ein vollständiger Soft-Fork oder Hard-Fork erforderlich sein, um neue Operationscodes einzubinden, die dabei helfen, den Betrieb von BitVM zu optimieren, um Turing Complete zu sein. Um beispielsweise einen Smart Contract mit BitVM zu erstellen, muss ein Taptree (ein Entscheidungsbaum mit Taproot) erstellt werden. Somit können wir von hundert bedingten Optionen (jede aktiviert einen bestimmten Output des generierten Smart Contracts) bis hin zu Hunderten von Milliarden haben. All dies hängt von der Komplexität des Smart Contracts ab (Bitcoin ist in der Lage, Taptrees mit 2^127 Blättern zu akzeptieren). Dies ist tatsächlich etwas, was Linus selbst akzeptiert hat:
Und das ist ein Problem, denn es würde dazu führen, dass die Verträge enorme Datenmengen in der Kette belegen und die maximalen 4 MB eines Blocks in Bitcoin perfekt belegen könnten. Darüber hinaus würden sie dadurch langsamer und mit einem enormen Rechenaufwand verbunden sein, sowohl zum Zeitpunkt der Generierung (SHA256-Preimages müssen für jedes Blatt erstellt werden) als auch zum Zeitpunkt seiner Ausführung/Festschreibung.
Riesige technische Herausforderungen
Aber die technische Herausforderung endet hier nicht. BitVM basiert auf einem betrugssicheren System, bei dem die Teilnehmer des Smart Contracts die Einhaltung der im Smart Contract festgelegten Bedingungen durch Commits rechnerisch überprüfen müssen. Hierzu können beispielsweise zk-SNARKS-Tests verwendet werden, wodurch diese Tests rechentechnisch einfach und sehr sicher gestaltet werden können. Diese würden in einem Taproot-Testsystem zusammengeführt, das die Authentizität der gegebenen Tests überprüfen und entsprechend seine endgültige Antwort geben würde.
Allerdings verfügt Bitcoin derzeit über keine Grundelemente im Bitcoin-Skript, die eine direkte Anwendung von zk-SNARKs ermöglichen. Es bleiben nur noch zwei Möglichkeiten: den Opcode einbinden (ein Hard Fork, um diese Funktion in Bitcoin einzubinden) oder den Code in Taptree selbst mit Tapscript erstellen. Tatsächlich müssen einfachere Operationen wie Multiplikation, Division von Zahlen in Bitcoin oder die Erzeugung von Bedingungsschleifen gelöst werden, damit BitVM praktisch und vor allem effizient im Betrieb sein kann.
Somit besteht die größte potenzielle Herausforderung darin, all diese Probleme zu lösen, plus was in der Zukunft zu erwarten ist, einschließlich der möglichen Abzweigung des Bitcoin-Protokolls, um Bitcoin für diese Entwicklung zu optimieren. Die Vorteile von BitVM sind jedoch erheblich und die Bitcoin-Community wird seine Implementierung wahrscheinlich unterstützen. Es bleibt nur abzuwarten, wie die Community und die Entwickler reagieren werden, damit wir erste Fortschritte bei diesem interessanten Vorschlag sehen können.
Weiterlesen: Polygon Miden, eine Lösung, die den Schwerpunkt auf Datenschutz und Skalierbarkeit für Web3 legt
