Engenharia do Caminho Infeliz: Compreendendo a Arquitetura do BitVM2 Parte Quatro: Saques como um Fluxo de Usuário Os saques são onde o design padrão se torna centrado no operador: UTXOs de peg-in fixo, gráficos pré-assinados e timelocks infiltram-se na experiência do usuário. É por isso que o GOAT BitVM2 separa "o usuário recebe BTC" de "o operador é reembolsado". 1) Saque do usuário = troca atômica (simples, valor arbitrário) Um saque é definido como Troca Atômica + Peg-Out. No fluxo básico: • O usuário bloqueia PegBTC no L2 em um HTLC (hash-locked). • O operador bloqueia BTC no L1 em um HTLC correspondente. • O usuário reivindica BTC e revela a pré-imagem. • O operador usa essa pré-imagem para reivindicar o PegBTC. Isso dá ao usuário um saque de "quantidade X" sem precisar participar na mecânica do gráfico de transações do BitVM2. A especificação também observa melhorias na experiência do usuário (por exemplo, usando Bitcoin SPV) para evitar que o usuário manipule manualmente uma pré-imagem. 2) Reembolso do operador = peg-out, comprovado contra o estado canônico do L2 Após a troca, o operador sai pelo caminho do peg-out e é reembolsado com base nas provas de transição de estado do L2, em vez de depender da coordenação em nível de usuário. Operacionalmente, o papel do operador inclui explicitamente "trocar PegBTC por BTC nativo com os usuários" e, em seguida, executar o fluxo de trabalho de prova/reembolso. O efeito líquido: • Os usuários obtêm um caminho de saque de valor arbitrário que não requer "comportamento do operador"....