Revizija pametnih ugovora
Ručni pregled Solidity i Rust koda uz statičku analizu i testove rubnih slučajeva. Tražimo propuste u logici, pretpostavke o redoslijedu poziva i pogreške u obračunu vrijednosti.
Isporuka: pisani izvještaj + kontrolni pregled