OP-DLC 2: La verdad suele ser simple

1. Introducción

Discreet Log Contract (DLC) es un marco de ejecución de contratos basado en oráculos, que permite a ambas partes realizar pagos condicionados según condiciones predefinidas. El DLC, garantizando la seguridad del depósito en bitcoins, implementa nuevas aplicaciones de finanzas descentralizadas.

En el análisis anterior se discutieron las ventajas del DLC y los problemas que enfrenta, y se propusieron algunas ideas de optimización. Sin embargo, dado que el DLC involucra la participación de múltiples partes, las estrategias de defensa son relativamente complejas y carecen de simplicidad estética.

En Bitcoin, cualquier acción se realiza a través de UTXO. De manera similar, las acciones en DLC se realizan a través de CET(Contract Execution Transaction). Por lo tanto, solo es necesario asegurarse de que el CET sea correcto para resistir cualquier ataque. En particular, el oráculo debe estar apostado antes de firmar el CET y se debe agregar un mecanismo de desafío optimista en el CET. Si el CET no es desafiado o responde exitosamente a un desafío, se puede completar la liquidación, el oráculo libera su apuesta y recibe una tarifa; si el oráculo actúa de manera maliciosa, cualquier persona puede desafiar con éxito, el CET no se podrá liquidar y el oráculo perderá su depósito. Este diseño es simple y elegante.

2. Principio del DLC

Para ilustrar el principio de DLC con un simple apuesto: Alice y Bob apuestan sobre la paridad del hash del bloque ξ. Si es impar, gana Alice; si es par, gana Bob. El DLC transmite la información del bloque a través de un oráculo, construyendo una firma condicional que permite que la parte correcta gane.

El proceso específico incluye: transacciones de inversión, construcción de CET, liquidación y retiro de monedas. La investigación ha encontrado que solo es necesario utilizar un mecanismo de desafío optimista para garantizar que el CET sea correcto, lo que puede resistir cualquier ataque. El CET incorrecto será desafiado y no se ejecutará, mientras que el CET correcto será ejecutado. Además, los oráculos deben pagar un precio por comportamientos maliciosos.

3. 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 hacer staking para firmar y ganar comisiones, hacer el mal causará la pérdida del staking.

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

3. El CET firmado honestamente por el oráculo se podrá liquidar una semana después y se recibirán recompensas.

4. Cualquiera puede desafiar la firma del oráculo. Si el desafío tiene éxito, la firma es inválida y el oráculo pierde el depósito.

5. El desafío en OP-DLC es que no se requiere permiso, cualquier persona puede supervisar la ejecución del contrato.

Ventajas:

• Alto control de activos, los usuarios solo pueden confiar en sí mismos
• Alta tasa de utilización de fondos
• El oráculo debe ser determinado en el momento del depósito, pero los usuarios también pueden convertirse en oráculos.

Desventajas:

• El tiempo de retiro es de 1 semana
• La cantidad de firmas que necesitan ser pre-firmadas tiene una relación lineal con la cantidad de CET.

4. Conclusión

OP-DLC introduce el mecanismo de desafío optimista en CET, asegurando que los CET incorrectos no sean liquidados y que los CET correctos sean ejecutados. Este enfoque puede resistir cualquier ataque, con un diseño simple y elegante.