Os campos protobuf aninhados permitem que uma única transação de baixo custo funcione em todos os validadores Polygon

A Polygon Labs lançou, silenciosamente, duas bifurcações rígidas (hard forks) que corrigiram uma série de problemas de segurança na sua rede de prova de participação (PoS).

A rede de camada 2 finalmente partilhou os detalhes numa publicação no fórum. Todos os operadores de nós necessitam de atualizar ou serão excluídos do consenso da rede.

A bifurcação de Austin impede que os nós enviem o campo TxDependency

O pior bug estava no Heimdall, que é o software que coordena os validadores de polígonos.

De acordo com uma publicação no fórum feita por Parvez03, o Heimdall agrupa o conteúdo de cada transação dentro de um wrapper chamado google.protobuf.Any

Uma embalagem pode estar dentro de outra, assim como as caixas podem ser embaladas dentro de outras caixas. No entanto, nesta analogia, não há limite para o número de camadas que as embalagens podem ter.

Um atacante poderia criar uma única transação com todas estas camadas empilhadas a um custo quase nulo. Isto faz com que os validadores desperdicem poder computacional para a descompactar.

A Polygon descreveu a falha como "uma forma não autorizada de forçar um trabalho dispendioso e correlacionado em todo o conjunto de validadores"

O hard fork Kyoto atualizou o software Heimdall para a versão 0.11.0.

“O Kyoto adiciona uma pré-verificação ao nível do byte que rejeita uma transação assim que o seu aninhamento ultrapassa um limiar, aplicada de forma idênticadentadmissão ao mempool ( CheckTx ) e no caminho de consenso ( ProcessProposal )”, lê-se na publicação

O polígono é verificado duas vezes:

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

O segundo hard fork, chamado Austin, focou-se no Bor, o cliente de execução da Polygon. Corrigiu duas vulnerabilidades de negação de serviço.

Um deles era o evento de sincronização de estado, o processo que realiza os depósitos da ponte L1-para-L2. Estes eventos executam o código dotrace pré-compilam, tal como faria uma transação normal. No entanto, a quantidade de gás consumida não estava limitada por bloco.

A bifurcação de 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 .

Um validador poderia sobrecarregá-lo com uma enorme quantidade de dados para provocar a falha de todos os nós que lessem o bloco. Não havia nada mais que parecesse errado naquele bloco.

Austin remove completamente o campo do formato de transmissão.

A bifurcação de Quioto foi ativada à altitude de Heimdall, 51.533.000

A Polygon afirmou que ninguém explorou as falhas na rede principal e que todas foram corrigidas antes da entrada em funcionamento das versões modificadas.

O fork Austin foi ativado na rede principal no bloco Bor 91.949.700 e o fork Kyoto na altura Heimdall 51.533.000.

Todos os nós requerem o Bor v2.10.0. Os validadores e os nós completos também requerem o Heimdall versão 0.11.0. Os nós que executam versões mais antigas do software já foram bifurcados da cadeia canónica.

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

O token POL estava a cotar nos 0,09 dólares, uma queda de aproximadamente 9,3% nas últimas 24 horas. Segundo a CoinGecko,

Em julho, a rede principal Heimdall V2 esteve offline durante cerca de uma hora, de acordo com um relatório anterior Cryptopolitan .