OP-DLC 2: El camino es simple

En 2018, Tadge Dryja del Instituto Tecnológico de Massachusetts propuso un marco de ejecución de contratos basado en oráculos: el Discreet Log Contract (DLC). El DLC permite a las partes realizar pagos condicionales según condiciones predefinidas, ejecutando el pago a través de la firma previa y la firma del resultado por parte del oráculo. Este método logra nuevas aplicaciones de finanzas descentralizadas al garantizar la seguridad de los depósitos en Bitcoin.

El texto anterior resumió las ventajas y problemas que enfrenta el DLC, y propuso algunas soluciones de optimización. Sin embargo, dado que el DLC involucra la participación de múltiples partes, las estrategias de defensa son relativamente complejas. En busca de la belleza de la simplicidad, necesitamos volver a la esencia: en Bitcoin, cualquier acción debe realizarse a través de UTXO. Del mismo modo, las acciones en un DLC se realizan a través de CET(Contract Execution Transaction). Por lo tanto, solo es necesario asegurar la corrección del CET para resistir varios ataques.

En concreto, podemos introducir un mecanismo de desafío optimista para garantizar la corrección de CET. El oráculo debe apostar 2 BTC para firmar CET. Si CET no es desafiado o se responde con éxito al desafío, se considera correcto y se puede ejecutar la liquidación, el oráculo libera la apuesta y recibe una tarifa. Si el oráculo intenta hacer trampa, cualquier persona puede iniciar un desafío, lo que hace que ese CET no pueda liquidarse, el oráculo pierde la garantía y pierde el derecho a firmar ese CET. Este mecanismo es simple y efectivo, y se ajusta al concepto de "la simplicidad es la clave".

Principio del DLC

Tomemos como ejemplo la apuesta entre Alice y Bob sobre la paridad del hash de un bloque para explicar los principios básicos del DLC:

1. Transacción de capital: Alice y Bob bloquean 10 BTC cada uno en una salida de firma múltiple.

2. Construcción de CET: Ambas partes crean dos CET, que corresponden a diferentes resultados.

3. Liquidación: El oráculo firma el CET correspondiente según el resultado real.

4. Retiro: La parte ganadora calcula una nueva clave privada y retira un total de 20 BTC.

La clave está en que todas las acciones se realizan a través de CET. Por lo tanto, solo es necesario asegurar la corrección de CET para prevenir varios ataques. Un CET incorrecto será impugnado y no se ejecutará, mientras que un CET correcto será ejecutado. Al mismo tiempo, los oráculos deberán pagar un precio por comportamientos maliciosos.

OP-DLC 2

OP-DLC incluye las siguientes disposiciones:

1. El oráculo está compuesto por una alianza, cualquier miembro puede firmar CET. Se necesita un staking de 2BTC para poder firmar y ganar comisiones.

2. Si el oráculo actúa mal y modifica los resultados, cualquier persona puede iniciar un desafío.

3. Si el oráculo firma honestamente, CET se puede liquidar una semana después, y el oráculo recibe una recompensa.

4. Cualquier persona puede desafiar la firma del oráculo:

   • Si es honesto, CET se liquidará normalmente, el oráculo desbloqueará el staking y obtendrá comisiones.
   • Si no es honesto, la firma es inválida, el oráculo pierde el depósito y pierde el derecho a firmar nuevamente.

5. El mecanismo de desafío no requiere permiso, cualquier persona puede supervisar la ejecución del contrato, logrando así una confianza mínima en el oráculo.

Las principales ventajas de OP-DLC:

• Alto control de activos, los usuarios solo pueden confiar en sí mismos
• Alta tasa de utilización de fondos, no se requiere un adelanto de fondos equivalente.
• El oráculo debe ser determinado al realizar el depósito, pero el usuario puede convertirse en oráculo.

Principales desventajas:

• La retirada de fondos requiere un período de desafío de una semana.
• La cantidad de pre-firmas crece linealmente con la cantidad de CET

Conclusión

OP-DLC asegura que los CET incorrectos no sean liquidados y que los oráculos maliciosos sean penalizados al introducir un mecanismo de desafío optimista en CET, al mismo tiempo que garantiza la ejecución de los CET correctos. Este método simple y efectivo puede resistir varios ataques, reflejando la filosofía de diseño de "la simplicidad es la máxima sofisticación".