Soustanovitelj Ethereuma Vitalik Buterin je izrazil navdušenje nad potencialom formalnega preverjanja kode in odkrivanja hroščev s pomočjo umetne inteligence.
V ponedeljkovem tvitu je Buterin opozoril, da najpomembnejše tehnično tveganje Ethereuma izhaja iz napak v kodi in vse, kar bi lahko bistveno spremenilo igro na tem področju, bi bilo prelomno.
»Ena od aplikacij umetne inteligence, nad katero sem navdušen, je formalno preverjanje kode in iskanje hroščev s pomočjo umetne inteligence. Trenutno so največje tehnično tveganje Ethereuma verjetno hrošči v kodi in vse, kar bi lahko bistveno spremenilo igro, bi bilo neverjetno,« on je pisal.
Predvsem je eden glavnih izzivov, s katerimi se soočajo protokoli Ethereum, izkoriščanje hroščev, ki povzročijo milijone dolarjev izgub za vlagatelje zaradi hekerskih incidentov. Glede na poročilo Chainalysis so kripto skladi, ukradeni leta 2023, dosegli osupljivih 1.7 milijarde dolarjev, pri čemer je bilo približno dve tretjini skupnih ukradenih sredstev mogoče izslediti zaradi vdorov, ki so ciljali na protokole DeFi. In čeprav se je skupno število tatvin zmanjšalo v primerjavi s prejšnjimi leti, ostaja grožnja vdora v DeFi precej zaskrbljujoča.
Medtem, čeprav Buterin izraža optimizem glede potenciala AI, je opazil tudi previdnost. V blogu z dne 30. januarja je soustanovitelj Ethereuma svetoval previdnost, ko gre za integracijo umetne inteligence s tehnologijo veriženja blokov, pri čemer je poudaril kritično potrebo po previdnem in odmerjenem pristopu, zlasti pri uvajanju umetne inteligence v kontekstih, ki prinašajo veliko vrednost in tveganje.
Predvsem lanski poskus podjetja za razvoj pametnih pogodb OpenZeppelin z uporabo GPT-4 OpenAI za odkrivanje varnostnih težav v pametnih pogodbah Solidity je dal mešane rezultate. Po poročilu podjetja je GPT-4 natančno identificiral ranljivosti v 20 od 28 izzivov, vendar je včasih izmislil tudi neobstoječe ranljivosti.
Podobno je Kang Li, glavni varnostni uradnik pri varnostnem podjetju za verigo blokov CertiK, posvaril pred zanašanjem izključno na orodja, ki jih poganja umetna inteligenca, za kodiranje. Septembra lani med korejskim tednom veriženja blokov je Li opozoril, da lahko orodja AI povzročijo več varnostnih težav, kot jih odpravijo, če se uporabljajo brez previdnosti.
Li je nadalje poudaril, da na primer ChatGPT morda ne bo sposoben odkriti napak logične kode tako spretno kot izkušeni razvijalci. Namesto tega je strokovnjak predlagal uporabo pomočnikov AI kot podpornih orodij za izkušene razvijalce, ki bi jim omogočili učinkovitejše razumevanje kode.
Vir: https://zycrypto.com/vitalik-buterin-highlights-potential-use-case-of-ai-on-ethereum/