Анализ инцидента с атакой на кросс-чейн мост Verus от CertiK

CertiK опубликовал анализ инцидента с атакой на кросс-чейн мост Ethereum протокола Verus, произошедшего 23 июля. Анализ показывает, что атака была вызвана различиями в интерпретации нотариальных данных между Verus и Ethereum. Злоумышленники внедрили несколько злонамеренных повторяющихся записей корня состояния в законные нотариальные транзакции, которые были нормально подписаны 11 нотариальными узлами Verus и переданы в Ethereum. На стороне Verus сериализованные данные корня состояния вставляются в таблицу отображения, в то время как на стороне Ethereum при десериализации происходит последовательный обход всех записей proofRoots, что приводит к тому, что последующие злонамеренные записи корня состояния перекрывают законные корни состояния, и корень состояния, контролируемый злоумышленниками, в конечном итоге принимается Ethereum как надежная контрольная точка. Злоумышленники инициировали запрос на кросс-чейн экспорт в 0.01 VRSC через Bridge.vETH на цепочке Verus, а затем подделали ключевые поля в доказательстве импорта на стороне Ethereum, чтобы они соответствовали хешу фактически перемещаемых активов. CertiK указывает на наличие логической уязвимости в контракте кросс-чейн моста Verus Ethereum, которая не проверяет, соответствует ли указанная в запросе сумма платежа фактической сумме экспорта, что позволяет поддельным доказательствам пройти проверку и в конечном итоге авторизовать вывод средств, превышающий фактическую сумму вывода. После успешной атаки злоумышленники обменяли украденные активы на 2778.8662 ETH через Relay и перевели их в Tornado Cash.