- BitVM, eine Bitcoin-Innovation von Robin Linus, bringt Turing-vollständige Verträge ohne Änderung der Netzwerkregeln.
- Die Gemeinschaft debattiert über das Potenzial von BitVM; einige sehen es als Wendepunkt, während andere vorsichtig sind.
Ein Bitcoin-Entwickler, Robin Linus, der Leiter von ZeroSync, hat einen neuartigen Ansatz vorgestellt, um vielseitigere Off-Chain-Smart-Contracts in Bitcoin einzuführen, ohne dass eine Soft-Fork erforderlich wäre. Wie in einem am 9. Oktober veröffentlichten Whitepaper mit dem Titel „BitVM: Compute Anything on Bitcoin“ vorgestellt, ermöglicht BitVM die Implementierung von Turing-vollständigen Bitcoin-Verträgen, während die grundlegenden Konsensregeln von Bitcoin unangetastet bleiben.
"Any computable function can be verified on Bitcoin"https://t.co/Itf9UHos0C pic.twitter.com/CLQv49Ydsg
— 😸 яobin linus (@robin_linus) October 9, 2023
Der entscheidende Durchbruch von BitVM liegt in seiner Fähigkeit, Bitcoin-Verträge zu formulieren, die eine verbesserte Programmierbarkeit im Bitcoin-Netzwerk bieten. Im Gegensatz zu traditionellen Smart Contracts, die Berechnungen direkt auf der Blockchain ausführen, konzentriert sich BitVM auf die Verifizierung und zieht Parallelen zu optimistischen Rollups. Diese Innovation könnte Bitcoin revolutionieren.
Die Krypto-Community, insbesondere auf Plattformen wie Reddit und Twitter, diskutiert lebhaft über die Veröffentlichung von BitVM. Einige Enthusiasten bejubeln es als Game-Changer, während andere vorsichtigen Optimismus äußern. Der Vorschlag hat sogar zu Debatten darüber geführt, ob BitVM Altcoins obsolet machen könnte.
Bitcoin mit BitVM und Altcoins – ein Vergleich
Bob Bodily, CEO von Bioniq Market, gibt Einblicke in die Fähigkeiten von BitVM. Bodily erkennt zwar die Vorteile von BitVM an, weist aber darauf hin, dass BitVM langsamer, teurer und komplexer ist als die Ethereum Virtual Machine EVM. Dies deutet darauf hin, dass Bitcoin mit BitVM zwar Turing-vollständig werden, die EVM aber nicht für alle Anwendungsfälle vollständig ersetzt werden kann.
Sam Parker, Leiter der Technologieabteilung von Blockchain Transition, betont, dass BitVM die Turing-Vollständigkeit von Bitcoin verbessert, ohne dass Änderungen an den zentralen Konsensregeln erforderlich sind. Er merkt an, dass Bitcoin so vollständig wie jede andere Blockchain ist, was es für praktische Anwendungen „Turing-vollständig genug“ mache.
Einer der wichtigsten Vorteile von BitVM ist, dass es nicht obligatorisch ist. Nutzer, die es vorziehen, ihre Coins keinem Turing-Vertrag anzuvertrauen, können sich dagegen entscheiden. BitVM hat auch das Potenzial, die Abhängigkeit von zentralisierten „Bitcoin-Edge-Diensten“ zu beseitigen und absolut vertrauenswürdige Interaktionen auszuführen.
Ausblick mit vorsichtigem Optimismus
Nach der Durchsicht des BitVM-Whitepapers äußert Taproot-Assistent Eric Wall vorsichtigen Optimismus. Er hebt die Bedenken bezüglich der Einrichtungsphase hervor, insbesondere in Bezug auf den Austausch von großen, vorab signierten Transaktionen. Er ist jedoch gespannt auf Experimente in der realen Welt, um die Funktionalität von BitVM zu validieren.
Wall schlägt vor, dass BitVM die Rolle der ZK-Wasm-Schicht übernehmen könnte, wenn es einen Zero-Knowledge-Beweis innerhalb des Systems effizient verifiziert. Diese Rolle beinhaltet, dass ein Verifizierer sich eine Anleihe von einem Prover aneignet, die auf dem Ergebnis einer vollständigen Turing-Berechnung basiert.
Die Reaktion der Kryptocommunity auf BitVM ist unterschiedlich. Während einige, wie Super Testnet, es als „die aufregendste Entdeckung in der Geschichte des Bitcoin-Skripts“ bezeichnen , sind andere, wie Blockstream-CEO Adam Back, eher kritisch. Back vergleicht BitVM mit Greg Maxwells Zero-Knowledge-Proof (ZKP) aus dem Jahr 2016, einem Beispiel für kontingente Zahlungen.
for people getting (over) excited, this is cool but effectively a generalization of a two-party game – it says right in the abstract – so it's a bit like Greg Maxwell's 2016 ZKP contingent payments implemented example https://t.co/OeHRsbFjud
— Adam Back (@adam3us) October 9, 2023
Robin Linus hält Back jedoch entgegen, dass bei einer ZKP-Kontingentzahlung der Beweisführer die Lösung im Voraus kennen muss. Dies impliziert die Überlegenheit von BitVM gegenüber Maxwells ZKP-Beispiel von 2016.
Probleme
Trotz seines Potenzials bringt BitVM Komplexitäten und Probleme mit sich. Entwickler Rijndael schlägt vor, dass CTV (BIP-119 = Simple Covenants) die Effizienz von BitVM erhöhen könnte. Die Gemeinschaft ist sich einig, dass das Potenzial von BitVM zwar immens ist, seine Anwendbarkeit in der Praxis und seine Auswirkungen auf bestehende Systeme jedoch noch abzuwarten sind.
Question about the challenge-response protocol: as i read it, vicky and paul would have to presign a challenge/response trace for each branch of the commitment tree at setup time?
— Rijndael (@rot13maxi) October 9, 2023
Maxim Orlovsky von der LNP/BP Standards Association lobt die Innovation, meldet aber auch Bedenken an. Er merkt an, dass reale Programme, einschließlich zk-STARKS, Operationen wie Multiplikation und Modulo-Division erfordern, die im Bitcoin-Skript nicht vorhanden sind. Diese Einschränkungen ergeben sich aus den Beschränkungen, die durch die Bitcoin-Konsensregeln auferlegt werden. Praktische Ergebnisse könnten Jahre der Entwicklung oder doch noch eine Soft Fork erfordern.
