Ingénierie du chemin malheureux : Comprendre l'architecture de BitVM2 Partie Deux : Les obstacles pratiques de BitVM2 BitVM2 est un cadre de pont solide, mais "fonctionne en théorie" n'est pas le critère pour Bitcoin. Le critère est de savoir si le chemin malheureux est bon marché, sans ambiguïté et compatible avec les incitations. Dans un déploiement de BitVM2 de style zkRollup, trois obstacles pratiques apparaissent rapidement : 1. Prouver le mauvais état Lors d'un retrait contesté, l'opérateur peut tenter d'utiliser une preuve valide sur un historique L2 incorrect/branché. Si "dernier état" n'est pas objectivement déterminé, la preuve peut être interne correcte mais économiquement frauduleuse. 2. Les utilisateurs ne peuvent pas retirer des montants arbitraires Les retraits classiques de BitVM2 sont liés à des montants fixes de peg-in L1 et à des flux de style opérateur. Les utilisateurs finaux ne peuvent pas être censés exécuter un flux de travail d'opérateur juste pour retirer "x BTC". 3. Les incitations ne paient pas de manière fiable l'acteur honnête Si les challengers ne sont pas payés de manière cohérente, ils cessent de surveiller. Un mode de défaillance spécifique : l'entité qui finance/initie un défi n'est pas nécessairement l'entité qui réalise la dernière étape de réfutation, donc les récompenses peuvent être capturées par d'autres. Le design GOAT de BitVM2 cible ces problèmes directement avec trois mouvements architecturaux : • Engager l'ensemble des séquenceurs sur Bitcoin afin que "l'état L2 canonique" soit ancré de manière externe. • Déplacer le collatéral opérateur/challenger vers L2 + utiliser un flux de retrait d'échange atomique afin que les utilisateurs retirent des montants arbitraires de manière propre, tandis que les opérateurs se remboursent via des preuves L2. • Réduire les frais de litige avec des circuits embrouillés + DV-SNARK afin que le chemin de contestation soit opérationnellement réalisable. À venir dans la Partie Trois : ce que cela signifie d'ancrer la vue L2 canonique sur Bitcoin en engageant l'ensemble des séquenceurs, et pourquoi cela clôt le problème de "prouver le mauvais état".