Revizija pametnih ugovora
Ručni pregled logike, red po red, uz automatiziranu analizu koja hvata ono što oko previdi. Usredotočeni smo na matematiku povlačenja sredstava, prava pristupa, redoslijed poziva i rubne slučajeve koji se pojave tek pod stvarnim prometom.
Prije i nakon objave