BitVM3 e BABE — “duas máquinas” de criptografia de base do TBV
O TBV consegue fazer o Bitcoin participar do DeFi sem depender de ponte (bridging) e custódia. Por trás disso há duas tecnologias-chave: BitVM3 e BABE.
O BitVM3 é um protocolo para verificar provas SNARK no Bitcoin. Ele usa circuitos ofuscados (garbled circuits) para transferir o ônus da verificação para fora da cadeia, reduzindo significativamente o uso on-chain. Assim, a lógica complexa de contratos inteligentes é executada off-chain, enquanto a cadeia apenas mantém uma prova de fraude extremamente simples. Dessa forma, o UTXO passa a ser reconhecido por protocolos externos sem modificar os scripts do Bitcoin. O TBV utiliza o BitVM3 e provas de conhecimento zero para verificar se condições na cadeia externa foram atendidas, reduzindo o custo das operações convencionais do cofre para cerca de US$ 2,66.
O BABE, por sua vez, é a base central da camada de verificação — publicado pelo professor David Tse, da Universidade Stanford, em janeiro de 2026. Ele comprime as operações de emparelhamento múltiplo das provas de conhecimento zero Groth16 em uma única multiplicação escalar sobre uma curva elíptica, reduzindo o custo de verificação em mais de três ordens de grandeza. O BABE estabelece, a cada criação de cofre, um arcabouço de desafios entre Claimer e Challenger, usando um protocolo cut-and-choose e múltiplas instâncias candidatas de circuitos ofuscados para decisões em disputas.
O BitVM3 é responsável por “como verificar no Bitcoin”; o BABE é responsável por “como manter o custo da verificação suficientemente baixo”. Juntos, eles permitem que o TBV realize o princípio de “ativos sem se mover, provas em primeiro lugar” — o Bitcoin não sai da mainnet; a validação do estado cross-chain é concluída apenas com evidências criptográficas. Este é o principal obstáculo tecnológico que diferencia o TBV de todas as soluções de encapsulamento e ponte.@BabylonLabs_io #baby $BABY
O TBV consegue fazer o Bitcoin participar do DeFi sem depender de ponte (bridging) e custódia. Por trás disso há duas tecnologias-chave: BitVM3 e BABE.
O BitVM3 é um protocolo para verificar provas SNARK no Bitcoin. Ele usa circuitos ofuscados (garbled circuits) para transferir o ônus da verificação para fora da cadeia, reduzindo significativamente o uso on-chain. Assim, a lógica complexa de contratos inteligentes é executada off-chain, enquanto a cadeia apenas mantém uma prova de fraude extremamente simples. Dessa forma, o UTXO passa a ser reconhecido por protocolos externos sem modificar os scripts do Bitcoin. O TBV utiliza o BitVM3 e provas de conhecimento zero para verificar se condições na cadeia externa foram atendidas, reduzindo o custo das operações convencionais do cofre para cerca de US$ 2,66.
O BABE, por sua vez, é a base central da camada de verificação — publicado pelo professor David Tse, da Universidade Stanford, em janeiro de 2026. Ele comprime as operações de emparelhamento múltiplo das provas de conhecimento zero Groth16 em uma única multiplicação escalar sobre uma curva elíptica, reduzindo o custo de verificação em mais de três ordens de grandeza. O BABE estabelece, a cada criação de cofre, um arcabouço de desafios entre Claimer e Challenger, usando um protocolo cut-and-choose e múltiplas instâncias candidatas de circuitos ofuscados para decisões em disputas.
O BitVM3 é responsável por “como verificar no Bitcoin”; o BABE é responsável por “como manter o custo da verificação suficientemente baixo”. Juntos, eles permitem que o TBV realize o princípio de “ativos sem se mover, provas em primeiro lugar” — o Bitcoin não sai da mainnet; a validação do estado cross-chain é concluída apenas com evidências criptográficas. Este é o principal obstáculo tecnológico que diferencia o TBV de todas as soluções de encapsulamento e ponte.@BabylonLabs_io #baby $BABY