Sem um hard fork, o Bitcoin não consegue verificar nativamente as transições de estado de um zkRollup. O L1 fornece assinaturas, bloqueios de tempo, bloqueios de hash e Taproot - não um verificador geral. O BitVM é a solução mais geral sob essa restrição. 🧵👇