TTF: Quanto tempo leva para um acordo de rollup ser finalizado?

原文标题:《Um tweet sobre rollup time-to-finality (TTF)》

Escrito por: @larry0x

编译:Frank,Notícias Prospetivas

Em primeiro lugar, o que é TTF e por que é importante?

Caráter definitivo é o estado em que uma transação nunca pode ser cancelada, restabelecida ou modificada, ou seja, considera-se que ela resolveu o problema da transação correspondente.

TTF (time to finality) é o tempo que leva para um sinal de negociação atingir seu estado final desde o início da transmissão, e os seguintes são os TTFs de várias cadeias selecionadas:

! [TTF: Quanto tempo leva para um acordo de rollup ser finalizado?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/1479927338818e02a46e6f57d2b767fd.)

TTF é um parâmetro importante com uma variedade de usos:

• Se eu sou um comerciante que aceita pagamentos em criptomoedas, gostaria de esperar pelo TTF antes de entregar os bens ou serviços para saber que o pagamento não será cancelado.
• Se eu sou um protocolo de ponte de cadeia cruzada e a cadeia de remetente envia um pacote, quero esperar pelo TTF antes de retransmiti-lo para a cadeia recetora.
• …

Em segundo lugar, Rollups

Existem 2 fases no ciclo de vida de um bloco cumulativo:

(1) os seus dados são publicados na camada de disponibilidade de dados (DA);

(2) prova válida no nível de liquidação;

Vale a pena notar que o TTF é diferente para nós completos e leves de cadeias Rollup:

• Para os primeiros, eles não precisam esperar por (2) para liquidar, porque assim que os dados do bloco são publicados em (1), eles podem verificar imediatamente a validade;
• Para estes últimos, eles precisam esperar pelo processo de liquidação;

Durante a fase de prova de liquidação da camada de liquidação, existem dois tipos de rollups, dependendo do mecanismo que utilizam:

• Rollups de validade (também conhecidos como pacotes cumulativos de conhecimento zero, zkRUs). Depois que o sequenciador gera um bloco, o provador (geralmente a mesma pessoa que o sequenciador) envia uma prova de validade que prova que o bloco é válido através de alguma magia criptográfica.
• Rollups otimistas (opRUs)。 O sequenciador gera um bloco, mas não prova que é válido. Se for realmente inválido, qualquer pessoa (o provador) pode contestá-lo apresentando uma prova de fraude, o que resulta em um bloqueio rejeitado. Se ninguém provar que um bloqueio é inválido por um período de tempo, conhecido como período de disputa, o bloqueio é considerado válido.

Nota: Eu não gosto do termo zkRU porque muitos desses sistemas de prova não são realmente técnicas de conhecimento zero, então “Validity Rollup” é um termo mais preciso. No entanto, o uso de “zkRU” é tão comum, por isso eu uso.

Há também algumas coisas importantes a saber:

• Na prática, os dados de bloco geralmente não são publicados na camada DA imediatamente após um bloco ser gerado. O sequenciador geralmente espera um pouco e depois publica alguns blocos em massa (provavelmente para economizar nas taxas de gás);
• As provas de validade também são frequentemente adiadas, geralmente devido à geração computacionalmente intensiva e demorada dessas provas;
• A prova da validade e da fraude não é difundida apenas em cadeia. Por exemplo, se alguém me enviar uma prova de validade off-chain, posso ter certeza de que o bloco é válido sem ter que esperar por (2) o processo de liquidação on-chain.

Finalmente, estamos prontos para discutir quanto tempo leva para um acordo de rollup chegar ao resultado final.

Para nós completos, o processo é simples: assim que o bloco (1) é publicado e concluído na camada DA, ele é finalizado.

Se indicarmos:

• T1: Com que frequência os blocos são publicados na camada DA (por exemplo, se o sequenciador publica um lote na camada DA a cada 10 minutos, então T1 = 10 minutos)
• T2: TTF da camada DA

