Mecanismo de desafío optimista de DLC: el camino elegante para simplificar la complejidad
Introducción
El contrato de logaritmo discreto (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. DLC logra nuevas aplicaciones de finanzas descentralizadas mientras garantiza la seguridad del depósito en Bitcoin.
El texto anterior analizó los riesgos de claves asociados a los DLC, los riesgos de confianza descentralizada, los riesgos de colusión, entre otros problemas, y propuso soluciones como la introducción de oráculos descentralizados, firmas umbral y mecanismos de desafío optimista. Sin embargo, estas 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, al utilizar un mecanismo de consenso para asegurar que UTXO sea correcto, se puede resistir cualquier ataque. De manera similar, en DLC, todas las acciones se realizan a través de contratos para ejecutar la transacción (CET). Al utilizar un mecanismo de desafío optimista para asegurar que CET sea correcto, se puede resistir cualquier ataque.
En concreto, se requiere que el oráculo apueste 2 BTC para poder firmar el CET. Se añade un mecanismo de desafío optimista al CET. Si el CET no es desafiado o supera el desafío exitosamente, el CET es correcto, se puede completar la liquidación, el oráculo retira su apuesta y obtiene una tarifa. Si el oráculo intenta hacer trampa, cualquiera puede desafiar con éxito, el CET no podrá liquidarse, el oráculo perderá su depósito y no podrá firmar el mismo CET de nuevo. Este método es simple y elegante, alineándose con el principio de que lo simple es lo más grande.
Principio del DLC
Tomemos como ejemplo un simple acuerdo de apuestas firmado por Alice y Bob: se apuesta si el hash del ξ-ésimo bloque es impar o par. Si es impar, Alice gana y puede retirar los activos; si es par, Bob gana y puede retirar los activos. El DLC transmite la información del bloque a través de un oráculo, construyendo una firma condicional que permite a la parte correcta obtener todos los activos.
Los pasos principales incluyen:
Transacción de capital: Alice y Bob bloquean 10 BTC cada uno en una salida multifirma 2 de 2.
Construcción de CET: Alice y Bob crean CET1 y CET2, utilizados para gastar la transacción de inversión.
El oráculo calcula el compromiso y genera la firma.
Liquidación: el oráculo firma el CET1 o CET2 correspondiente según el valor hash del bloque.
Retiro: La parte ganadora calcula una nueva clave privada y gasta los 20BTC bloqueados.
La investigación ha encontrado que cualquier acción en el proceso mencionado debe ser realizada a través de CET. Por lo tanto, solo es necesario utilizar un mecanismo de desafío optimista para asegurar que 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. Además, los oráculos deben pagar el precio por comportamientos maliciosos.
OP-DLC 2
OP-DLC incluye las siguientes 5 disposiciones:
Los oráculos están compuestos por una alianza, cualquier miembro puede firmar CET. Se debe apostar 2 BTC para poder emitir firmas y ganar tarifas. Los miembros malintencionados pierden su apuesta, mientras que los demás pueden seguir firmando CET. Los usuarios también pueden convertirse en oráculos, logrando una minimización de la confianza.
Cualquier parte participante puede iniciar un desafío cuando el oráculo modifica el resultado de manera maliciosa.
Cuando el oráculo firma honestamente el CET, el CET puede liquidarse correctamente una semana después. El oráculo recibe una recompensa de 0.05BTC.
Cualquiera puede desafiar la firma del oráculo. Las firmas honestas no pueden ser desafiadas, se ejecutarán y liquidarán una semana después. Las firmas deshonestas serán desafiadas con éxito, el oráculo perderá su garantía y no podrá realizar una firma con el mismo resultado para ese contrato.
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. En comparación con la red Lightning, Alice y Bob también pueden estar fuera de línea.
Las ventajas de OP-DLC incluyen:
Alto control de activos, el usuario solo necesita confiar en sí mismo
Alta tasa de utilización de fondos
El oráculo que puede firmar se determina al realizar el depósito, el usuario puede convertirse en oráculo.
Los inconvenientes incluyen:
El tiempo de retiro es de 1 semana
La cantidad de pre-firmas crece linealmente con la cantidad de CET.
Conclusión
OP-DLC introduce el mecanismo de desafío optimista en CET, asegurando que los CET incorrectos no sean liquidadas y que los oráculos maliciosos sean penalizados, mientras que los CET correctos se ejecutan y los oráculos honestos reciben recompensas. Este método puede resistir ataques arbitrarios, reflejando la belleza de la simplicidad.
Ver originales
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.
Mecanismo de desafío optimista DLC: solución sencilla para garantizar la seguridad del activo
Mecanismo de desafío optimista de DLC: el camino elegante para simplificar la complejidad
Introducción
El contrato de logaritmo discreto (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. DLC logra nuevas aplicaciones de finanzas descentralizadas mientras garantiza la seguridad del depósito en Bitcoin.
El texto anterior analizó los riesgos de claves asociados a los DLC, los riesgos de confianza descentralizada, los riesgos de colusión, entre otros problemas, y propuso soluciones como la introducción de oráculos descentralizados, firmas umbral y mecanismos de desafío optimista. Sin embargo, estas 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, al utilizar un mecanismo de consenso para asegurar que UTXO sea correcto, se puede resistir cualquier ataque. De manera similar, en DLC, todas las acciones se realizan a través de contratos para ejecutar la transacción (CET). Al utilizar un mecanismo de desafío optimista para asegurar que CET sea correcto, se puede resistir cualquier ataque.
En concreto, se requiere que el oráculo apueste 2 BTC para poder firmar el CET. Se añade un mecanismo de desafío optimista al CET. Si el CET no es desafiado o supera el desafío exitosamente, el CET es correcto, se puede completar la liquidación, el oráculo retira su apuesta y obtiene una tarifa. Si el oráculo intenta hacer trampa, cualquiera puede desafiar con éxito, el CET no podrá liquidarse, el oráculo perderá su depósito y no podrá firmar el mismo CET de nuevo. Este método es simple y elegante, alineándose con el principio de que lo simple es lo más grande.
Principio del DLC
Tomemos como ejemplo un simple acuerdo de apuestas firmado por Alice y Bob: se apuesta si el hash del ξ-ésimo bloque es impar o par. Si es impar, Alice gana y puede retirar los activos; si es par, Bob gana y puede retirar los activos. El DLC transmite la información del bloque a través de un oráculo, construyendo una firma condicional que permite a la parte correcta obtener todos los activos.
Los pasos principales incluyen:
Transacción de capital: Alice y Bob bloquean 10 BTC cada uno en una salida multifirma 2 de 2.
Construcción de CET: Alice y Bob crean CET1 y CET2, utilizados para gastar la transacción de inversión.
El oráculo calcula el compromiso y genera la firma.
Liquidación: el oráculo firma el CET1 o CET2 correspondiente según el valor hash del bloque.
Retiro: La parte ganadora calcula una nueva clave privada y gasta los 20BTC bloqueados.
La investigación ha encontrado que cualquier acción en el proceso mencionado debe ser realizada a través de CET. Por lo tanto, solo es necesario utilizar un mecanismo de desafío optimista para asegurar que 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. Además, los oráculos deben pagar el precio por comportamientos maliciosos.
OP-DLC 2
OP-DLC incluye las siguientes 5 disposiciones:
Los oráculos están compuestos por una alianza, cualquier miembro puede firmar CET. Se debe apostar 2 BTC para poder emitir firmas y ganar tarifas. Los miembros malintencionados pierden su apuesta, mientras que los demás pueden seguir firmando CET. Los usuarios también pueden convertirse en oráculos, logrando una minimización de la confianza.
Cualquier parte participante puede iniciar un desafío cuando el oráculo modifica el resultado de manera maliciosa.
Cuando el oráculo firma honestamente el CET, el CET puede liquidarse correctamente una semana después. El oráculo recibe una recompensa de 0.05BTC.
Cualquiera puede desafiar la firma del oráculo. Las firmas honestas no pueden ser desafiadas, se ejecutarán y liquidarán una semana después. Las firmas deshonestas serán desafiadas con éxito, el oráculo perderá su garantía y no podrá realizar una firma con el mismo resultado para ese contrato.
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. En comparación con la red Lightning, Alice y Bob también pueden estar fuera de línea.
Las ventajas de OP-DLC incluyen:
Los inconvenientes incluyen:
Conclusión
OP-DLC introduce el mecanismo de desafío optimista en CET, asegurando que los CET incorrectos no sean liquidadas y que los oráculos maliciosos sean penalizados, mientras que los CET correctos se ejecutan y los oráculos honestos reciben recompensas. Este método puede resistir ataques arbitrarios, reflejando la belleza de la simplicidad.