DLC(Contrato de Registro Discreto) es un marco de ejecución de contratos basado en oráculos propuesto en 2018 por Tadge Dryja del Instituto Tecnológico de Massachusetts. Permite a las partes realizar pagos condicionales según condiciones predefinidas, ejecutando el pago a través de la firma de resultados con pre-firma y oráculos. DLC implementa nuevas aplicaciones de finanzas descentralizadas, asegurando al mismo tiempo la seguridad de los depósitos en bitcoin.
El texto anterior resume las ventajas y problemas que enfrenta el DLC, y propone algunas soluciones de optimización. 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 el sistema de Bitcoin, todas las acciones se realizan a través de UTXO. Mientras se asegure que el UTXO es correcto, se pueden resistir a cualquier ataque. De manera similar, todas las acciones en DLC se realizan a través de CET(Contract Execution Transaction). Por lo tanto, al utilizar un mecanismo de desafío optimista para asegurar que el CET es correcto, se pueden resistir a cualquier ataque.
Específicamente, el oráculo debe apostar 2 BTC para poder firmar CET. Se añade un mecanismo de desafío optimista en CET. Si CET no es desafiado o si se responde con éxito al desafío, CET se considera correcto y se completa la liquidación, el oráculo retira su participación y obtiene una tarifa. Si el oráculo intenta hacer trampa, cualquier persona puede desafiar con éxito, y ese CET no podrá liquidarse, el oráculo perderá su depósito y no podrá volver a firmar el mismo CET. Este diseño es simple y efectivo.
Principio de DLC
Para ilustrar el principio de DLC, tomemos como ejemplo la apuesta entre Alice y Bob sobre la paridad del hash del bloque ξ:
Transacción de capital: Alice y Bob bloquean 10 BTC cada uno en una salida de firma múltiple 2-de-2.
Construir CET: crear dos CET para gastar en transacciones de inyección de capital.
El oráculo calcula el compromiso y genera la firma.
Liquidación: el oráculo firma el CET correspondiente según el hash del bloque.
Retiro: La parte ganadora calcula una nueva clave privada y gasta los fondos bloqueados.
La investigación ha encontrado que simplemente utilizando un mecanismo de desafío optimista para asegurar que el CET sea correcto, se puede resistir cualquier ataque. Los CET incorrectos serán desafiados y no se ejecutarán, mientras que los CET correctos serán ejecutados. Al mismo tiempo, el oráculo debe pagar por comportamientos maliciosos.
OP-DLC 2
OP-DLC incluye las siguientes disposiciones:
El oráculo está compuesto por una alianza, cualquier miembro puede firmar CET. Se requiere un staking de 2 BTC para firmar.
Si el oráculo hace el mal, cualquier persona puede iniciar un desafío.
CET firmado honestamente se liquidará en 1 semana, el oráculo recibirá la recompensa.
Cualquiera puede desafiar a Oracle_sign.
El desafío no 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 rango del oráculo se puede determinar de manera flexible
Desventajas:
El tiempo de retiro es de 1 semana
La cantidad de pre-firma tiene una relación lineal con la cantidad de CET
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 sean penalizados, mientras que los CET correctos se ejecuten y los oráculos honestos reciban recompensas. Este diseño simple y efectivo puede resistir varios ataques.
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
OP-DLC 2: Optimización del mecanismo de desafío optimista del contrato DLC
OP-DLC 2: La verdad siempre es simple
DLC(Contrato de Registro Discreto) es un marco de ejecución de contratos basado en oráculos propuesto en 2018 por Tadge Dryja del Instituto Tecnológico de Massachusetts. Permite a las partes realizar pagos condicionales según condiciones predefinidas, ejecutando el pago a través de la firma de resultados con pre-firma y oráculos. DLC implementa nuevas aplicaciones de finanzas descentralizadas, asegurando al mismo tiempo la seguridad de los depósitos en bitcoin.
El texto anterior resume las ventajas y problemas que enfrenta el DLC, y propone algunas soluciones de optimización. 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 el sistema de Bitcoin, todas las acciones se realizan a través de UTXO. Mientras se asegure que el UTXO es correcto, se pueden resistir a cualquier ataque. De manera similar, todas las acciones en DLC se realizan a través de CET(Contract Execution Transaction). Por lo tanto, al utilizar un mecanismo de desafío optimista para asegurar que el CET es correcto, se pueden resistir a cualquier ataque.
Específicamente, el oráculo debe apostar 2 BTC para poder firmar CET. Se añade un mecanismo de desafío optimista en CET. Si CET no es desafiado o si se responde con éxito al desafío, CET se considera correcto y se completa la liquidación, el oráculo retira su participación y obtiene una tarifa. Si el oráculo intenta hacer trampa, cualquier persona puede desafiar con éxito, y ese CET no podrá liquidarse, el oráculo perderá su depósito y no podrá volver a firmar el mismo CET. Este diseño es simple y efectivo.
Principio de DLC
Para ilustrar el principio de DLC, tomemos como ejemplo la apuesta entre Alice y Bob sobre la paridad del hash del bloque ξ:
Transacción de capital: Alice y Bob bloquean 10 BTC cada uno en una salida de firma múltiple 2-de-2.
Construir CET: crear dos CET para gastar en transacciones de inyección de capital.
El oráculo calcula el compromiso y genera la firma.
Liquidación: el oráculo firma el CET correspondiente según el hash del bloque.
Retiro: La parte ganadora calcula una nueva clave privada y gasta los fondos bloqueados.
La investigación ha encontrado que simplemente utilizando un mecanismo de desafío optimista para asegurar que el CET sea correcto, se puede resistir cualquier ataque. Los CET incorrectos serán desafiados y no se ejecutarán, mientras que los CET correctos serán ejecutados. Al mismo tiempo, el oráculo debe pagar por comportamientos maliciosos.
OP-DLC 2
OP-DLC incluye las siguientes disposiciones:
El oráculo está compuesto por una alianza, cualquier miembro puede firmar CET. Se requiere un staking de 2 BTC para firmar.
Si el oráculo hace el mal, cualquier persona puede iniciar un desafío.
CET firmado honestamente se liquidará en 1 semana, el oráculo recibirá la recompensa.
Cualquiera puede desafiar a Oracle_sign.
El desafío no requiere permiso, cualquier persona puede supervisar la ejecución del contrato.
Ventajas:
Desventajas:
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 sean penalizados, mientras que los CET correctos se ejecuten y los oráculos honestos reciban recompensas. Este diseño simple y efectivo puede resistir varios ataques.