Campos protobuf aninhados permitem que uma transação barata force trabalho em todos os validadores da Polygon

A Polygon Labs lançou silenciosamente duas hard forks que corrigiram várias questões de segurança em sua rede proof-of-stake (POS).

A rede layer-2 finalmente compartilhou os detalhes em uma postagem no fórum. Todos os operadores de nós devem fazer o upgrade ou serão expulsos do consenso da rede.

A fork Austin impede que os nós enviem o campo TxDependency

O pior bug estava no Heimdall, que é o software que coordena os validadores da Polygon.

O Heimdall agrupa o conteúdo de cada transação dentro de um wrapper chamado, google.protobuf.Any, de acordo com um fórum post por Parvez03.

Um wrapper pode ficar dentro de outro, assim como as caixas podem ser embaladas dentro de outras caixas. No entanto, nesta analogia, não há limite para quantas camadas profundas os wrappers podem ir.

Um atacante poderia criar uma única transação empilhada com essas camadas por quase nenhum custo. Isso faz os validadores desperdiçarem poder de computação para desempacotá-la.

A Polygon descreveu a falha como "uma maneira sem permissão de forçar trabalho caro e correlacionado em todo o conjunto de validadores".

A hard fork Kyoto atualizou o software Heimdall para v0.11.0.

"Kyoto adiciona uma pré-escaneamento em nível de byte que rejeita uma transação assim que seu aninhamento passa um limite, aplicado identicamente na admissão do mempool (CheckTx) e no caminho do consenso (ProcessProposal),” o post disse.

A Polygon verifica duas vezes:

• Quando uma transação chega.
• Quando os validadores constroem o bloco.

A segunda bifurcação dura, chamada Austin, concentrou-se no Bor, o cliente de execução da Polygon. Ela corrigiu dois vetores de ataque de negação de serviço.

Um deles envolvia eventos de sincronização de estado, o processo que transporta depósitos da ponte L1 para L2. Esses eventos executam código de contrato e pré-compilados, assim como faria uma transação normal. No entanto, a quantidade de gás consumida não tinha um limite por bloco.

A bifurcação Austin adiciona um limite rígido por bloco para o gás de sincronização de estado.

A Polygon nunca limitou o tamanho do TxDependency campo.

Um validador poderia carregá-lo com dados massivos para derrubar todos os nós que lessem o bloco. Não havia nada nesse bloco que parecesse errado.

A Austin remove o campo do formato de rede completamente.

A bifurcação Kyoto ativou na altura Heimdall 51,533,000

A Polygon afirmou que ninguém explorou os bugs na mainnet e que os corrigiu todos antes que as bifurcações entrassem em vigor.

A bifurcação Austin foi ativada na mainnet no bloco Bor 91.949.700 e a bifurcação Kyoto na altura Heimdall 51.533.000.

Cada nó requer o Bor v2.10.0. Validadores e nós completos também requerem a versão 0.11.0 do Heimdall. Nós que executam software mais antigo já bifurcaram da cadeia canônica.

As correções são atualizações binárias simples, sem necessidade de migração de estado, alteração de genesis ou resincronização completa.

O POL foi negociado a $0,09, uma queda de cerca de 9,3% nas últimas 24 horas. O token está na zona verde, alta de 25,8% nos últimos 30 dias, de acordo com CoinGecko.

Em julho, a mainnet Heimdall V2 ficou fora do ar por cerca de uma hora, de acordo com um relatório anterior da Cryptopolitan.