Inginerie: Calea nefericită: Înțelegerea arhitecturii BitVM2 Partea a patra: Retragerile ca flux de utilizator Retragerile sunt momentele în care designul standard devine centrat pe operator: UTXO-urile fixe cu pin, graficele pre-semnate și timelock-urile pătrund în experiența utilizatorului. De aceea GOAT BitVM2 separă "utilizatorul primește BTC" de "operatorul este rambursat". 1) Retragerea utilizatorului = schimb atomic (sumă simplă, arbitrară) O retragere este definită ca Atomic Swap + Peg-Out. În fluxul de bază: • Utilizatorul blochează PegBTC pe L2 într-un HTLC (blocat pe hash). • Operatorul blochează BTC pe L1 într-un HTLC corespunzător. • Utilizatorul revendică BTC și dezvăluie preimaginea. • Operatorul folosește acea preimagine pentru a revendica PegBTC-ul. Aceasta oferă utilizatorului o retragere "sumă X" fără a fi nevoie să participe la mecanica grafului tranzacțiilor BitVM2. Specificația menționează, de asemenea, îmbunătățiri ale UX (de exemplu, utilizarea Bitcoin SPV) pentru a evita ca utilizatorul să gestioneze manual o preimagine. 2) Rambursarea operatorului = fixare, dovedită în raport cu starea canonică L2 După schimbare, operatorul iese prin calea de ieșire a stării și este rambursat pe baza demonstrațiilor de tranziție de stare L2, în loc să se bazeze pe coordonarea la nivel de utilizator. Din punct de vedere operațional, rolul operatorului include explicit "schimb PegBTC cu BTC nativ cu utilizatorii" și apoi rulează fluxul de lucru de dovezi/rambursare. Efectul net: • Utilizatorii primesc o cale de retragere cu sume arbitrare care nu necesită "comportamentul operatorului"....