Análise do Processo Completo de Transações L2: Análise de Segurança em Cada Fase

As transações L2 têm um passo importante a mais em relação às transações L1: esperar que os blocos L2 sejam enviados para o L1. Nesta fase, como os dados ainda não foram enviados para o L1, existe incerteza, e os usuários apenas podem confiar na "promessa verbal" fornecida pelo Sequencer, isto é, a Pré-Confirmação.

O processo de confirmação de transações das principais soluções L2 é o seguinte:

Arbitrum/Optimism

Após o envio da transação, o usuário recebe quase imediatamente um recibo da transação, indicando que o Sequencer ordenou localmente e simulou a execução. Esta é uma Pré-Confirmação.

Arbitrum Explorer mostra:

• "Confirmado pelo Sequencer": apenas confirmado pelo Sequencer, não enviado para L1
• "X L1 Block Confirmations": L1 carregado, seguindo-se X blocos

Optimism Explorer mostra:

• "Confirmado pelo Sequencer": Sequencer confirmou
• "L1 State Batch Index" e "L1 State Root Submission Tx Hash": carregamento em lote de informações L1
• "Finalized": correspondente ao estado Finalized do L1

StarkNet

Estado do fluxo de transação:

1. Recebido: Transação recebida e verificada
2. Pendente: Sequencer a processar
3. Aceito no L2: já entrou na zona L2
4. Aceito no L1: dados carregados no L1

Devido ao tempo necessário para gerar provas de zero conhecimento, o upload para o L1 deve esperar de 4 a 5 horas, e os usuários dependem da Pré-Confirmação por um longo período.

zkSync

Estado do processo de negociação:

1. PENDENTE: Aguardando o processamento do Sequencer
2. zkSync Era Processed: já entrou no bloco L2
3. Comprometido: bloco carregado L1
4. Comprovado: a validade do bloco foi comprovada
5. Executado: L2 estado atualizado para L1

zkSync divide o processo de L2 para L1 em 3 fases, proporcionando uma exibição de estado mais detalhada.

Resumo

• O L2 tem mais etapas de "aguardando upload do L1".
• Nesta fase, os utilizadores dependem da Pré-Conferência do Sequenciador.
• A maioria dos L2 Explorer exibe o estado de Pré-Confirmação
• A confirmação completa deve aguardar o upload dos dados L2 para L1
• O Pré-Confirmação pode incluir mecanismos de incentivo econômico para aumentar a confiabilidade

Garantia e risco da confirmação de transações em diferentes estágios:

| Fase | Transação L1 | Transação L2 | |------|--------|--------| | Transação Enviada | Sem Garantia | Sem Garantia | | Entrar no mempool | Garantia leve | Garantia leve ( se houver ) | | Pré-Conferência | - | Sequencer compromete-se |
| Entrar no bloco | Garantia forte | Garantia forte L2 | | Upload L1 | - | Strong Guarantee for L1 | | Múltiplas confirmações | Garantia muito forte | Garantia muito forte | | Finalizado | Garantia Máxima | Garantia Máxima |