Ingénierie du chemin malheureux : Comprendre l'architecture de BitVM2 Partie Quatre : Retraits en tant que flux utilisateur Les retraits sont là où le design standard devient centré sur l'opérateur : les UTXOs à peg fixe, les graphiques pré-signés et les délais s'infiltrent dans l'expérience utilisateur. C'est pourquoi le GOAT BitVM2 sépare "l'utilisateur obtient BTC" de "l'opérateur est remboursé". 1) Retrait utilisateur = échange atomique (simple, montant arbitraire) Un retrait est défini comme Échange Atomique + Peg-Out. Dans le flux de base : • L'utilisateur verrouille PegBTC sur L2 dans un HTLC (verrouillé par hachage). • L'opérateur verrouille BTC sur L1 dans un HTLC correspondant. • L'utilisateur réclame BTC et révèle l'image préimage. • L'opérateur utilise cette préimage pour réclamer le PegBTC. Cela donne à l'utilisateur un retrait "montant X" sans avoir besoin de participer aux mécanismes du graphique de transaction BitVM2. La spécification note également des améliorations UX (par exemple, en utilisant Bitcoin SPV) pour éviter que l'utilisateur ne gère manuellement une préimage. 2) Remboursement de l'opérateur = peg-out, prouvé contre l'état canonique de L2 Après l'échange, l'opérateur sort par le chemin de peg-out et est remboursé sur la base des preuves de transition d'état de L2, plutôt que de compter sur la coordination au niveau de l'utilisateur. Opérationnellement, le rôle de l'opérateur inclut explicitement "échanges PegBTC contre BTC natif avec les utilisateurs" et exécute ensuite le flux de travail de preuve/remboursement. L'effet net : • Les utilisateurs obtiennent un chemin de retrait de montant arbitraire qui ne nécessite pas de "comportement de l'opérateur"....