Transferencias condicionales: la clave para la interoperabilidad L1-L2

Este artículo pretende explicar la solución propuesta por StarkEX para admitir la retirada rápida (retirada de la capa 2 a cualquier dirección de la capa 1 dentro de un bloque de tiempo). La ventaja de este esquema es que su velocidad es completamente independiente de la velocidad a la que los operadores L2 pueden generar pruebas de validez.

El módulo de retiro rápido ya se está ejecutando en StarkEx en la red principal de Ethereum (desde el lanzamiento de StarkEx 2.0 en octubre de 2020) y ha habilitado el intercambio DeversiFi y el intercambio dYdX.

Además de los retiros rápidos, las soluciones que explicamos a continuación también tienen muchos escenarios de uso. Primero entendamos cuáles son los requisitos.

Blockchain permite una interacción sin confianza entre dos partes. Alice quiere emitir una transacción que solo se pueda ejecutar cuando se cumpla una determinada condición; Bob quiere ejecutar la transacción de Alice directamente cuando se cumpla la condición, sin tener que volver a pedirle permiso a Alice. Nos referimos a los componentes que admiten este tipo de interacción como "Transacciones condicionales (CT)".

Nueva York considerará la emisión de licencias de cifrado condicionales: Hace cinco años, Nueva York emitió una licencia financiera de Bitcoin (BitLicense), que se consideró no propicia para el desarrollo de la industria del cifrado. El 24 de junio, el Departamento de Servicios Financieros de Nueva York (NYDFS, por sus siglas en inglés) dijo que consideraría emitir una licencia condicional bajo la cual se permitiría a las nuevas empresas asociarse con entidades con licencia existentes para iniciar operaciones en Nueva York. La agencia también finalizó las pautas para enumerar tokens de entidades con licencia propuestas el año pasado y publicó documentos para ayudar a las empresas que buscan una BitLicense. La superintendente del NYDFS, Linda Lacewell, dijo que los movimientos fueron en respuesta a los comentarios de la criptoindustria y otros. (Coindesk)[2020/6/24]

La implementación de CT en L1 no requiere ideas sofisticadas, porque los contratos inteligentes pueden garantizar el acoplamiento del tiempo y la ejecución de transacciones. Pero si es necesario implementarlo en L2, es un desafío. Por ejemplo, en StarkEx, el iniciador de la transacción firma la transacción y se la pasa al operador, quien es responsable de ejecutar la transacción, pero ¿cómo puede evitar que el operador ejecute la transacción antes de que se cumplan las condiciones requeridas?

Voz | Parlamentarios rusos: las regulaciones de cifrado se pospondrán nuevamente, pero el banco central puede permitir que las personas usen criptomonedas "condicionalmente": se informó anteriormente que el Ministerio de Finanzas de Rusia está considerando una legislación para dividir las criptomonedas en tres categorías para la regulación, y el primer ministro Dmitry Medvedev pidió asegurarse de que el proyecto de ley se aprobara antes del 1 de noviembre. Pero el parlamento de Rusia una vez más retrasará las regulaciones de las criptomonedas, según la agencia de noticias TASS. Anatoly Aksako, presidente del comité parlamentario de finanzas que redactó el proyecto de ley de blockchain, dijo que el proyecto de ley no podría estar listo a tiempo. Sin embargo, Aksako también indicó que puede haber formas de evitar el estancamiento actual que impide el progreso del proyecto de ley. Aksakov ha dicho que Rusia se encuentra en una "encrucijada" y se enfrenta a una elección binaria en lo que respecta a la política de criptomonedas. Sin embargo, dijo que era posible llegar a un "compromiso" que "daría a las personas la oportunidad de usar criptomonedas en Rusia". Pero agregó que el banco central de Rusia necesitaba otorgar "permiso" y quería retener algo de control. Aksakov admitió que el banco central se "opone firmemente" a las criptomonedas. Aksakov describió las "criptomonedas no seguras" como un "peligro real", pero cree que las monedas estables son "muy reales". -faire” para regular las monedas estables. Gref también cree que es posible que Libra no se lance en Rusia, ya que muchas empresas rusas han intentado y no han logrado lanzar tokens digitales similares. (Cryptonoticias) [2019/10/13]

