Ingeniería El camino infeliz: Entendiendo la arquitectura BitVM2 Parte Cuatro: Retiradas como flujo de usuario Las retiradas son donde el diseño estándar se vuelve centrado en el operador: UTXOs fijos con peg-in, gráficos pre-firmados y timelocks se filtran en la experiencia del usuario. Por eso GOAT BitVM2 separa "el usuario recibe BTC" de "el operador recibe el reembolso". 1) Retirada del usuario = intercambio atómico (cantidad simple y arbitraria) Una retirada se define como Atomic Swap + Peg-Out. En el flujo básico: • El usuario bloquea PegBTC en L2 en un HTLC (bloqueado por hash). • El operador bloquea BTC en L1 en un HTLC correspondiente. • El usuario reclama BTC y revela la preimagen. • El operador utiliza esa preimagen para reclamar el PegBTC. Esto proporciona al usuario una retirada de "cantidad X" sin necesidad de participar en la mecánica del grafo de transacciones de BitVM2. La especificación también señala mejoras en la experiencia de usuario (por ejemplo, usando Bitcoin SPV) para evitar que el usuario manipule manualmente una preimagen. 2) Reembolso del operador = peg-out, demostrado frente al estado canónico L2 Tras el intercambio, el operador sale por la ruta de salida y es reembolsado en función de pruebas de transición de estado L2, en lugar de depender de la coordinación a nivel de usuario. Operativamente, el rol de operador incluye explícitamente "intercambia PegBTC por BTC nativo con los usuarios" y luego ejecuta el flujo de trabajo de pruebas/reembolsos. El efecto neto: • Los usuarios obtienen una ruta de retirada de cantidad arbitraria que no requiere "comportamiento del operador"....