Ibahagi ang artikulong ito
Smart Contract Analyzer sa Debut sa Ethereum Conference
Malapit nang magbukas ang mga mananaliksik ng isang tool na idinisenyo upang suriin ang Ethereum smart contract code.
Gawin kaming preferred sa Google
Ang mga mananaliksik mula sa National University of Singapore ay malapit nang maglabas ng tool na tutulong sa mga user ng Ethereum na matukoy kung valid o hindi ang mga smart contract na kanilang na-code.
Binuo kasunod ng napakalaking hack ng unang malakihang matalinong kontrata – Ang DAO – noong Hunyo, ang mga mananaliksik inilarawan ang kasangkapan bilang isang pagtatangka na pigilan ang mga problema sa hinaharap na maaaring humantong sa pagkawala ng mga pondo ng consumer. Tinatawag na Oyente, ang programa ay naiulat na ginamit upang matagumpay na matukoy ang mga bug sa libu-libong matalinong kontrata, kabilang ang ONE na humantong sa pagkabigo ng The DAO.
Ipagpatuloy Ang Kwento Sa Baba
Huwag palampasin ang isa pang kuwento.Mag-subscribe sa Crypto Daybook Americas Newsletter ngayon. Tingnan lahat ng newsletter
Ipinaliwanag ng estudyante ng PhD ng National University of Singapore na si Loi Luu na unang sinimulan ng team ang trabaho nito sa pamamagitan ng pagsusuri sa mga smart contract para sa mga security bug.
Sinabi ni Luu sa CoinDesk:
"Pagkatapos mahanap ang lahat ng mga problemang ito, gusto naming sukatin kung gaano karaming mga matalinong kontrata ang may mga problemang ito."
Ang Oyente, aniya, ay kumakatawan sa isang pagpipino at pag-optimize ng prosesong ito, ONE na nagsusuri ng mga problema sa seguridad kung saan maaaring manipulahin ng mga kalaban ang mga matalinong kontrata para sa mga pakinabang.
Plano na ngayon ng team ni Luu na ilabas ang code para sa smart contract analyzer dati Devcon2, ang Ethereum development conference na nakatakdang gaganapin sa huling bahagi ng buwang ito sa Shanghai.
Ang open-source analyzer ay kabilang sa maraming bagong ideya para mapahusay ang smart contract security sa public Ethereum blockchain, ngunit ang pagbabago ay pinilit din sa iba pang mga blockchain.
Halimbawa, ang kabiguan ng The DAO ay makikita bilang naghihikayat sa isang bagong diin sa inobasyon sa antas ng wika ng matalinong pagkontrata dahil sa mga kritisismo sa Solidity, ang espesyal na idinisenyong smart contract programming language ng ethereum.
Pag-automate ng pagtuklas ng bug
Bago ilabas, nakikipagtulungan ang team sa mga developer ng Ethereum at para linisin ang Oyente code at magsulat ng dokumentasyon para sa mga developer na maglalarawan ng mga benepisyo nito.
Mayroong apat na pangunahing problema na maaaring makita ng tool, kabilang ang "reentrancy" na bug, o ang uri ng bug na humantong sa The DAO collapse.
Upang pag-aralan ang isang matalinong kontrata, pinapakain ito ng isang user sa programang Oyente, na pagkatapos ay aabisuhan sila kung mayroon itong mga kahinaan na posibleng pagsamantalahan ng mga malisyosong aktor.
Nilalayon ni Oyente na dumaan sa lahat ng posibleng landas ng programa upang suriin ang mga bug na ito, ipinaliwanag ni Luu:
"Kung mayroong dalawang posibleng execution path, dadaan ito sa bawat isa sa kanila at susuriin kung nangyayari ang reentrancy bug sa path na iyon, at pagkatapos ay i-flag kung mahina o hindi ang smart contract."
Sa partikular, LOOKS ni Oyente ang smart contract na "bytecode" o ang code na sa huli ay nakaimbak sa blockchain.
Bago gamitin, ang mga high-level Ethereum programming language tulad ng Solidity o Serpent ay kino-convert sa bytecode upang maunawaan at maisagawa ng Ethereum network ang mga ito.
Para sa higit pang mga detalye sa proyekto, basahin ang buong puting papel.
Update: Na-update ang headline para mas maipakita ang performance ng Oyente tool.
Larawan ng stethescope sa pamamagitan ng Shutterstock
Higit pang Para sa Iyo
Pudgy Penguins is building a multi-vertical consumer IP platform — combining phygital products, games, NFTs and PENGU to monetize culture at scale.
Ano ang dapat malaman:
Pudgy Penguins is emerging as one of the strongest NFT-native brands of this cycle, shifting from speculative “digital luxury goods” into a multi-vertical consumer IP platform. Its strategy is to acquire users through mainstream channels first; toys, retail partnerships and viral media, then onboard them into Web3 through games, NFTs and the PENGU token.
The ecosystem now spans phygital products (> $13M retail sales and >1M units sold), games and experiences (Pudgy Party surpassed 500k downloads in two weeks), and a widely distributed token (airdropped to 6M+ wallets). While the market is currently pricing Pudgy at a premium relative to traditional IP peers, sustained success depends on execution across retail expansion, gaming adoption and deeper token utility.
Higit pang Para sa Iyo
Patuloy na malaki ang ginagawang pagsisikap ng Meta at Microsoft sa paggastos gamit ang AI. Narito kung paano makikinabang ang mga minero ng Bitcoin
Sa ulat ng kita nito para sa ikaapat na kwarter, sinabi ng Meta na ang mga plano sa paggastos ng kapital para sa 2026 ay dapat nasa hanay na $115-$135 bilyon, na mas mataas kaysa sa mga napagkasunduang pagtataya.
Ano ang dapat malaman:
- Ang mga resulta ng kita para sa ikaapat na kwarter mula sa Microsoft (MSFT) at Meta (META) ay nagmumungkahi ng walang paghina sa paggastos na may kaugnayan sa AI.
- Binigyang-diin ng Microsoft na ang AI ngayon ay ONE sa pinakamalaking negosyo nito at itinuro ang pangmatagalang paglago.
- Tinatayang mas mataas ang paggastos sa kapital ng Meta sa 2026 upang pondohan ang Meta Super Intelligence Labs at CORE negosyo nito.
Top Stories
