TTF: ¿Cuánto tiempo tarda en concretarse un acuerdo de rollup?

原文标题:《Un tweet sobre el tiempo de finalización (TTF) de la acumulación》

Escrito por: @larry0x

编译:Frank,Foresight News

En primer lugar, ¿qué es el TTF y por qué es importante?

La finalidad es el estado en el que una transacción nunca puede ser cancelada, restablecida o modificada, es decir, se considera que ha resuelto el problema de la transacción correspondiente.

TTF (time to finality) es el tiempo que tarda una señal comercial en alcanzar su estado final desde el inicio de la emisión, y los siguientes son los TTF de varias cadenas seleccionadas:

! [TTF: ¿Cuánto tiempo tarda en finalizarse un acuerdo de acumulación?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/1479927338818e02a46e6f57d2b767fd.)

El TTF es un parámetro importante con una variedad de usos:

• Si soy un comerciante que acepta pagos con criptomonedas, me gustaría esperar el TTF antes de entregar los bienes o servicios para saber que el pago no se cancelará.
• Si soy un protocolo de puente entre cadenas y la cadena emisora envía un paquete, quiero esperar el TTF antes de transmitirlo a la cadena receptora.
• …

En segundo lugar, los rollups

Hay 2 fases en el ciclo de vida de un bloque acumulativo:

(1) sus datos se publican en la capa de disponibilidad de datos (DA);

(2) resultar válidos en el nivel de liquidación;

Vale la pena señalar que el TTF es diferente para los nodos completos y ligeros de las cadenas Rollup:

• Para los primeros, no necesitan esperar a que (2) se liquide, porque tan pronto como los datos del bloque se publican en (1), pueden verificar inmediatamente la validez por sí mismos;
• Para estos últimos, sí deben esperar el proceso de liquidación;

Durante la fase de prueba de liquidación de la capa de liquidación, hay dos tipos de acumulaciones, según el mecanismo que utilicen:

• Paquetes acumulativos de validez (también conocidos como paquetes acumulativos de conocimiento cero, zkRU). Después de que el secuenciador genera un bloque, el probador (generalmente la misma persona que el secuenciador) presenta una prueba de validez que demuestra que el bloque es válido a través de alguna magia criptográfica.
• Rollups optimistas (opRUs)。 El secuenciador genera un bloque, pero no prueba que sea válido. Si en realidad no es válido, cualquiera (el probador) puede impugnarlo presentando una prueba de fraude, lo que resulta en un bloqueo rechazado. Si nadie demuestra que un bloqueo no es válido durante un período de tiempo, conocido como período de disputa, el bloqueo se considera válido.

Nota: No me gusta el término zkRU porque muchos de estos sistemas de prueba no son en realidad técnicas de conocimiento cero, por lo que “Validity Rollup” es un término más preciso. Sin embargo, el uso de “zkRU” es muy común, así que lo uso.

También hay algunas cosas importantes que debes saber:

• En la práctica, los datos de bloque no suelen publicarse en la capa DA inmediatamente después de que se genera un bloque. El secuenciador suele esperar un poco y luego publica algunos bloques a granel (probablemente para ahorrar en tarifas de gas);
• Las pruebas de validez también se retrasan a menudo, generalmente debido a la generación de estas pruebas, que requiere mucho tiempo y computacional;
• La prueba de validez y el fraude no solo se difunden en la cadena. Por ejemplo, si alguien me envía una prueba de validez fuera de la cadena, puedo estar seguro de que el bloque es válido sin tener que esperar a (2) el proceso de liquidación en la cadena.

Por último, estamos listos para analizar cuánto tiempo tarda un acuerdo acumulativo en llegar al resultado final.

En el caso de los nodos completos, el proceso es sencillo: tan pronto como el bloque (1) se publica y se completa en la capa DA, se finaliza.

Si indicamos:

• T1: Con qué frecuencia se publican bloques en la capa DA (por ejemplo, si el secuenciador publica un lote en la capa DA cada 10 minutos, entonces T1 = 10 minutos)
• T2: TTF de la capa DA

A continuación, el TTF del rollup = T1 + T2.

