Stephen Tong, tus tsim ntawm blockchain ruaj ntseg ruaj ntseg Zellic, pom cov kab mob hauv cov ntawv cog lus ntse nrov tshaj plaws.
txheem
Nyob rau hauv nws Daim ntawv pov thawj ntawm Wrapped ETH (WETH) kev tshawb fawb, Stephen Tong tau txheeb xyuas ob qhov tseem ceeb rau kev tsim tokenomical ntawm Wrapped Ether, ERC-20 token uas tsom iav Ether (ETH) hauv DeFi daim ntawv thov.
Tus kws tshuaj ntsuam xyuas qhov tseeb ntawm tag nrho cov khoom siv WETH thiab nws qhov hnyav: Cov txiaj ntsig
Hnub no, thaum Lub Kaum Ib Hlis 19, 2022, Tong tau tshaj tawm kev tshuaj xyuas ob yam ntawm Wrapped Ethereum (WETH), daim ntawv cog lus ntse ntawm Ethereum (ETH) network tsim los txhim kho ETH kev siv hauv DeFi los ntawm "wrapping" nws mus rau hauv ERC- 20 khoom.
Kab laum hauv WETH:
Wrapped ETH yog daim ntawv cog lus ntse uas tau nyob hauv ntau dua 125 MILLION Ethereum kev lag luam. Xyoo no, 11.5% ntawm tag nrho cov kev lag luam siv Wrapped ETH.
Tab sis nws puas ruaj ntseg? Kuv tau txheeb xyuas ob qho kev nyab xeeb tseem ceeb nrog SMT solver, Z3.👇🧵https://t.co/KH5vLjxwnm pic.twitter.com/fM7cf3TLAg— cts (@gf_256) Kaum ib hlis 19, 2022
Nws leveraged Constrained Horn Clause (CHC) cov cuab yeej los ua qauv rau txhua lub xeev ntawm Wrapped Ethereum (ETH). Tom qab ntawd, nws tshawb xyuas seb qhov "tag nrho cov khoom siv" metric ntawm WETH ntse daim ntawv cog lus tiag tiag sib npaug ntawm cov tokens minted.
Nws kuj tau sim xyuas seb puas muaj peev xwm txhiv tau ETH los ntawm WETH thaum twg los tau; Tong hu ua qhov haujlwm no "solvency."
Hais txog thawj lub ntsiab lus, tus kws tshuaj ntsuam tau nthuav tawm tias tag nrho cov khoom siv tsis tas yuav tsum sib npaug ntawm tus lej tokens nyob hauv lub neej:
Kev hais lus, ERC-20 tus qauv qhia tias tag nrho Supply() yuav tsum sib npaug ..." tag nrho cov khoom ". Uas yog kinda vague, tab sis ib tug yuav xav tias nws yuav yog tag nrho cov tokens nyob rau hauv lub neej
Los ntawm kev ua haujlwm ntawm tus kheej, uas txiav tawm daim ntawv cog lus lossis kev hloov pauv ntawm cov nyiaj cog lus rau qhov chaw nyob, cov neeg siv yuav tuaj yeem mint WETH tokens yam tsis tau xa ETH rau qhwv, Tong xaus lus.
Qhov no puas txaus ntshai rau cov neeg siv WETH?
Nws kuj tau qhia tias tus neeg tso nyiaj ntawm Ethers (ETH) yuav tsis tas yuav thim lawv cov nyiaj los ntawm cov ntawv cog lus ntse txhua lub sijhawm.
Unsat! Qhov ntawd yog qhov tshwm sim peb xav pom! ib pic.twitter.com/ls7bhPakY1
— cts (@gf_256) Kaum ib hlis 19, 2022
Yog li ntawd, nws tau muab ob qho qauv kev xav los ua kom pom qhov tsis muaj kev sib raug zoo ntawm WETH daim ntawv cog lus tshuav nyiaj li cas thiab tus naj npawb ntawm cov tokens minted, nrog rau "solvency flaw" uas tuaj yeem cuam tshuam rau cov txheej txheem tshem tawm.
Txawm li cas los xij, nws tau hais tias ob qho xwm txheej no yog kev xav thiab ua qauv tsuas yog rau qhov kev sim. Cov kab mob hauv kev tshawb fawb yog "me" thiab "tsis muaj mob."
Txij li thaum nws tso tawm xyoo 2020, Zellic tau tshawb xyuas ntau cov txheej txheem DeFi sab saum toj, suav nrog cov nyiam 1inch (1INCH), LayerZero thiab SushiSwap (SUSHI).
Tau qhov twg los: https://u.today/wrapped-ether-weth-design-bugs-unveiled-by-analyst