Ingegneria del percorso infelice: Comprendere l'architettura di BitVM2 Parte Quattro: Prelievi come flusso utente I prelievi sono dove il design standard diventa incentrato sull'operatore: UTXO fissi peg-in, grafi pre-firmati e timelock si infiltrano nell'esperienza utente. Ecco perché il GOAT BitVM2 separa "l'utente ottiene BTC" da "l'operatore viene rimborsato". 1) Prelievo utente = scambio atomico (importo semplice e arbitrario) Un prelievo è definito come Scambio Atomico + Peg-Out. Nel flusso di base: • L'utente blocca PegBTC su L2 in un HTLC (hash-bloccato). • L'operatore blocca BTC su L1 in un HTLC corrispondente. • L'utente richiede BTC e rivela l'immagine predefinita. • L'operatore utilizza quell'immagine predefinita per richiedere il PegBTC. Questo offre all'utente un prelievo di "importo X" senza necessità di partecipare alla meccanica del grafo di transazione di BitVM2. La specifica nota anche miglioramenti UX (ad es. utilizzando Bitcoin SPV) per evitare che l'utente gestisca manualmente un'immagine predefinita. 2) Rimborso dell'operatore = peg-out, provato contro lo stato canonico di L2 Dopo lo scambio, l'operatore esce tramite il percorso di peg-out e viene rimborsato in base alle prove di transizione di stato di L2, piuttosto che fare affidamento su coordinazione a livello utente. Operativamente, il ruolo dell'operatore include esplicitamente "scambiare PegBTC per BTC nativo con gli utenti" e poi gestire il flusso di lavoro di prova/rimborso. L'effetto netto: • Gli utenti ottengono un percorso di prelievo di importo arbitrario che non richiede "comportamento dell'operatore"....