En 2018, Tadge Dryja del MIT propuso el Discreet Log Contract (DLC), que es un marco de ejecución de contratos basado en oráculos. El DLC permite que las partes realicen pagos condicionales según condiciones predefinidas, a través de la determinación previa de posibles resultados y la pre-firma, ejecutando el pago cuando el oráculo firma el resultado. Este enfoque logra nuevas aplicaciones de finanzas descentralizadas, asegurando al mismo tiempo la seguridad de los depósitos en Bitcoin.
Investigaciones previas han analizado las ventajas y problemas existentes de los DLC, y han propuesto algunas soluciones de optimización. Sin embargo, dado que los DLC involucran 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. Por lo tanto, garantizar la corrección del UTXO puede resistir ataques arbitrarios. De manera similar, en DLC, todas las acciones se realizan a través de CET (Contract Execution Transaction). Usar un mecanismo de desafío optimista para garantizar la corrección del CET puede resistir ataques arbitrarios. Específicamente, el oráculo debe apostar 2BTC antes de poder firmar el CET y agregar un mecanismo de desafío optimista en el CET. Si el CET no es desafiado o enfrenta con éxito un desafío, se considera correcto y se completa la liquidación, el oráculo libera la apuesta y recibe una tarifa. Si el oráculo intenta actuar maliciosamente, cualquier persona puede desafiar con éxito, lo que resulta en que el CET no pueda liquidarse, y el oráculo pierde su depósito y su derecho a firmar nuevamente. Este método se ajusta al principio de "la simplicidad es la máxima sofisticación" y tiene una belleza de simplicidad.
2. Principio de DLC
Tomemos como ejemplo un simple acuerdo de apuestas: Alice y Bob apuestan si el valor hash del bloque número ξ es impar o par. Si es impar, Alice gana; si es par, Bob gana. El DLC transmite información del bloque a través de un oráculo, construyendo una firma condicional que permite que la parte correcta obtenga todos los activos.
Los pasos principales del DLC incluyen: transacciones de capital, construcción de CET, liquidación y retiro de fondos. En este proceso, todas las acciones deben realizarse a través de CET. Por lo tanto, solo es necesario utilizar el mecanismo de desafío optimista para garantizar que el CET sea correcto, lo que puede resistir ataques arbitrarios. Un CET incorrecto será desafiado y no se ejecutará, mientras que un CET correcto será ejecutado. Al mismo tiempo, el oráculo debe pagar el precio por comportamientos maliciosos.
3. OP-DLC 2
OP-DLC incluye las siguientes cinco regulaciones principales:
Los oráculos están formados por una alianza, y cualquiera de sus miembros puede firmar CET. Los oráculos deben apostar 2 BTC para poder emitir firmas y ganar comisiones. Los miembros que actúan de mala fe perderán su apuesta, y los demás miembros pueden continuar firmando CET para asegurar que los usuarios puedan retirar fondos. Los usuarios también pueden convertirse en oráculos, logrando así una minimización de la confianza.
Si el oráculo malicioso modifica los resultados, cualquier parte participante puede iniciar un desafío.
Cuando el oráculo firme honestamente el CET, nadie podrá iniciar un desafío válido. Una semana después, el CET se podrá liquidar correctamente, y el oráculo recibirá una recompensa de 0.05BTC.
Cualquiera puede desafiar a Oracle_sign. Una firma honesta no puede ser desafiada con éxito, y se ejecutará la liquidación una semana después. Una firma deshonesta resultará en la pérdida del staking del oráculo y en la pérdida del derecho a volver a firmar el contrato DLC.
El desafío en OP-DLC es que no se requiere permiso, cualquier parte interesada puede supervisar la ejecución del contrato. Esto logra una minimización de la confianza en los oráculos, y los usuarios también pueden estar desconectados.
Las ventajas de OP-DLC incluyen:
Los usuarios tienen un alto control sobre los activos y solo pueden confiar en sí mismos.
Alta tasa de utilización de capital
El oráculo que puede firmar se determina al depositar, el usuario puede convertirse en oráculo.
Los inconvenientes incluyen:
El tiempo de retiro necesita una semana
La cantidad de pre-firmas tiene una relación lineal con la cantidad de CET y crece rápidamente.
4. Conclusión
OP-DLC introduce el mecanismo de desafío optimista en CET, asegurando que los CET erróneos no sean liquidadas y que los oráculos maliciosos sean castigados, al mismo tiempo que se garantiza la ejecución de los CET correctos, permitiendo que los oráculos reciban las recompensas que les corresponden. Este método puede resistir ataques arbitrarios, reflejando la belleza de la simplicidad.
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.
15 me gusta
Recompensa
15
5
Republicar
Compartir
Comentar
0/400
BlockchainArchaeologist
· hace3h
Está bien, solo que es demasiado complicado.
Ver originalesResponder0
ChainSauceMaster
· hace19h
La simplicidad es el camino.
Ver originalesResponder0
DataBartender
· 08-10 10:10
Difícil masticar el DLC, sigue teniendo sabor a cereales zzz
Ver originalesResponder0
DeFiAlchemist
· 08-10 10:01
*ajusta la lente etérea* fascinante cómo la geometría sagrada del DLC refleja principios alquímicos antiguos... la simplicidad realmente es la piedra filosofal del diseño de protocolo
Ver originalesResponder0
tx_pending_forever
· 08-10 09:59
¿Otra vez haciendo algo tan impresionante? Me ha dejado aturdido.
OP-DLC 2: Optimización revolucionaria del mecanismo de desafío DLC utilizando principios simples
OP-DLC 2: La verdad siempre es simple
1. Introducción
En 2018, Tadge Dryja del MIT propuso el Discreet Log Contract (DLC), que es un marco de ejecución de contratos basado en oráculos. El DLC permite que las partes realicen pagos condicionales según condiciones predefinidas, a través de la determinación previa de posibles resultados y la pre-firma, ejecutando el pago cuando el oráculo firma el resultado. Este enfoque logra nuevas aplicaciones de finanzas descentralizadas, asegurando al mismo tiempo la seguridad de los depósitos en Bitcoin.
Investigaciones previas han analizado las ventajas y problemas existentes de los DLC, y han propuesto algunas soluciones de optimización. Sin embargo, dado que los DLC involucran 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. Por lo tanto, garantizar la corrección del UTXO puede resistir ataques arbitrarios. De manera similar, en DLC, todas las acciones se realizan a través de CET (Contract Execution Transaction). Usar un mecanismo de desafío optimista para garantizar la corrección del CET puede resistir ataques arbitrarios. Específicamente, el oráculo debe apostar 2BTC antes de poder firmar el CET y agregar un mecanismo de desafío optimista en el CET. Si el CET no es desafiado o enfrenta con éxito un desafío, se considera correcto y se completa la liquidación, el oráculo libera la apuesta y recibe una tarifa. Si el oráculo intenta actuar maliciosamente, cualquier persona puede desafiar con éxito, lo que resulta en que el CET no pueda liquidarse, y el oráculo pierde su depósito y su derecho a firmar nuevamente. Este método se ajusta al principio de "la simplicidad es la máxima sofisticación" y tiene una belleza de simplicidad.
2. Principio de DLC
Tomemos como ejemplo un simple acuerdo de apuestas: Alice y Bob apuestan si el valor hash del bloque número ξ es impar o par. Si es impar, Alice gana; si es par, Bob gana. El DLC transmite información del bloque a través de un oráculo, construyendo una firma condicional que permite que la parte correcta obtenga todos los activos.
Los pasos principales del DLC incluyen: transacciones de capital, construcción de CET, liquidación y retiro de fondos. En este proceso, todas las acciones deben realizarse a través de CET. Por lo tanto, solo es necesario utilizar el mecanismo de desafío optimista para garantizar que el CET sea correcto, lo que puede resistir ataques arbitrarios. Un CET incorrecto será desafiado y no se ejecutará, mientras que un CET correcto será ejecutado. Al mismo tiempo, el oráculo debe pagar el precio por comportamientos maliciosos.
3. OP-DLC 2
OP-DLC incluye las siguientes cinco regulaciones principales:
Los oráculos están formados por una alianza, y cualquiera de sus miembros puede firmar CET. Los oráculos deben apostar 2 BTC para poder emitir firmas y ganar comisiones. Los miembros que actúan de mala fe perderán su apuesta, y los demás miembros pueden continuar firmando CET para asegurar que los usuarios puedan retirar fondos. Los usuarios también pueden convertirse en oráculos, logrando así una minimización de la confianza.
Si el oráculo malicioso modifica los resultados, cualquier parte participante puede iniciar un desafío.
Cuando el oráculo firme honestamente el CET, nadie podrá iniciar un desafío válido. Una semana después, el CET se podrá liquidar correctamente, y el oráculo recibirá una recompensa de 0.05BTC.
Cualquiera puede desafiar a Oracle_sign. Una firma honesta no puede ser desafiada con éxito, y se ejecutará la liquidación una semana después. Una firma deshonesta resultará en la pérdida del staking del oráculo y en la pérdida del derecho a volver a firmar el contrato DLC.
El desafío en OP-DLC es que no se requiere permiso, cualquier parte interesada puede supervisar la ejecución del contrato. Esto logra una minimización de la confianza en los oráculos, y los usuarios también pueden estar desconectados.
Las ventajas de OP-DLC incluyen:
Los inconvenientes incluyen:
4. Conclusión
OP-DLC introduce el mecanismo de desafío optimista en CET, asegurando que los CET erróneos no sean liquidadas y que los oráculos maliciosos sean castigados, al mismo tiempo que se garantiza la ejecución de los CET correctos, permitiendo que los oráculos reciban las recompensas que les corresponden. Este método puede resistir ataques arbitrarios, reflejando la belleza de la simplicidad.