Bitcoin kann Ethereum-Belege nicht „lesen“, muss aber entscheiden, wem die in Taproot gesperrten BTC letztlich zurückgegeben werden. Das ist, als würde man einem Türsteher, der nur Siegel akzeptiert, eine Gerichtsentscheidung zur Prüfung geben, die in einer Fremdsprache verfasst ist.
Ich folge dem BABE-Flow für @BabylonLabs_io und zerlege ihn Schritt für Schritt. Dabei zeigt sich: Es geht nicht darum, dass Bitcoin einen vollständigen ZK-Verifikator im Script ausführt, sondern darum, die Prüfung von Echtheit in ein vorab arrangiertes Challenge-Spiel zu verwandeln.
Beim Rückkauf bestätigt die Proof-Pipeline zuerst, dass der Ethereum-Beacon-Block endgültig finalisiert ist, verknüpft dann den Ausführungsblock mit dem Rückkaufs-Beleg und lässt schließlich durch SP1 den Beweis erzeugen, der zu Groth16 komprimiert wird. Der Empfänger sendet anschließend „Claim“ und „Assert“; mit WOTS wird das Proof-Versprechen in eine Bitcoin-Transaktion geschrieben. Danach beginnt die öffentliche Testnet-Phase mit etwa 432 BTC-Blöcken und einem rund dreitägigen Challenge-Zeitfenster.
Der entscheidende Punkt ist das Peg-in. Die aktuellen Parameter verlangen, dass pro Empfänger- und Herausforderer-Team 307 Sätze an Kandidaten-Confusion-Schaltungen erzeugt, 301 Sätze öffentlich überprüft werden (um Betrug aufzudecken) und nur 6 zufällig ausgewählte Sätze für die Behandlung künftiger Streitfälle übrig bleiben. Wie wenn man zuerst die allermeisten versiegelten Prüfungsbögen öffnet und prüft und erst den Rest für die eigentliche Prüfung verwendet.
Reicht der Empfänger einen falschen Beweis ein, kann der Herausforderer die Verifikation erneut abspielen und eine „Challenge“ anstoßen. Der falsche Beweis lässt sich nicht auf den korrekten Tag zurückführen; nach etwa 108 Blöcken kann der Herausforderer den No-Payout-Pfad wählen, wodurch die Freigabe der BTC blockiert und die Sicherheitsleistung des Herausforderers verwirkt wird. Wird dagegen ein gültiger Beweis böswillig herausgefordert, kann der Empfänger den korrekten Tag extrahieren, „WronglyChallenged“ ausstrahlen und „Payout“ fortsetzen; der Herausforderer erleidet dann den Verlust seiner Sicherheitsleistung.
Daher geht es bei BABE nicht darum, dass Bitcoin Ethereum direkt versteht, sondern darum, dass Lügner die nächste Stufe nicht erfolgreich abschließen können. Aber Confusion-Schaltungen, die Proof-Pipeline und die Online-Quote der Herausforderer: Wenn irgendwo etwas schiefgeht, wirkt sich das auf den Exit aus. Vor dem Mainnet ist das, was ich am liebsten sehen würde, dass ein echter Streitfall vollständig durchläuft – nicht nur ein „Happy Path“ ohne Challenge.
#baby $BABY
Ich folge dem BABE-Flow für @BabylonLabs_io und zerlege ihn Schritt für Schritt. Dabei zeigt sich: Es geht nicht darum, dass Bitcoin einen vollständigen ZK-Verifikator im Script ausführt, sondern darum, die Prüfung von Echtheit in ein vorab arrangiertes Challenge-Spiel zu verwandeln.
Beim Rückkauf bestätigt die Proof-Pipeline zuerst, dass der Ethereum-Beacon-Block endgültig finalisiert ist, verknüpft dann den Ausführungsblock mit dem Rückkaufs-Beleg und lässt schließlich durch SP1 den Beweis erzeugen, der zu Groth16 komprimiert wird. Der Empfänger sendet anschließend „Claim“ und „Assert“; mit WOTS wird das Proof-Versprechen in eine Bitcoin-Transaktion geschrieben. Danach beginnt die öffentliche Testnet-Phase mit etwa 432 BTC-Blöcken und einem rund dreitägigen Challenge-Zeitfenster.
Der entscheidende Punkt ist das Peg-in. Die aktuellen Parameter verlangen, dass pro Empfänger- und Herausforderer-Team 307 Sätze an Kandidaten-Confusion-Schaltungen erzeugt, 301 Sätze öffentlich überprüft werden (um Betrug aufzudecken) und nur 6 zufällig ausgewählte Sätze für die Behandlung künftiger Streitfälle übrig bleiben. Wie wenn man zuerst die allermeisten versiegelten Prüfungsbögen öffnet und prüft und erst den Rest für die eigentliche Prüfung verwendet.
Reicht der Empfänger einen falschen Beweis ein, kann der Herausforderer die Verifikation erneut abspielen und eine „Challenge“ anstoßen. Der falsche Beweis lässt sich nicht auf den korrekten Tag zurückführen; nach etwa 108 Blöcken kann der Herausforderer den No-Payout-Pfad wählen, wodurch die Freigabe der BTC blockiert und die Sicherheitsleistung des Herausforderers verwirkt wird. Wird dagegen ein gültiger Beweis böswillig herausgefordert, kann der Empfänger den korrekten Tag extrahieren, „WronglyChallenged“ ausstrahlen und „Payout“ fortsetzen; der Herausforderer erleidet dann den Verlust seiner Sicherheitsleistung.
Daher geht es bei BABE nicht darum, dass Bitcoin Ethereum direkt versteht, sondern darum, dass Lügner die nächste Stufe nicht erfolgreich abschließen können. Aber Confusion-Schaltungen, die Proof-Pipeline und die Online-Quote der Herausforderer: Wenn irgendwo etwas schiefgeht, wirkt sich das auf den Exit aus. Vor dem Mainnet ist das, was ich am liebsten sehen würde, dass ein echter Streitfall vollständig durchläuft – nicht nur ein „Happy Path“ ohne Challenge.
#baby $BABY