Security analysis of smart contract

Abstract

Pametni ugovori su programi koji se na deterministički način izvršavaju na kriptografskom lancu blokova pomoću virtualnog stroja i zajedničkog mehanizma konsenzusa. Ti programi mogu implementirati vlastitu logiku te raspolagati kriptovalutama. Stoga je od iznimne važnosti osigurati da su pametni ugovori otporni na napade i zlouporabu. U prvom dijelu rada predstavljeni su osnovni termini i potrebne tehnologije za korištenje pametnih ugovora te je ukratko prikazana njihova povijest. U drugom dijelu prikazane su neke od najčešćih ranjivosti koje su prisutne u pametnim ugovora i načini na koji mogu biti iskorištene od strane napadača. Objašnjeni su načini kako se mogu preventirati spomenute ranjivosti te su navedeni neki primjeri napada koji su se zaista dogodili. Konačno, predstavljena je potencijalna Front Running ranjivost u ERC-918 pametnim ugovorima te je implementiran jednostavni primjer pomoću kojeg je simuliran napad. Također, predložen je jedan od potencijalnih načina zaštite od takvoga napada.