Descripción General
Los Contratos de Registro Discreto (DLC, por sus siglas en inglés) son un protocolo para crear pagos condicionales en Bitcoin que dependen de eventos del mundo real. Propuesto por Tadge Dryja en 2018, los DLC utilizan una combinación ingeniosa de firmas adaptadoras y atestaciones de oráculos para habilitar contratos financieros como apuestas, seguros y derivados, todo manteniendo los términos del contrato privados y con una huella mínima en la cadena.
Cómo Funciona
Un DLC involucra a tres participantes: dos partes contratantes (Alice y Bob) y un oráculo que atestigua resultados del mundo real.
┌─────────┐ ┌─────────┐
│ Alice │◄──── Transacción de Fondos ──►│ Bob │
└────┬─────┘ (multisig 2-de-2) └────┬────┘
│ │
│ Pre-firmar Txs de Ejecución del Contrato│
│ para todos los posibles resultados │
│◄──────────────────────────────────────────►│
│ │
│ ┌──────────┐ │
│ │ Oráculo │ │
│ │ atestigua │ │
│ │ resultado │ │
│ └────┬─────┘ │
│ │ │
│ La firma del oráculo habilita │
│ la CET correcta para transmitirse │
└────────────────────────────────────────┘
- Configuración: Alice y Bob acuerdan los términos del contrato y un oráculo a utilizar
- Financiamiento: Crean una transacción de financiamiento multisig 2-de-2
- CETs: Pre-firman Transacciones de Ejecución de Contrato (CETs) para cada resultado posible, usando firmas adaptadoras bloqueadas a los puntos de atestación anticipados del oráculo
- Liquidación: Cuando el oráculo publica su atestación, la CET correspondiente se vuelve gastable y el ganador puede reclamar los fondos
Propiedades de Privacidad
Los DLC son notablemente privados:
- El oráculo no sabe que un contrato depende de su atestación
- En la cadena, un DLC parece una transacción multisig ordinaria (especialmente con Taproot)
- Terceros no pueden determinar los términos del contrato desde la blockchain
- El oráculo nunca sabe quién usa sus datos ni con qué propósito
Casos de Uso
- Apuestas de precio: Apostar sobre el precio futuro de bitcoin u otros activos
- Seguros: Contratos de seguros paramétricos que pagan según eventos verificables (clima, terremotos)
- Futuros y opciones: Derivados financieros sintéticos liquidados en bitcoin
- Apuestas deportivas: Mercados de predicción descentralizados
Limitaciones
- El número de resultados posibles debe enumerarse de antemano, lo que puede ser impracticable para contratos con muchos valores posibles (aunque las técnicas de descomposición numérica ayudan)
- Todavía se requiere confianza en el oráculo para una atestación honesta, aunque el oráculo no puede robar fondos
- La interoperabilidad entre implementaciones DLC todavía está madurando