¿Por qué construir un verdadero zkRollup en Bitcoin es uno de los problemas de ingeniería más difíciles en el espacio en este momento? En Ethereum, los zkRollups pueden publicar una prueba y tener un contrato verificador en cadena que verifique su validez. Y al igual que los Rollups de Ethereum, la mayor parte del tiempo un zkRollup de Bitcoin funciona rápido fuera de la cadena. El camino feliz. Pero Bitcoin no tiene ese tipo de verificación de prueba en cadena, así que no puedes simplemente publicar una prueba y hacer que Bitcoin la verifique de la misma manera. Por eso, un zkRollup de Bitcoin también necesita una especie de modo de 'juicio' para los peores casos. El camino infeliz. Si alguien hace trampa o se desconecta, el sistema cambia a un proceso de desafío optimista: Bitcoin impone un juego de disputa predefinido utilizando transacciones prefirmadas y límites de tiempo, hasta que la reclamación inválida sea refutada o el tramposo se agote. Por eso es difícil construir esto: no solo estás construyendo el Rollup, sino que estás diseñando el mecanismo completo de ejecución del peor caso que Bitcoin puede realmente ejecutar. Y eso es lo que el GOAT BitVM2 mainnet está entregando: un camino de disputa exigible por Bitcoin que hace que la escalabilidad segura sea práctica, mientras mantiene las salidas exigibles en Bitcoin mismo. Aprende todo sobre cómo estamos diseñando para el camino infeliz con nuestra nueva serie sobre la comprensión de la arquitectura de BitVM2 👇