¿Por qué construir un zkRollup real sobre Bitcoin es uno de los problemas de ingeniería más difíciles del sector ahora mismo? En Ethereum, zkRollups puede publicar una prueba y que un contrato de verificador onchain verifique su validez. Y al igual que los Rollups de Ethereum, la mayoría de las veces un zkRollup de Bitcoin funciona rápido fuera de la cadena. El camino feliz. Pero Bitcoin no tiene ese tipo de verificación de pruebas en cadena, así que no puedes simplemente publicar una demostración y que Bitcoin la verifique de la misma manera. Por eso un zkRollup de Bitcoin también necesita una especie de modo 'caso judicial' para los peores casos. El camino infeliz. Si alguien hace trampas o se desconecta, el sistema entra en un proceso de desafío optimista: Bitcoin impone un juego de disputa predefinido usando transacciones y límites de tiempo predefinidos, hasta que la afirmación inválida es desmentida o el tramposo expira. Por eso es difícil construir esto: no solo estás construyendo el Rollup, sino que estás diseñando el mecanismo completo de aplicación del peor escenario que Bitcoin puede ejecutar. Y eso es lo que ofrece la mainnet de GOAT BitVM2: una vía de disputa exigible por Bitcoin que hace posible la escalada segura, mientras las salidas son exigibles en Bitcoin mismo. Descubre todo sobre cómo estamos diseñando para el camino infeliz con nuestra nueva serie sobre cómo entender la arquitectura 👇 BitVM2