BitVM transfere a computação limitada para fora da cadeia e leva ao Bitcoin uma prova de fraude preparada de antemão; não é uma máquina virtual de uso geral executada diretamente em Bitcoin Script.
O BitVM original descreve uma relação bilateral entre prover e verifier. O prover executa um programa fora da cadeia, compromete-se com seu rastro de execução, e o verifier só intervém ao afirmar que o resultado está errado. [1]
BitVM2 verifica um SNARK com scripts divididos em subprogramas menores. O caminho otimista não grava toda a computação onchain; numa disputa, qualquer challenger pode contestar uma afirmação inválida por meio de um protocolo abreviado. [2]
BitVM Bridge busca transferir BTC para segundas camadas com mais segurança: no setup, reduz a premissa de uma maioria honesta para pelo menos um participante honesto, e qualquer pessoa, não apenas um verifier predefinido, pode contestar uma prova inválida. [2]
Um challenge permissionless não significa confiança zero. Para liveness, a ponte ainda precisa de pelo menos um operador racional ativo; se todos falharem, os fundos podem ficar presos, e o protocolo concreto também depende do setup, da disponibilidade de dados, dos incentivos e de um grafo de transações correto. [3]
A implementação oficial do BitVM Bridge declara não estar pronta para produção e adverte expressamente contra esse uso. O repositório é um protótipo de verifier SNARK e de ponte, não uma garantia auditada de transferências seguras de BTC. [4]
Challenges permissionless não eliminam custos operacionais. O protocolo usa scripts grandes, provas divididas, garantias, prazos e taxas; inatividade ou censura podem prejudicar a liveness mesmo quando um atacante não consegue produzir uma prova válida. [3]
BitVM não transforma Bitcoin Script numa máquina virtual convencional para programas onchain arbitrários. A construção foi projetada sem mudança de consenso: sua generalidade vem da computação offchain, de compromissos, timelocks e de uma disputa pré-assinada que o Bitcoin pode impor. [5]
O nome BitVM abrange vários projetos distintos e em evolução: BitVM1, BitVM2 e protocolos de ponte específicos não têm os mesmos papéis nem premissas. Antes do uso, é necessário verificar a versão exata, o grafo de transações, o setup, o número de operadores, o caminho de challenge e as saídas de emergência. [4]
Para ter uma visão mais completa, leia este verbete junto com Bitcoin Script, Taproot, Covenants, Multisig, Sidechain, Soft Fork.
01BitVM executa programas diretamente no Bitcoin?+
Não. O programa é calculado fora da cadeia; o Bitcoin atua como juiz de uma disputa preparada de antemão sobre compromissos criptográficos e um pequeno passo da prova.
02BitVM é uma ponte trustless pronta?+
Não. BitVM2 reduz algumas premissas de confiança e permite challenges permissionless, mas uma ponte concreta ainda depende de seu setup, operadores, liveness e de uma implementação não pronta para produção.