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

2215

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

Автор

Петр Иванов

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

Комментарии

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

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

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

Трейдеры уверены в снижении ставок ФРС до 2025 года

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

ФРС США в пятый раз подряд сохранила процентные ставки без изменений

Федеральная резервная система США сохранила базовую процентную ставку на уровне 4,25%-4,50% в пятый раз подряд, что совпало с ожиданиями рынка. Решение принято для поддержания текущей экономической стабильности.

ФРС может поднять цену BTC в сентябре при "голубином" сигнале

Директор VanEck по цифровым активам Мэтью Сигел заявил, что Биткоин служит защитой от обесценивания валюты, и любые "голубиные" сигналы от Федеральной резервной системы в сентябре могут поднять его цену. Маркетинговый стратег LMAX Group Джоэл Крюгер добавил, что внимание рынка сосредоточено на ФРС и предстоящем докладе Белого дома по криптовалютам, где возможные намеки на покупку BTC могут быстро изменить ситуацию в пользу роста.

Кит, хранивший 3963 BTC более 14 лет, продал 150 биткоинов

Криптокит, который не совершал операций с 3963 BTC более 14 лет, начал продавать монеты через маркет-мейкеров, переместив за последние дни 450 BTC на сумму около $53,42 млн. Из них 150 BTC поступили на Coinbase и адреса маркет-мейкеров B2C2 и Wintermute. Сейчас на кошельке осталось 3678 BTC, что примерно равно $434 млн.

Разработчики из Falcon Finance привлекли инвестиции на $10 млн от WLFI

Falcon Finance, универсальная инфраструктура обеспечения ликвидности и доходности в ончейне, привлекла $10 млн стратегических инвестиций от World Liberty Financial (WLFI). Последняя — разработчик...