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

2223

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

Автор

Петр Иванов

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

Комментарии

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

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

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

Акции криптобиржи Bullish выросли на 176% в первый день торгов

Криптовалютная биржа Bullish (BLSH.US) в первый день IPO подскочила на 176%, достигнув цены $102,44 и рыночной стоимости почти $15 млрд. Сейчас акции торгуются по $90,12, а капитализация компании составляет $13,158 млрд.

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

За последние 24 часа в криптосети ликвидировали $545 млн, из которых $375 млн пришлось на короткие позиции и $170 млн — на длинные. Общее число ликвидированных трейдеров составило 114 878, а крупнейшая сделка на Bybit по BTCUSD достигла $10 млн.

Мемная монета CLIPPY выросла более чем на 34% за час, капитализация достигла $22,4 млн

Мемная монета CLIPPY, основанная на Solana и изображающая классического помощника Microsoft Office, за последний час подорожала более чем на 34%, а её рыночная стоимость достигла $22,4 млн при суточном объёме торгов $18,2 млн. Монета символизирует протест против агрессивной рекламы и сбора данных в современных технологиях, вызывая ностальгию по эпохе простого программного обеспечения. Эксперты предупреждают, что мемные монеты часто подвержены резким колебаниям и требуют осторожности при инвестициях.

Reveel объявила токеномику REVA с общим объемом в 1 миллиард токенов

Компания Reveel представила токеномику токена REVA: из 1 миллиарда токенов 37% выделены сообществу, 25% — инвесторам, 22% — фонду компании и 16% — команде и советникам. Первоначально в обращении будет около 150 миллионов токенов, а для поддержки цены предусмотрен механизм обратного выкупа с использованием до 75% чистого дохода, который со временем снизится до минимум 25%.

Canary TRUMP ETF зарегистрирован в Делавэре

Canary TRUMP COIN ETF официально зарегистрирован в штате Делавэр, США. Этот шаг открывает новые возможности для инвесторов в криптовалютные активы, связанные с TRUMP.