OP-DLC 2: La verdad siempre es simple

El Contrato de Registro Discreto (DLC) es un marco de ejecución de contratos basado en oráculos, que permite a las partes realizar pagos condicionados según condiciones predefinidas. El DLC logra nuevas aplicaciones de finanzas descentralizadas mientras garantiza la seguridad de los depósitos en Bitcoin.

El análisis previo indica que el DLC tiene ventajas en la protección de la privacidad, contratos complejos y bajo riesgo de activos, pero también presenta problemas como el riesgo de claves, riesgo de confianza descentralizada y riesgo de conspiración. Para abordar estos problemas, se pueden introducir oráculos descentralizados, firmas umbral y mecanismos de desafío optimista. Sin embargo, dado que el DLC implica 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 debe realizarse a través de UTXO. Por lo tanto, utilizar un mecanismo de consenso para asegurar que UTXO sea correcto puede resistir cualquier ataque. De manera similar, en DLC, todas las acciones se ejecutan a través del contrato CET( para realizar la transacción ). Al utilizar un mecanismo de desafío optimista para asegurar que CET sea correcto, se puede resistir cualquier ataque. Específicamente, el oráculo solo puede firmar CET después de hacer un depósito. Se añade un mecanismo de desafío optimista en CET. Si CET no es desafiado o responde exitosamente al desafío, entonces CET es correcto y se puede completar la liquidación, el oráculo libera el depósito y recibe la tarifa; si el oráculo intenta hacer trampa, cualquier persona puede desafiar con éxito, CET no podrá liquidarse, el oráculo perderá el depósito y no podrá firmar nuevamente el mismo CET. Este método es simple y efectivo, con una belleza de simplicidad.

Principio de DLC

Alice y Bob firman un contrato de apuestas, apostando sobre la paridad del hash de un bloque determinado. A través de un oráculo, se transmite la información del bloque para construir una firma condicional, de modo que el ganador correcto obtenga todos los activos.

El proceso incluye: inyección de capital en la transacción ( en la cadena ), construcción de CET ( fuera de la cadena ), liquidación ( de fuera de la cadena a la cadena ) y retiro ( en la cadena ). La investigación ha encontrado que solo es necesario utilizar un mecanismo de desafío optimista para garantizar la corrección de CET, lo que puede resistir ataques arbitrarios. Los CET incorrectos serán desafiados y no se ejecutarán, mientras que los CET correctos se ejecutarán. Al mismo tiempo, el oráculo deberá pagar el precio por comportamientos maliciosos.

OP-DLC 2

OP-DLC contiene las siguientes disposiciones:

1. El oráculo está compuesto por una alianza, cualquier miembro puede firmar CET. Solo se puede publicar la firma para ganar tarifas después de hacer el staking. Los malhechores pierden su staking, otros miembros pueden continuar firmando CET para asegurar la salida de fondos de los usuarios.

2. Cuando el oráculo altera el resultado de manera maliciosa, cualquier parte involucrada puede iniciar un desafío.

3. Cuando el oráculo firma honestamente el CET, nadie puede iniciar un desafío válido. Una semana después, el CET se puede liquidar correctamente y el oráculo recibe una recompensa.

4. Cualquiera puede desafiar la firma del oráculo. Las firmas honestas no pueden ser desafiadas, se ejecuta el liquidación una semana después; las firmas deshonestas serán desafiadas con éxito, el oráculo pierde la garantía y pierde el derecho a firmar nuevamente.

5. El desafío en OP-DLC es que es sin permisos, cualquier parte participante puede supervisar la ejecución del contrato. Se ha logrado una minimización de la confianza en los oráculos.

Las ventajas de OP-DLC incluyen:

• Alto control de activos, los usuarios solo pueden confiar en sí mismos
• Alta tasa de utilización de fondos
• El oráculo se determina al hacer el depósito, el usuario puede convertirse en oráculo.

Los inconvenientes incluyen:

• El tiempo de retiro es de una semana
• La cantidad de pre-firmas necesarias tiene una relación lineal con la cantidad de CET.

Conclusión

OP-DLC introduce un mecanismo de desafío optimista en CET, asegurando que los CET incorrectos no sean liquidados y que los oráculos maliciosos sean penalizados, mientras que los CET correctos se ejecutan y los oráculos reciben recompensas. Este método puede resistir ataques arbitrarios, reflejando la belleza de la simplicidad.