Transferencias condicionales de dinero: 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)".

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?

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.

La cantidad bloqueada de WBTC superó los 7 mil millones de dólares estadounidenses: los datos de DeBank muestran que la emisión de WBTC en la red Ethereum alcanzó las 123 343 piezas, y la cantidad bloqueada superó oficialmente los 7 mil millones de dólares estadounidenses, que actualmente es de 7,003 mil millones de dólares estadounidenses. El volumen total de bloqueo de DeFi aumentó a 62,65 mil millones de dólares estadounidenses, de los cuales Maker ocupó el primer lugar con 7,21 mil millones de dólares estadounidenses, y WBTC ocupó el segundo lugar. [2021/2/21 17:36:24]

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.

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".

Publicación del "Libro azul de la aplicación Blockchain de China (2020)" de People's Daily Online: People's Daily Online, Beijing, 2 de diciembre, planeado por el Instituto de Investigación de Blockchain en línea del People's Daily Online y publicado por Social Sciences Literature Publishing House, el "Libro azul de la aplicación Blockchain: China Blockchain Application Development Research Report (2020)" (en adelante, el "Libro azul") se publicó oficialmente hoy y actualmente está a la venta en las principales plataformas de venta de libros. (Diario del Pueblo en Línea - Blockchain) [2020/12/3 22:57:40]

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 quiere 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：

NEAR