Sin un hard fork, Bitcoin no puede verificar de forma nativa las transiciones de estado de un zkRollup. L1 te da firmas, timelocks, hashlocks y Taproot, no es un verificador general. BitVM es la solución más general bajo esa restricción. 🧵👇