Blockchain/Nivel X · Cerrando el círculo/10.1 Qué traer a casa/Lección 5
Finanzas nativas de Bitcoin sin puentes
Construir contratos, préstamos y cómputo en Bitcoin sin envolver ni hacer puente
MaterialesUn explorador de bloques con capacidades de análisis de scriptsEl informe técnico “The Discreet Log Contracts” de T. Dryja (2017)Documentación técnica de BitVM y borradores de especificaciones
Curiosidad
- ¿Cómo puede liquidarse un contrato financiero en satoshis nativos sin introducir un nuevo token o cadena?
- ¿Qué suposiciones específicas de confianza se introducen al utilizar un oráculo para datos de precios en comparación con verificarlos localmente?
- ¿Por qué la capacidad de salir unilateralmente de vuelta a la capa base se considera el principal indicador de seguridad para las finanzas nativas de Bitcoin?
Explorar
- Los contratos Log discretos, propuestos por T. Dryja en 2017, permiten contratos financieros con bitcoin utilizando únicamente monedas nativas. Ambas partes bloquean los fondos en una salida multisig de tipo 2-of-2 y firman previamente una transacción de pago para cada resultado posible; cada una de estas transacciones puede ser utilizada gracias a una firma adaptadora que solo se completa con la firma del oráculo correspondiente a ese resultado. El oráculo publica su certificación sin saber que existe el contrato. Cuando lo hace, el pago correspondiente se vuelve válido; si falla o se comporta de manera inadecuada, un timelock permite a los participantes recuperar su capital después de un período determinado. Este diseño evita envolver el bitcoin en el token de otra cadena, pero introduce una dependencia crítica: el usuario debe confiar en que el oráculo no firmará de forma maliciosa y en que la red hará cumplir el timelock.
- Las estructuras multisig y timelock facilitan los protocolos de préstamo en los que el prestatario conserva la custodia de sus claves mientras el colateral está bloqueado. En estos diseños, el prestamista posee una clave y el prestatario otra; un mecanismo basado en terceros o en scripts se encarga de la liquidación si el colateral baja por debajo de un umbral determinado. A diferencia de los activos envueltos que requieren a un custodio para crear tokens en otra cadena, este enfoque mantiene todo el valor dentro del modelo UTXO de Bitcoin. El trade-off es la complejidad en la gestión de las claves y el riesgo de errores en el software que crea y firma estas transacciones.
- Los canales de la Red Lightning permiten flujos de pago fuera de la cadena que solo se liquidan en la capa base cuando se cierran. Esto reduce la congestión y las comisiones en las transacciones de alta frecuencia, al tiempo que mantiene las garantías de finalidad de Bitcoin. Ark permite a muchos usuarios compartir una salida dentro de la cadena coordinada por un operador; cada usuario posee un camino prefirmado para salir solo a la cadena si el operador desaparece. La seguridad de estos sistemas depende íntegramente del consenso de la cadena subyacente; no se introduce ningún nuevo conjunto de validadores, preservando así el modelo de seguridad descentralizado establecido en lecciones anteriores.
- Los diseños al estilo BitVM tienen como objetivo verificar cálculos arbitrarios sin modificar las reglas de consenso de Bitcoin. BitVM (Robin Linus, 2023) es optimista: el que presenta la prueba declara un resultado fuera de la cadena, y si alguien lo cuestiona, una disputa resuelta mediante Script de Bitcoin identifica el paso incorrecto y castiga al que presenta la prueba. Su uso principal son los puentes cuya seguridad solo requiere de un verificador honesto entre muchos, en lugar de una federación confiable. Representa un cambio significativo desde cadenas de propósito general y completas según Turing hacia cálculos selectivos y verificables.
- Cada uno de estos mecanismos introduce suposiciones distintas sobre la confianza que deben evaluarse en relación con las propiedades fundamentales de Bitcoin. Los oráculos requieren confianza en fuentes de datos externas; los contratos multisig requieren confianza en la corrección del código y en la gestión de claves; los canales de estado requieren confianza en mecanismos de resolución de disputas. El elemento común es la preservación de la autogestión: los usuarios siempre pueden convertir sus activos a satoshis nativos sin necesidad de permiso alguno por parte de una fundación o clave administrativa. Esto contrasta marcadamente con los activos envueltos, donde para salir de ellos es necesario pasar por intermediarios de confianza, lo que vuelve a introducir el riesgo de contraparte que los diseños nativos evitan.
- Lea la estructura de la transacción en las especificaciones del DLC (dlcspecs): una transacción de financiación con una salida multisig de 2 de 2, una transacción de ejecución prefirmada por resultado y una transacción de reembolso bloqueada hasta un momento determinado en caso de que el oráculo nunca dé su certificación. Indique qué parte se considera fiable para cada parte: el oráculo y la cadena.
Datos clave
- Los contratos Discreet Log se liquidan en Bitcoin nativo mediante firmas de adaptador completadas por la certificación de un oráculo, con un reembolso con bloqueo temporal.
- Los protocolos de préstamo multisign mantienen las garantías en el modelo UTXO, evitando los riesgos del puenteo de tokens envueltos.
- Lightning y Ark transfieren los pagos fuera de la cadena, mientras que cada usuario mantiene una vía de salida hacia la capa base.
- BitVM verifica de forma optimista los cálculos fuera de la cadena, resolviendo las disputas mediante el Script de Bitcoin, sin cambiar las reglas de consenso.
- La financiación nativa de Bitcoin preserva la autogestión al permitir una salida unilateral a la cadena sin permiso.
- Las dependencias de Oracle en contratos nativos introducen suposiciones de confianza externas distintas a la lógica puramente en cadena.
Ejercicio nueve, seis, tres, uno
9ReunirIdentifique 9 componentes específicos de un contrato de registro discreto, incluidos los roles clave, los tipos de firma y los parámetros de bloqueo temporal.
6AgruparAgrupe los 9 componentes en 6 categorías según su fuente principal de confianza: matemáticas criptográficas, oráculos externos, consenso social, lógica del código, gestión de claves o aplicación de normas en la red.
3DestilarReduzca los 6 grupos a 3 compromisos fundamentales entre la financiación nativa de Bitcoin y el DeFi de activos envueltos en relación con la seguridad, la complejidad y la liquidez para salir del mercado.
1CristalizarEscriba una oración que defina el requisito mínimo de seguridad para cualquier instrumento financiero basado en Bitcoin sin una cadena nueva.
Verificación de hechos
Fechas, cifras y afirmaciones verificadas con las fuentes publicadas que se enumeran a continuación.