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

2439

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 и фактическим количеством отчеканенных токенов, а также недостаток платежеспособности, который мог повлиять на процесс вывода средств.

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

Автор

Петр Иванов

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

Комментарии

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

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

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

Renance.io запускает сервис для инвестиций в недвижимость

Платформа для инвестиций в недвижимость нового поколения Renance.io официально начала работу, предлагая инвесторам инновационный способ доступа к премиальной недвижимости в...

Ethereum опустился ниже $2100 и потерял 3,5% за сутки

По данным биржи HTX, курс Ethereum опустился ниже отметки $2100. За последние 24 часа цена снизилась на 3,5%.

Гундлах: доходность 2-летних казначейских облигаций намекает на скорое повышение ставки ФРС

Инвестор Джеффри Гундлах заявил, что динамика доходности 2-летних казначейских облигаций США указывает на возможное скорое повышение ставки ФРС. По его словам, рынок фактически закладывает ужесточение политики регулятора.

Американские индексы открылись снижением, акции криптокомпаний ушли в минус, Circle просела более чем на 5%

После жёстких комментариев представителей ФРС американский рынок открылся падением: Dow -0,64%, S&P 500 -0,79%, Nasdaq -1,14%. Акции компаний, связанных с криптовалютами, снизились, включая Circle (CRCL) -5,29%, Coinbase (COIN) -4,55%, Riot Platforms (RIOT) -4,47%, American Bitcoin (ABTC) -4,34%, Bit Digital (BTBT) -4,32% и Bitmine (BMNR) -3,85%.

Аналитик BullionVault: золото проходит «проверку», но дно пока не найдено

Аналитик BullionVault Эдриан Эш считает, что сроки будущего снижения ставок центробанками могут сдвинуться дальше, что негативно для золота. По его словам, рынок одновременно испытывает давление со стороны покупателей и продавцов, и текущую ситуацию он назвал «пробной», но не ценовым минимумом.