En el caso de los nodos ligeros, tienen que esperar a que se completen (1) y (2). En el caso de las opRU, el tiempo de (2) es el período de impugnación, y en el caso de las zkRU, el tiempo es después de que el probador genere y publique la prueba de validez.

Si indicamos:

• T3: En el caso de opRU, el período de impugnación;
• T4: En el caso de las zkRU, el momento en que se publicó la prueba de validez en el nivel de liquidación;
• T5: TTF de la capa de asentamiento;

Luego está el TTF para Rollup:

• Para opRU: máx. (T1+T2, T3);
• Para zkRU: max (T1 + T2, T4 + T5);

El “máximo” en estas ecuaciones significa que tenemos que esperar a que se complete el DA y el proceso de liquidación, lo que sea más largo (casi siempre se liquida).

Recuerda, dijimos que las pruebas también se pueden propagar fuera de la cadena. En el caso de zkRU, si recibimos una prueba de validez fuera de la cadena, podemos decir inmediatamente que la transacción se ha completado sin esperar al proceso de liquidación en la cadena.

Es difícil decirlo a favor de opRU. El período de impugnación (T3) tiende a ser más largo debido a la preocupación de que el nivel de liquidación pueda revisar la evidencia de fraude. Así que realmente depende de tu tolerancia al riesgo. Si está bastante seguro de que la capa de liquidación no revisará la transacción, puede optar por esperar un período de tiempo más corto. De lo contrario, esperarás más tiempo, pero no tendrás que esperar más de T3.

Resumámoslo:

! [TTF: ¿Cuánto tiempo tarda en finalizarse un acuerdo de acumulación?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/dc879d6785275eb291bbc2cae4b7bc1d.)

Aquí hay dos ejemplos del mundo real, Arbitrum y zkSync. Utilizan Ethereum para DA y liquidación, por lo que T2 = T5 = 13 minutos.

• El secuenciador de Arbitrum publica datos aproximadamente cada T1 = 6 minutos, y el período de impugnación de Arbitrum es T3 = 1 semana;
• El secuenciador de zkSync publica datos aproximadamente cada T1 = 3 minutos, lo que demuestra que no se publica regularmente, sino en promedio una vez T4 = 1 hora;

También podemos considerar un zkRU hipotético que usa Celestia para DA, que creo que está más cerca del resultado final:

• T1 = 0 (Celestia es barato, por lo que asumimos que el bloque se publica tan pronto como se genera);
• T2 = 12 segundos;
• T4 = tiempo de generación de pruebas, dependiendo del sistema de pruebas;

! [TTF: ¿Cuánto tiempo tarda en finalizarse un acuerdo de acumulación?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/edba98503458c791b1db04f99e9d7a91.)

Finalmente, una breve discusión de lo que significa todo esto

Como sabes, soy fanático de Cosmos, e IBC usa un cliente de nodo ligero para validar paquetes, por lo que debes esperar TTF, como se muestra en la columna “Para nodos ligeros” en la imagen de arriba.

Para opRU, esto puede ser de hasta 1 semana (si no confía demasiado en la resistencia a la censura de Ethereum), lo cual es demasiado tiempo para fines prácticos. Es por eso que para opRU, tenemos que usar puentes de nodos completos, como Axelar y Wormhole, que consisten en un grupo de operadores que ejecutan nodos completos.

La desventaja es que tenemos que confiar en este conjunto de operadores, que puede no ser tan seguro económicamente como la cadena de remitentes, por lo que soy bajista con respecto a opRU.

Para las zkRU normales, solo tenemos que esperar a que se finalice el DA (16 minutos en Ethereum) + tiempo de generación de pruebas, no necesitamos esperar a que se publiquen las pruebas en Ethereum: ¡esta es la principal ventaja sobre las opRU!

Esta es también una de las formas en que creo que Celestia puede mejorar la experiencia de cadena cruzada de Rollup. En Ethereum, solo esperamos 12 segundos + tiempo de generación de pruebas, no 16 minutos. Los clientes de nodos ligeros pueden usar QGB para verificar las pruebas del validador Celestia (que supongo que ahora ha sido renombrado a Blobstream), o tal vez el muestreo DA.