OP-DLC 2: La simplicidad es la clave

Introducción

Discreet Log Contract (DLC) es un marco de ejecución de contratos basado en oráculos, que permite a las partes realizar pagos condicionales según condiciones predefinidas. El DLC logra nuevas aplicaciones de finanzas descentralizadas mientras garantiza la seguridad del depósito en Bitcoin. Sin embargo, el DLC también enfrenta algunos problemas, como riesgos de clave, riesgos de confianza descentralizada y riesgos de colusión.

En Bitcoin, el comportamiento de cualquier participante debe implementarse a través de UTXO. Por lo tanto, al usar un mecanismo de consenso para asegurar que el UTXO sea correcto, se puede resistir cualquier ataque. De manera similar, en DLC, todas las acciones se implementan a través de CET(Contract Execution Transaction). Al utilizar un mecanismo de desafío optimista para asegurar que el CET sea correcto, se puede resistir cualquier ataque. En concreto, el oráculo puede firmar el CET después de apostar 2BTC. Se añade un mecanismo de desafío optimista al CET. Si el CET no se desafía o responde con éxito al desafío, entonces el CET es correcto, puede completarse el asentamiento, el oráculo retira la apuesta y obtiene una tarifa. Si el oráculo intenta actuar de mala fe, cualquier persona puede desafiar con éxito, el CET no podrá liquidarse, el oráculo perderá su depósito y no podrá firmar nuevamente el mismo CET. Esto se ajusta al principio de la simplicidad extrema y tiene una belleza concisa.

Principio del DLC

Alice y Bob firman un contrato de apuesta: apostar si el hash del bloque número ξ es impar o par. Si es impar, Alice gana; si es par, Bob gana. Usando DLC, se transmite la información del bloque número ξ a través de un oráculo para construir una firma condicional, de modo que el ganador correcto gane todos los activos.

Los pasos principales de DLC incluyen: transacciones de inyección de capital, construcción de CET, liquidación y retiro de fondos. La investigación ha encontrado que cualquier acción en DLC debe realizarse a través de CET. Por lo tanto, solo es necesario utilizar un mecanismo de desafío optimista para garantizar la corrección de CET, lo que puede resistir ataques arbitrarios. Un CET incorrecto será desafiado y no se ejecutará, mientras que un CET correcto será ejecutado. Además, los oráculos deben pagar un precio por comportamientos maliciosos.

OP-DLC 2

OP-DLC incluye las siguientes 5 disposiciones:

1. Los oráculos están compuestos por una alianza, y cualquier miembro puede firmar CET. Después de apostar 2 BTC, el oráculo puede emitir una firma para ganar tarifas. Los miembros malintencionados pierden su apuesta. Alice y Bob también pueden convertirse en oráculos, confiando solo en sí mismos.

2. Si el oráculo actúa mal y modifica el resultado, cualquier parte participante puede iniciar un desafío.

3. Cuando el oráculo firma honestamente el CET, se puede liquidar correctamente una semana después. El oráculo recibe una recompensa de 0.05BTC.

4. Cualquier persona puede desafiar a Oracle_sign. La firma honesta se liquidará una semana después, el oráculo desbloqueará la garantía y obtendrá la tarifa. Una firma deshonesta resulta en la pérdida de la garantía, y ese oráculo no podrá realizar la misma firma de resultado sobre el mismo contrato DLC.

5. El desafío en OP-DLC es que no se necesita permiso, cualquier parte participante puede supervisar la ejecución del contrato. Se logra una minimización de la confianza en los oráculos.

Las ventajas de OP-DLC incluyen:

• Alto control de activos, los usuarios solo confían en sí mismos
• Alta tasa de utilización de fondos
• El oráculo que puede firmar se determina al ingresar fondos, el usuario puede convertirse en oráculo.

Los inconvenientes incluyen:

• El tiempo de retiro requiere 1 semana
• La cantidad de firmas que necesitan ser prefirmadas está creciendo rápidamente.

Conclusión

OP-DLC introduce el mecanismo de desafío optimista en CET, asegurando que los CET erróneos no sean liquidados y que los oráculos maliciosos pierdan su garantía, mientras que los CET correctos se ejecuten y los oráculos desbloqueen su garantía y ganen comisiones. Este método puede resistir ataques arbitrarios, reflejando la belleza de la simplicidad.