BitVM verlagert begrenzte Berechnungen offchain und bringt einen vorab vorbereiteten Betrugsnachweis zu Bitcoin; es ist keine universelle virtuelle Maschine, die direkt in Bitcoin Script läuft.
Das ursprüngliche BitVM beschreibt eine zweiseitige Beziehung zwischen Prover und Verifier. Der Prover führt ein Programm offchain aus, legt sich auf dessen Ablaufspur fest, und der Verifier greift nur ein, wenn er das Ergebnis für falsch hält. [1]
BitVM2 verifiziert einen SNARK mit Skripten, die in kleinere Teilprogramme zerlegt sind. Im optimistischen Ablauf wird nicht die gesamte Berechnung onchain geschrieben; im Streitfall kann ein beliebiger Challenger eine ungültige Behauptung in einem verkürzten Protokoll anfechten. [2]
BitVM Bridge soll BTC sicherer zu zweiten Schichten übertragen: Beim Setup senkt es die Annahme von einer ehrlichen Mehrheit auf mindestens einen ehrlichen Teilnehmer, und jeder kann einen ungültigen Beweis anfechten, nicht nur ein vorab bestimmter Verifier. [2]
Permissionless Challenging bedeutet nicht null Vertrauen. Für Liveness benötigt die Bridge weiterhin mindestens einen aktiven rationalen Operator; fallen alle aus, können Gelder feststecken, und das konkrete Protokoll hängt außerdem von Setup, Datenverfügbarkeit, Anreizen und einem korrekten Transaktionsgraphen ab. [3]
Die offizielle BitVM-Bridge-Implementierung bezeichnet sich selbst als nicht produktionsreif und warnt ausdrücklich vor einem Produktionseinsatz. Das Repository ist ein Prototyp für einen SNARK-Verifier und eine Bridge, keine auditierte Garantie für sichere BTC-Übertragungen. [4]
Permissionless Challenging beseitigt die Betriebskosten nicht. Das Protokoll arbeitet mit großen Skripten, aufgeteilten Beweisen, Sicherheiten, Fristen und Gebühren; Inaktivität oder Zensur können die Liveness beeinträchtigen, auch wenn ein Angreifer keinen gültigen Beweis erzeugen kann. [3]
BitVM macht aus Bitcoin Script keine gewöhnliche virtuelle Maschine für beliebige Onchain-Programme. Die Konstruktion ist ohne Konsensänderung ausgelegt: Ihre Allgemeinheit entsteht durch Offchain-Berechnung, Commitments, Timelocks und einen vorab signierten Streit, den Bitcoin durchsetzen kann. [5]
Der Name BitVM umfasst mehrere unterschiedliche und fortlaufend veränderte Entwürfe: BitVM1, BitVM2 und konkrete Bridge-Protokolle haben nicht dieselben Rollen oder Annahmen. Vor der Nutzung sind die genaue Version, der Transaktionsgraph, das Setup, die Zahl der Operatoren, der Challenge-Pfad und Notausgänge zu prüfen. [4]
Für ein möglichst vollständiges Bild lies diesen Eintrag zusammen mit Bitcoin Script, Taproot, Covenants, Multisig, Sidechain, Soft Fork.
01Führt BitVM Programme direkt auf Bitcoin aus?+
Nein. Das Programm wird offchain berechnet; Bitcoin dient als Richter eines vorab vorbereiteten Streits über kryptografische Commitments und einen kleinen Beweisschritt.
02Ist BitVM eine fertige trustless Bridge?+
Nein. BitVM2 reduziert einige Vertrauensannahmen und erlaubt permissionless Challenges, doch eine konkrete Bridge hängt weiterhin von Setup, Operatoren, Liveness und einer nicht produktionsreifen Implementierung ab.