En este documento, solo nos enfocamos en implementar CT en L2 que depende de los eventos L1 (denominados L2|L1). En otras palabras, este tipo de CT debe ser capaz de garantizar que el operador solo pueda ejecutar una transacción firmada después de que ocurra un determinado evento en la cadena. Yendo un paso más allá, agregaremos un CT que depende de los eventos en otra L2 (indicada como L21 | L22), lo que permitirá la interoperabilidad entre las instancias de StarkEx y dentro de StarkNet.

Noticias | Atlas Blockchain ha aceptado condicionalmente la transacción de adquisición propuesta con Isracann: Atlas Blockchain, una empresa que cotiza en la Bolsa de Valores de Canadá (CSE), ha aceptado condicionalmente su transacción de adquisición propuesta con Isracann. Luego de completar con éxito la transacción, se espera que la compañía mantenga su cotización en la CSE y continúe operando el negocio de Isracann. Se espera que la transacción se cierre en octubre de 2019. Una vez completada la transacción, Atlas Blockchain tiene la intención de cambiar su nombre a "Isracann Biosciences Inc." y comercializar sus acciones ordinarias con el nuevo símbolo "IPOT". Isracann cambiará su nombre a "Isracann Holdings Ltd". (Yahoo Finanzas)[2019/9/26]

A continuación, formalicemos este concepto de eventos en cadena y veamos cómo podemos utilizarlo en CT en StarkEx.

Registro de eventos en cadena

CT utiliza el contrato de Registro de Hechos para rastrear eventos en la cadena. De hecho, solo los eventos registrados en un contrato de Registro de Hecho pueden "desbloquear" CT. Por ejemplo, si Alice transfiere 1 ETH a Bob directamente en la cadena Ethereum (en lugar de a través del contrato de Registro de hechos), entonces CT no puede cumplir con el requisito previo de ejecución.

Análisis | Para tratar con Libra, podemos partir de tres aspectos: "Intentar condicionalmente emitir una moneda estable anclada al RMB": "China Finance" 2019 No. 15, Wang Jingyi y Huang Yiping del Centro de Investigación de Finanzas Digitales de Pekín University publicó conjuntamente un artículo "El viaje difícil de Libra y la respuesta de China", el artículo afirmaba que para tratar con el Libra actual, podemos comenzar con los siguientes tres aspectos. Primero, romper la fragmentación de la industria financiera digital en el país y en el extranjero lo antes posible, y realmente construir un nuevo patrón de apertura integral. En segundo lugar, bajo el marco regulatorio de "caja de arena", intente emitir condicionalmente monedas estables ancladas al renminbi para ayudar a la internacionalización del renminbi. Tercero, tome precauciones y considere activamente algunas estrategias para lidiar con el impacto de las monedas digitales. [2019/8/7]

En el caso anterior, el contrato de Registro de hechos requiere una función transfer(), y Alice pasa la dirección de Bob como beneficiario. La función de transferencia () hace dos cosas: (1) envía el ETH que debe transferirse al beneficiario; (2) guarda el registro de esta transferencia, como almacenar los parámetros relevantes de esta transferencia (remitente, beneficiario, monto) al elemento de almacenamiento del contrato. El contrato de registro de hechos también tiene una función isValid() que toma un valor hash como parámetro y devuelve un valor booleano: verdadero si el valor hash de la entrada es igual a un valor hash registrado en el contrato. De esta forma, el valor hash registrado en el contrato puede considerarse como prueba de un hecho (se ha producido un determinado evento). Este proceso de introducción de un nuevo hecho en el contrato de Registro de Hechos a menudo se denomina "Registro de Hechos".

