Zircuit ativou o mecanismo SLS, que tem como objetivo isolar "transações maliciosas".

Escrito por: 0xTodd

Aproveitando o TGE oficial do $ZRC da Zircuit, vamos discutir um mecanismo interessante sobre o sequenciador neste projeto.

Zircuit tem seu próprio L2, e a característica desse L2 é que ele criou uma solução chamada "Segurança em Nível de Sequenciador / SLS (Sequencer Level Security)".

Todos sabemos que, atualmente, a entrada e saída das transações L2 são feitas através do sequenciador oficial do projeto. Claro, devido à existência de ZK / provas de desafio, em geral, não nos preocupamos com a má conduta do sequenciador.

De maneira geral, o sequenciador é um papel neutro, sempre executando cada transação de forma justa.

Então, embora o sequenciador seja neutro, podemos nos esforçar para que ele se junte ao lado bom?

Assim, Zircuit ativou esse mecanismo SLS, que tem como objetivo isolar "transações maliciosas".

Normalmente, como uma transação L2 é registrada na cadeia? São apenas quatro passos simples:

1. O usuário inicia a transação e a transmite.

2. A transação vai para o pool de memória (mempool) e aguarda.

3. O sequenciador atua como um lado neutro, ajudando a empacotá-la no bloco.

4. A transação é registrada na cadeia.

Mas, com base no mecanismo SLS, essa etapa foi alterada para cinco etapas:

1. O usuário inicia a transação e a transmite.

2. A transação vai para o pool de memória (mempool) e aguarda.

3. O sequenciador atua como um lado bom, usando algumas ferramentas para verificar se as transações são maliciosas.

4. Se não houver malícia, ajude a empacotá-la no bloco.

5. A transação é registrada na cadeia.

Mas e se houver suspeita de transação maliciosa? A partir do passo quatro, as mudanças começam:

4. Se suspeita-se de malícia, entra no pool de isolamento.

5. O pool de isolamento é revisado e confirmando como correto, o sequenciador continua a empacotá-lo.

Ou:

4. Se suspeita-se de malícia, entra no pool de isolamento.

5. Se a revisão do pool de isolamento descobrir que é realmente uma transação maliciosa, então será recusada para ser empacotada na cadeia.

Esse padrão de verificação SLS para determinar se é malicioso pode usar algumas bibliotecas de código aberto e permitir que a IA ajude a julgar.

No futuro, espera-se que alguns efeitos sejam alcançados, por exemplo: ativos roubados, que podem nunca ser transferidos ou retornados ao L1. Para o atual ambiente hostil da cadeia da floresta escura, isso ainda é muito significativo.

Claro, já que estamos verificando transações, é inevitável que possam ocorrer alguns erros. No entanto, entendo que, ao melhorar o algoritmo do pool de isolamento, isso pode minimizar esses problemas.

Isso é uma espada de dois gumes, pois a blockchain enfatiza a permissionless, o que contraria levemente o SLS. Do ponto de vista de um usuário normal, esse tipo de L2 realmente pode ser mais seguro.

No entanto, de maneira geral, acho que, embora tenha um pequeno impacto na permissionless, o ganho em segurança, especialmente na proteção de usuários inexperientes, vale a pena.

No final, anexo: o texto original do artigo sobre o mecanismo SLS da Zircuit: https://arxiv.org/html/2405.01819v1