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

2328

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 сообщила: эксперты обнародовали мнение о рынке криптовалют и биткоине.

Автор

Петр Иванов

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

Комментарии

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

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

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

Strategy вложила $962,7 млн в покупку 10 624 биткоинов за неделю

С 1 по 7 декабря компания Strategy купила 10 624 биткоина на сумму около $9,627 млрд, средняя цена за монету составила примерно $90 615. В общей сложности за этот период инвестиции Strategy в биткоин достигли $962,7 млн.

Binance Alpha запускает криптовалюту STABLE с капитализацией $28,25 млн

Binance Alpha представила новую криптовалюту STABLE, рыночная стоимость которой составляет $28,25 млн. Запуск уже подтвержден официальными источниками.

ONDO выросла более чем на 8% после завершения расследования SEC

После новости о прекращении расследования SEC в отношении Ondo, цена ONDO за короткое время выросла более чем на 8% и сейчас торгуется по $0,4921, увеличившись за сутки на 7,22%.

BlackRock подала заявку на фьючерсный ETF на биткоин в SEC

BlackRock подала в Комиссию по ценным бумагам и биржам США заявку на запуск фьючерсного ETF на биткоин под названием iShares Staked Ethereum Trust, который станет четвертым криптовалютным ETF компании. Ранее BlackRock уже подавала заявки на спотовые ETF для BTC и ETH, а также на ETF "Bitcoin Strategy".

Адрес "1011 Insider Whale" получил $23,47 млн прибыли на ETH за 8 дней

Адрес "1011 Insider Whale" купил ETH по цене около $2 835 и за 8 дней заработал нереализованную прибыль в $23,47 млн, при текущей цене $3 141. Ранее 1 декабря этот адрес вывел с Binance 77 385,34 ETH на сумму около $219 млн после внесения $230 млн в стабильных монетах.