‍ Эксперт нашел ошибки в смарт-контракте Wrapped ETH • Соуч | CryptoNews: криптовалюта, курсы и новости, прогнозы, графики, аналитика, купить биткоин, Bitcoin, Ethereum, USDT, Dogecoin

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

• Соучредитель компании по безопасности блокчейна 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() должен равняться общему предложению.