2022-11-24 19:38:02
Эксперт нашел ошибки в смарт-контракте 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() должен равняться общему предложению.
3.1K views16:38