BitVM3 y BABE — “doble motor” criptográfico subyacente de TBV
TBV permite que Bitcoin participe en DeFi sin depender de puentes ni custodia, respaldado por dos tecnologías clave: BitVM3 y BABE.
BitVM3 es un protocolo que verifica pruebas SNARK en Bitcoin. Mediante un circuito ofuscado (garbled circuit), transfiere la carga de la verificación fuera de la cadena, reduciendo drásticamente el uso en cadena. Permite que la lógica compleja de contratos inteligentes se ejecute fuera de la cadena, manteniendo en cadena únicamente una prueba de fraude extremadamente mínima. Así, los UTXO pueden ser reconocidos por protocolos externos sin modificar los scripts de Bitcoin. TBV utiliza BitVM3 y pruebas de conocimiento cero para verificar si se cumplen condiciones en cadenas externas; con ello, el costo de las operaciones típicas de bóveda se reduce a unos 2.66 dólares.
BABE, por su parte, es el pilar central de la capa de verificación: anunciado por el profesor de Stanford David Tse en enero de 2026, comprime las operaciones de emparejamiento múltiples de las pruebas de conocimiento cero Groth16 en una sola multiplicación escalar de curva elíptica, reduciendo el costo de verificación en más de tres órdenes de magnitud. BABE establece, en cada creación de bóveda, un marco de retos entre el Claimer y el Challenger; usa el protocolo cut-and-choose y múltiples instancias candidatas de circuitos ofuscados para resolver disputas.
BitVM3 se encarga de “cómo verificar en Bitcoin” y BABE de “cómo mantener el costo de verificación lo suficientemente bajo”. Juntas, permiten que TBV logre “los activos no se mueven y las pruebas van primero”: Bitcoin no abandona la cadena principal y, solo con evidencia criptográfica, es posible completar la verificación del estado entre cadenas. Este es el muro técnico fundamental por el que TBV se diferencia de todas las soluciones de empaquetado y puente.@BabylonLabs_io #baby $BABY
TBV permite que Bitcoin participe en DeFi sin depender de puentes ni custodia, respaldado por dos tecnologías clave: BitVM3 y BABE.
BitVM3 es un protocolo que verifica pruebas SNARK en Bitcoin. Mediante un circuito ofuscado (garbled circuit), transfiere la carga de la verificación fuera de la cadena, reduciendo drásticamente el uso en cadena. Permite que la lógica compleja de contratos inteligentes se ejecute fuera de la cadena, manteniendo en cadena únicamente una prueba de fraude extremadamente mínima. Así, los UTXO pueden ser reconocidos por protocolos externos sin modificar los scripts de Bitcoin. TBV utiliza BitVM3 y pruebas de conocimiento cero para verificar si se cumplen condiciones en cadenas externas; con ello, el costo de las operaciones típicas de bóveda se reduce a unos 2.66 dólares.
BABE, por su parte, es el pilar central de la capa de verificación: anunciado por el profesor de Stanford David Tse en enero de 2026, comprime las operaciones de emparejamiento múltiples de las pruebas de conocimiento cero Groth16 en una sola multiplicación escalar de curva elíptica, reduciendo el costo de verificación en más de tres órdenes de magnitud. BABE establece, en cada creación de bóveda, un marco de retos entre el Claimer y el Challenger; usa el protocolo cut-and-choose y múltiples instancias candidatas de circuitos ofuscados para resolver disputas.
BitVM3 se encarga de “cómo verificar en Bitcoin” y BABE de “cómo mantener el costo de verificación lo suficientemente bajo”. Juntas, permiten que TBV logre “los activos no se mueven y las pruebas van primero”: Bitcoin no abandona la cadena principal y, solo con evidencia criptográfica, es posible completar la verificación del estado entre cadenas. Este es el muro técnico fundamental por el que TBV se diferencia de todas las soluciones de empaquetado y puente.@BabylonLabs_io #baby $BABY