Эксперт нашел ошибки в смарт-контракте Wrapped ETH

2250

2 мин

Соучредитель компании по безопасности блокчейна Zellic Стивен Тонг обнаружил ошибки в одном из самых популярных смарт-контрактов. В исследовании Format Verification of Wrapped Ethereum (WETH) он проверил два параметра, имеющих решающее значение для токеномического дизайна Wrapped Ether (WETH) — токена стандарта ERC-20, который обертывает эфир (ETH) для использования в приложениях децентрализованных финансов (DeFi).

Он применил инструменты Constrained Horn Clause (CHC) для моделирования всех возможных состояний Wrapped ETH. Затем программист протестировал, действительно ли метрика общего предложения смарт-контракта WETH равна количеству отчеканенных токенов. Он также пытался понять, можно ли в любое время выкупить ETH у WETH. Тонг назвал эту функцию платежеспособностью.

Что касается первого пункта, эксперт сообщил: общее предложение монет не обязательно равно количеству существующих токенов. По его словам, с технической точки зрения стандарт ERC-20 указывает, что параметр totalSupply() должен равняться общему предложению.

Тем не менее аналитик обнаружил, что с помощью функции самоуничтожения, которая отменяет контракт или переводит любые средства на определенный указанный адрес, пользователи смогут чеканить токены WETH, фактически не отправляя ETH для упаковки.

Он также продемонстрировал подписчикам в Твиттере, что держатель эфиров (ETH) не обязательно сможет вывести свои средства со смарт-контракта в любое время. Таким образом, эксперт представил гипотетические модели, чтобы показать отсутствие корреляции между балансом контракта WETH и фактическим количеством отчеканенных токенов, а также недостаток платежеспособности, который мог повлиять на процесс вывода средств.

Ранее редакция Crypto.ru сообщила: эксперты обнародовали мнение о рынке криптовалют и биткоине.

Автор

Петр Иванов

Понравилась новость? Поделись мнением!

Комментарии

Оставить комментарий

Комментариев пока нет

Интересное по инвестиции

BNB обновил исторический максимум, превысив $949

Криптовалюта BNB достигла нового рекордного уровня, превысив отметку в $949 и торгуясь сейчас на $949,75. За последние 24 часа цена выросла на 3,38%.

За сутки ликвидировали $167 млн, большинство — длинные позиции

За последние 24 часа в криптосети ликвидировали $167 млн, из которых $113 млн пришлось на длинные позиции, а $53,6 млн — на короткие. Ликвидировали 84 230 трейдеров, крупнейшая сделка на OKX по паре ETH-USDT-SWAP составила $1,135 млн.

Цена золота может обновить рекорд при снижении ставок ФРС

Цена золота достигла $3700 за унцию на фоне ослабления доллара и ожиданий снижения ставок Федеральной резервной системой. Аналитик Эрик Чиа отметил, что при подтверждении многократного снижения ставок золото может продолжить рост и установить новый исторический максимум. Дополнительный спрос поддерживают закупки центральных банков, приток в золотые ETF и геополитическая напряженность.

Биткоин кратковременно вырос до $116 000

Биткоин сегодня кратковременно поднялся до $116 000, после чего откатился до $115 800. За последние 24 часа его цена выросла почти на 1%.

STBL выросла более чем на 550% за полтора часа, капитализация достигла $87 млн

Токен STBL с момента листинга на Binance Alpha подскочил более чем на 550% за 90 минут, а его рыночная стоимость достигла $87 млн. Число держателей на блокчейне превысило 3 275, а полная оценка токена (FDV) составляет $1,813 млрд.