Em seguida, o TTF do rollup = T1 + T2.

Para nós leves, eles têm que esperar por (1) e (2) para completar. Para opRUs, o tempo para (2) é o período de desafio, e para zkRUs, o tempo é depois que o provador gera e publica a prova de validade.

Se indicarmos:

• T3: Para opRU, o período de desafio;
• T4: Para zkRUs, o momento em que a prova de validade foi publicada na camada de liquidação;
• T5: TTF da camada de liquidação;

Depois, há o TTF para Rollup:

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

O “máximo” nessas equações significa que precisamos esperar que o processo de DA e liquidação seja concluído, o que for mais longo (quase sempre resolvido).

Agora, aqui está o problema! Lembre-se, dissemos que as provas também podem ser propagadas fora da cadeia. Para zkRU, se recebermos uma prova de validade off-chain, podemos dizer imediatamente que a transação foi concluída sem esperar pelo processo de liquidação on-chain.

É difícil dizer para o opRU. O período de contestação (T3) tende a ser mais longo devido a preocupações de que a camada de liquidação possa rever evidências de fraude. Portanto, depende realmente da sua tolerância ao risco. Se estiver bastante confiante de que a camada de liquidação não irá rever a transação, pode optar por esperar por um período de tempo mais curto. Caso contrário, esperará mais tempo, mas não terá de esperar mais do que o T3.

Vamos resumir:

! [TTF: Quanto tempo leva para um acordo de rollup ser finalizado?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/dc879d6785275eb291bbc2cae4b7bc1d.)

Aqui estão dois exemplos do mundo real, Arbitrum e zkSync. Eles usam Ethereum para DA e liquidação, então T2 = T5 = 13 minutos.

• O sequenciador da Arbitrum publica dados aproximadamente a cada T1= 6 minutos, e o período de desafio da Arbitrum é T3= 1 semana;
• O sequenciador do zkSync publica dados aproximadamente a cada T1 = 3 minutos, provando que não é publicado regularmente, mas em média uma vez T4 = 1 hora;

Também podemos considerar um zkRU hipotético que usa Celestia para DA, que eu acho que está mais próximo do resultado final:

• T1 = 0 (Celestia é barato, por isso assumimos que o bloco é publicado assim que é gerado);
• T2 = 12 segundos;
• T4 = tempo de geração da prova, dependendo do sistema de prova;

! [TTF: Quanto tempo leva para um acordo de rollup ser finalizado?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/edba98503458c791b1db04f99e9d7a91.)

Finalmente, uma breve discussão sobre o que tudo isso significa

Como você sabe, eu sou um fã de Cosmos, e IBC usa um cliente de nó de luz para validar pacotes, então você precisa esperar por TTF, como mostrado na coluna “Para nós de luz” na imagem acima.

Para o opRU, isso pode ser de até 1 semana (se você não estiver muito confiante na resistência à censura do Ethereum), o que é muito longo para fins práticos. É por isso que para o opRU, temos que usar pontes de nó completo, como Axelar e Wormhole, que consistem em um monte de operadores executando nós completos.

A desvantagem é que precisamos confiar nesse conjunto de operadoras, que podem não ser tão economicamente seguras quanto a cadeia de remetentes, e é por isso que estou pessimista em relação ao opRU.

Para zkRUs normais, só precisamos esperar que o DA seja finalizado (16 minutos no Ethereum) + tempo de geração de provas, não precisamos esperar que as provas sejam lançadas no Ethereum – esta é a principal vantagem sobre os opRUs!

Esta é também uma maneira que eu acho que Celestia pode melhorar a experiência de cadeia cruzada do Rollup. No Ethereum, esperamos apenas 12 segundos + tempo de geração de prova, não 16 minutos. Os clientes de nó leve podem usar QGB para verificar provas do validador Celestia (que estou supondo que agora foi renomeado para Blobstream), ou talvez amostragem DA.