Att konstruera den olyckliga vägen: Förstå BitVM2-arkitekturen Del fyra: Tillbakadraganden som användarflöde Uttåg är där standarddesignen blir operatörscentrerad: fasta UTXO:er med fasta kopplingar, försignerade grafer och tidslås läcker in i användarupplevelsen. Det är därför GOAT BitVM2 skiljer "användaren får BTC" från "operatören får ersättning". 1) Användaruttag = atomärt byte (enkelt, godtyckligt belopp) Ett uttag definieras som Atomic Swap + Peg-Out. I grundflödet: • Användaren låser PegBTC på L2 i en HTLC (hash-låst). • Operatören låser BTC på L1 i en matchande HTLC. • Användaren gör anspråk på BTC och visar förbilden. • Operatören använder den förbilden för att göra anspråk på PegBTC. Detta ger användaren ett "belopp X"-uttag utan att behöva delta i BitVM2:s transaktionsgrafmekanik. Specifikationen noterar också förbättringar av användarupplevelsen (t.ex. användning av Bitcoin SPV) för att undvika att användaren manuellt hanterar en preimage. 2) Operatörsersättning = utplåning, bevisad mot kanoniskt L2-tillstånd Efter bytet lämnar operatören via peg-out-vägen och återbetalas baserat på L2-tillståndsövergångsbevis, istället för att förlita sig på användarnivåkoordination. Operativt innebär operatörsrollen uttryckligen "byter PegBTC mot inhemsk BTC med användare" och kör sedan bevis-/ersättningsflödet. Nettoeffekten: • Användare får en godtycklig uttagsväg som inte kräver "operatörsbeteende". • Operatörerna tar protokollets komplexitet och reglerar ersättningen via peg-out-mekanismen. Nästa i serien: liveness engineering – varför CPFP och Pre-Kickoff finns, och vad som misslyckas utan dem.