Ingeniería del Camino Desafortunado: Entendiendo la Arquitectura de BitVM2 Parte Dos: Bloqueadores Prácticos de BitVM2 BitVM2 es un fuerte marco de puente, pero "funciona en teoría" no es el estándar en Bitcoin. El estándar es si el camino desafortunado es barato, inequívoco y compatible con incentivos. En un despliegue de BitVM2 estilo zkRollup, tres bloqueadores prácticos aparecen rápidamente: 1. Probar el estado incorrecto Durante un peg-out impugnado, el operador puede intentar usar una prueba válida sobre una historia L2 incorrecta/derivada. Si el "último estado" no se determina objetivamente, la prueba puede ser internamente correcta pero económicamente fraudulenta. 2. Los usuarios no pueden retirar cantidades arbitrarias Los peg-outs clásicos de BitVM2 están atados a cantidades fijas de peg-in L1 y flujos de estilo operador. No se puede esperar que los usuarios finales ejecuten un flujo de trabajo de operador solo para retirar "x BTC". 3. Los incentivos no pagan de manera confiable al actor honesto Si los retadores no reciben pagos de manera consistente, dejan de vigilar. Un modo de falla específico: la entidad que financia/inicia un desafío no es necesariamente la entidad que realiza el paso final de refutación, por lo que las recompensas pueden ser capturadas por otros. El diseño GOAT de BitVM2 aborda estos problemas directamente con tres movimientos arquitectónicos: • Comprometer el conjunto de secuenciadores en Bitcoin para que el "estado L2 canónico" esté anclado externamente. • Mover la garantía del operador/retador a L2 + usar un flujo de retiro de intercambio atómico para que los usuarios retiren cantidades arbitrarias de manera limpia, mientras que los operadores se reembolsan a través de pruebas L2. • Reducir la sobrecarga de disputas con circuitos enredados + DV-SNARK para que el camino de desafío sea operativamente factible. Próximamente en la Parte Tres: lo que significa anclar la vista L2 canónica en Bitcoin comprometiendo el conjunto de secuenciadores, y por qué esto cierra la salida de "probar el estado incorrecto".