Smart Contract Analyzer sa Debut sa Ethereum Conference

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.

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