Sem um hard fork, o Bitcoin não pode verificar nativamente as transições de estado de um zkRollup. O L1 te dá assinaturas, timelocks, hashlocks e Taproot – não é um verificador geral. BitVM é a solução alternativa mais geral sob essa restrição. 🧵👇