Inženýrství nešťastné cesty: Porozumění architektuře BitVM2 Část čtvrtá: Výběry jako uživatelský tok Výběry jsou obdobím, kdy se standardní návrh stává zaměřeným na operátora: pevné UTXO s připnutím, předem podepsané grafy a timelocky prosakují do uživatelského zážitku. Proto GOAT BitVM2 odděluje "uživatel dostane BTC" od "operátor dostane náhradu". 1) Výběr uživatelem = atomická výměna (jednoduchá, libovolná částka) Výběr je definován jako Atomic Swap + Peg-Out. V základním proudu: • Uživatel uzamkne PegBTC na L2 v HTLC (hash-locked). • Operátor uzamkne BTC na L1 v odpovídající HTLC. • Uživatel si nárokuje BTC a odhaluje preimage. • Operátor použije tento preimage k nároku na PegBTC. To uživateli umožní vybrat "částku X" bez nutnosti účastnit se mechaniky transakčních grafů BitVM2. Specifikace také uvádí zlepšení UX (např. použití Bitcoin SPV), aby se zabránilo ručnímu zpracování preimage. 2) Operátorská náhrada = peg-out, prokázané proti kanonickému stavu L2 Po výměně operátor vystoupí cestou peg-out a je mu vrácena na základě důkazů přechodu stavu L2, místo aby se spoléhal na koordinaci na úrovni uživatele. Provozní role operátora výslovně zahrnuje "výměnu PegBTC za nativní BTC s uživateli" a následně spouště workflow důkazů/úhrad. Celkový efekt: • Uživatelé mají libovolnou cestu k výběru, která nevyžaduje "chování operátora"....