Стивен Тонг, блокчейн коопсуздук фирмасынын негиздөөчүсү Zellic, эң популярдуу акылдуу келишимде мүчүлүштүктөрдү тапты.
мазмуну
Анын Оролгон ETH форматын текшерүү (WETH) Изилдөөдө Стивен Тонг DeFi тиркемелеринде Этерди (ETH) чагылдырган ERC-20 белгиси болгон Wrapped Etherдин токеномикалык дизайны үчүн маанилүү эки параметрди текшерди.
Аналитик жалпы WETH сунушунун тактыгын жана анын төлөө жөндөмдүүлүгүн текшерди: Жыйынтыктар
Бүгүн, 19-жылдын 2022-ноябрында, Тонг Wrapped Ethereum (WETH) эки өзгөчөлүгү боюнча сын-пикирди жарыялады, Ethereum (ETH) тармагындагы акылдуу келишим, DeFiде ETH колдонууну жөнөкөйлөтүү үчүн иштелип чыккан, аны кадимки ERC-ге "ороо". 20 актив.
WETHдеги мүчүлүштүк:
Wrapped ETH - бул 125 MILLION Ethereum транзакцияларында болгон акылдуу келишим. Бул жылы, бардык бүтүмдөрдүн 11.5% Wrapped ETH колдонулган.
Бирок ал коопсузбу? Мен SMT чечүүчүсү менен эки маанилүү коопсуздук касиетин расмий түрдө ырастадым, Z3.👇🧵https://t.co/KH5vLjxwnm pic.twitter.com/fM7cf3TLAg— cts (@gf_256) November 19, 2022
Ал Wrapped Ethereum (ETH) бардык мүмкүн болгон абалдарын моделдөө үчүн Constrained Horn Clause (CHC) аспаптарын колдонду. Андан кийин, ал WETH акылдуу келишиминин "жалпы жеткирүү" метрикасы чындыгында чыгарылган токендердин санына барабарбы же жокпу, текшерди.
Ал ошондой эле каалаган убакта WETHден ETH сатып алуу мүмкүнбү же жокпу текшерүүгө аракет кылган; Тонг бул функцияны "төлөө жөндөмдүүлүгү" деп атаган.
Биринчи пунктка келсек, талдоочу жалпы камсыздоо бар болгон токендердин суммасына сөзсүз эле барабар эмес экенин ачыктады:
Техникалык жактан алганда, ERC-20 стандарты totalSupply() …"жалпы сунушка" барабар болушу керек экенин аныктайт. Бул бир аз бүдөмүк, бирок бул бар болгон жалпы токендер болот деп болжолдоого болот
Келишимди токтотуучу же кандайдыр бир келишимдик каражаттарды көрсөтүлгөн дарекке которуунун өзүн-өзү жок кылуу функциясы аркылуу колдонуучулар WETH энбелгилерин чындыгында таңгактоо үчүн ETH жөнөтпөстөн жасай алышат, деп жыйынтыктады Тонг.
Бул чындап эле WETH колдонуучулары үчүн коркунучтуубу?
Ал ошондой эле Ethers (ETH) аманатчысы каалаган убакта акылдуу келишимдерден өз каражаттарын ала албай турганын көрсөттү.
Unsat! Бул биз көргүбүз келген натыйжа! pic.twitter.com/ls7bhPakY1
— cts (@gf_256) November 19, 2022
Ошентип, ал WETH контрактынын балансы менен чыгарылган токендердин иш жүзүндөгү санынын ортосундагы корреляциянын жоктугун, ошондой эле алуу процессине таасир эте турган "төлөө жөндөмдүүлүгүнүн кемчилигин" көрсөтүү үчүн эки гипотетикалык моделди берди.
Бирок, ал эки жагдай тең гипотетикалык жана эксперимент үчүн гана үлгү экенин баса белгиледи. Изилдөөдөгү мүчүлүштүктөр "кичинекей" жана "зыянсыз".
2020-жылы ишке киргизилгенден бери Зеллик бир катар жогорку деңгээлдеги DeFi протоколдорун, анын ичинде 1 дюйм (1INCH), LayerZero жана SushiSwap (SUSHI) сыяктууларды текшерген.
Булак: https://u.today/wrapped-ether-weth-design-bugs-unveiled-by-analyst