Sin un hard fork, Bitcoin no puede verificar nativamente las transiciones de estado de un zkRollup. L1 te proporciona firmas, bloqueos temporales, bloqueos de hash y Taproot - no un verificador general. BitVM es la solución más general bajo esa restricción. 🧵👇