Análise da segurança de todo o processo de negociação L2 e de cada fase

As transações L2 têm uma etapa adicional em comparação com as transações L1, que é "as transações L2 são incluídas no bloco L2 e aguardam upload para L1". Nesta fase, os dados ainda não foram enviados para L1, e os usuários só podem confiar na promessa verbal fornecida pelo Sequencer, conhecida como Pre-Confirmation, Fast Confirmation ou Soft Confirmation.

Atualmente, os principais projetos L2 em seus exploradores de blocos exibem o estado de Pré-Confirmação:

• Arbitrum/Optimism: "Confirmado pelo Sequencer"
• StarkNet: "Aceito no L2"
• zkSync: "zkSync Era Processado"

Esses estados representam apenas o compromisso do Sequencer e não garantem completamente que as transações serão finalmente incluídas. Se o Sequencer estiver agindo de má-fé ou ocorrer um bug, isso pode resultar na não confirmação da transação.

Para obter maior certeza, os usuários precisam esperar mais tempo até que os dados L2 sejam carregados no L1 e recebam confirmação suficiente. Diferentes projetos L2 têm suas próprias características em relação a isso:

• O Optimism fornece informações de Finalidade L1, permitindo aos usuários ver diretamente se o bloco L1 correspondente foi Finalizado.
• zkSync divide o processo de L2 para L1 em três fases: Committed, Proven e Executed, e fornece uma exibição detalhada do estado.

No geral, o nível de confirmação e os riscos correspondentes das transações L2 em diferentes estágios são os seguintes:

1. Pré-confirmação: Apenas o Sequencer se compromete, risco elevado
2. Enviar para L1: Confirmação básica, mas ainda existe risco de re-organização em L1
3. L1 confirmação completa: confirmação final, risco extremamente baixo

No futuro, pode surgir um mecanismo de Pré-Confirmação com incentivos econômicos, que penaliza os Sequencers que violam compromissos através de contratos inteligentes, oferecendo uma proteção mais robusta aos usuários.