Вложенные поля protobuf позволяют одной дешевой транзакции заставить работать всех валидаторов Polygon

Polygon Labs тихо выпустила два хардфорка, которые исправили ряд проблем безопасности в своей сети proof-of-stake (POS).

Сеть второго уровня наконец опубликовала подробности в посте на форуме. Все операторы узлов должны обновить ПО, иначе они будут исключены из консенсуса сети.

Форк Austin запрещает узлам отправлять поле TxDependency

Самая серьезная ошибка находилась в Heimdall — программном обеспечении, координирующем работу валидаторов Polygon.

Heimdall упаковывает содержимое каждой транзакции в обертку, называемую google.protobuf.Any, согласно сообщению на форуме посту от Parvez03.

Обертка может находиться внутри другой обертки, подобно тому, как коробки упаковываются друг в друга. Однако в этой аналогии нет ограничения на глубину вложенности обертки.

Атакующий может создать единую транзакцию, состоящую из множества таких слоев, практически без затрат. Это заставляет валидаторы тратить вычислительные мощности на ее распаковку.

Polygon описала уязвимость как «беспрепятственный способ принудительно выполнить дорогостоящую коррелированную работу для всего набора валидаторов».

Хардфорк Kyoto обновил программное обеспечение Heimdall до версии v0.11.0.

«Kyoto добавляет предварительное сканирование на уровне байтов, которое отклоняет транзакцию, если ее вложенность превышает пороговое значение, что принудительно применяется при приеме в мемпул (CheckTxи на консенсусном пути (ProcessProposal),” « посту сказал.

Polygon проверяет дважды:

• Когда транзакция поступает.
• Когда валидаторы формируют блок.

Вторая хард-форк-апгрейд, названный Austin, был сосредоточен на Bor, клиенте выполнения Polygon. Он исправил два пути отказа в обслуживании.

Один из них касался событий синхронизации состояния, процесса, который обрабатывает депозиты моста L1-to-L2. Эти события выполняют код контрактов и прекомпиляций, как это делает обычная транзакция. Однако объем сожженного газа не был ограничен на блок.

Форк Austin вводит жесткое ограничение на газ для синхронизации состояния на блок.

Polygon никогда не ограничивал размер TxDependency поля.

Валидатор мог загрузить его огромными объемами данных, чтобы вызвать сбой всех узлов, читающих блок. Ничего в этом блоке не выглядело подозрительно.

Austin полностью удаляет это поле из сетевого формата.

Форк Kyoto активировался на высоте Heimdall 51,533,000

Polygon заявил, что никто не эксплуатировал уязвимости в основной сети и что они были исправлены до запуска форков.

Форк Austin был активирован в основной сети на блоке Bor 91,949,700, а форк Kyoto — на высоте Heimdall 51,533,000.

Каждый узел требует версию Bor v2.10.0. Валидаторам и полным узлам также требуется версия Heimdall 0.11.0. Узлы, работающие на более старом программном обеспечении, уже оторвались от канонической цепи.

Исправления представляют собой простые бинарные обновления, не требующие миграции состояния, изменения генезиса или полной синхронизации.

POL торговался по цене $0,09, снизившись примерно на 9,3% за последние 24 часа. Токен находится в зеленой зоне, вырос на 25,8% за последние 30 дней, согласно данным CoinGecko.

В июле основная сеть Heimdall V2 была отключена примерно на час, согласно прошлому отчету Cryptopolitan.