Noticias | El intercambio de cifrado Luno fue aprobado condicionalmente por la Comisión de Valores de Malasia: según cryptoninjas, el intercambio global de criptomonedas Luno anunció hoy que la Comisión de Valores de Malasia (SC) aprobó condicionalmente la solicitud para un intercambio de activos digitales presentada por Luno. Después de que el SC confirme que Luno cumple con las condiciones requeridas, Luno se convertirá en uno de los tres principales intercambios de criptomonedas regulados en Malasia. [2019/6/4]

La huella digital del evento en cadena contenido en un CT firmado tiene dos campos (en realidad, el valor hash de estos dos parámetros): (1) la dirección de un contrato de Registro de Hechos; (2) el contrato anterior debe ser Hechos Registrados.

Comercio condicional de StarkEx

StarkEx procesará transacciones por lotes en Layey-2 y utilizará una prueba de STARK enviada a la cadena para liquidar estas transacciones. Si se incluye CT en un lote, StarkEx se asegurará de que se registren los hechos relevantes para que el lote pueda liquidarse; de ​​lo contrario, todo el lote se revertirá.

En esta sección, proponemos algunos escenarios de aplicación e indicamos cómo se puede utilizar CT en estos escenarios.

Caso detallado —— Retiro rápido

En cualquier esquema L2, la forma más básica de transferir fondos de L2 a L1 es finalizar una actualización de estado L2 (incluida una transacción de retiro en esta actualización). En un sistema basado en prueba de validez (como StarkEx), finalizar una actualización de estado L2 requiere enviar una prueba de validez correspondiente (para esta actualización) en la cadena, lo que generalmente toma 10 minutos. Esto significa que si los usuarios utilizan este método para retirar dinero, deberán esperar al menos 10 minutos.

El propósito del retiro rápido es desacoplar esta dependencia (retiro en la actualización del estado L2), para que los usuarios puedan retirar fondos sin confianza dentro del "tiempo de bloqueo", es decir, como si usaran los mismos contratos ordinarios de Ethereum.

Entonces, ¿cuál es el proceso? Si Alice desea retirar 1 ETH de L2 a L1, Alice puede firmar un CT en L2 para transferir 1 ETH al proveedor de liquidez (LP), con la condición de que LP transfiera 1 ETH en L1 (menos algunas tarifas de manejo) a Alice. El CT de Alice solo se puede ejecutar después de que reciba la transferencia en L1, por lo que no enfrenta el riesgo de contraparte.

Veamos un contrato simple de Registro de Hechos que puede ayudar a CT:

Podemos ver que este contrato tiene una función payabe transfer(), que tiene dos funciones:

(1) Transferir una cierta cantidad de ETH a una determinada dirección

(2) Registrar keccack (cantidad, dirección, nonce)

El CT emitido por Alice solo se puede ejecutar después de que keccack (1 ETH, Alice, nonce) se registre en el Registro de Hechos. Y este hecho solo puede registrarse con éxito después de que se haya producido la transferencia de 1 ETH a Alice. Alice puede retirar 1 ETH sin confianza, y todo el proceso solo necesita su frente y una transacción iniciada por LP en la cadena Ethereum.

Un proceso similar puede capturar los siguientes tipos de eventos, por lo que el CT de L2 también puede tener más usos, como:

Si el precio de ETH cae a 1010 DAI (que se puede registrar en la cadena a través de un servicio de entrada de información conocido), Alice espera vender 1 ETH en L2 a cambio de 1000 DAI en L1

Alice quiere darle a Bob 10 ETH en L2, siempre que Bob deposite 9,5 ETH en la dApp (como Aave o Compound) designada por Alice a nombre de Alice

Alice quiere darle a Bob 10 ETH en la L2 de DeversiFi, siempre y cuando Bob deposite 9.5 ETH en la cuenta de Alice en la L2 de dYdX

El primer uso de CT son los retiros rápidos, pero los operadores de StarkEx pueden usar este elemento para implementar muchos tipos de interacciones L2-L1.

Enlace original:

https://medium.com/starkware/condicional-transfers-the-key-to-interoperability-2e1de044fb65

Autor: StarkWare

Traducción: Ajián

Tags：

Mejor intercambio de Ethereum