Sigurnosna analiza pametnih ugovora

završni rad

• Naslov (engleski): Security analysis of smart contract
• Autor: Ivan Futivić
• Mentor: Ante Đerek (mentor)
• Član povjerenstva: Ante Đerek (predsjednik povjerenstva)
• Član povjerenstva: Lucija Šikić (član povjerenstva)
• Član povjerenstva: Petar Paradžik (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet elektrotehnike i računarstva; Zagreb
• Datum i država obrane: 2022-07-06, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Računarstvo

Sažetak

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.

Sažetak (engleski)

Smart contracts are programs that are deterministically executed on a blockchain using a virtual machine and a common consensus mechanism. These programs can implement their own logic as well as manage cryptocurrencies. It is therefore crucial that smart contracts are resistant to attacks and malicious use.

The first part of the paper presents the basic terms and necessary technologies for the use of smart contracts, as well as a short summary of their history.

The second part shows some of the most common vulnerabilities that are present in smart contracts and the ways in which they can be exploited by attackers. Some preventative techniques are described, and real-world examples are given for the aforementioned vulnerabilities.

Finally, a potential Front Running vulnerability in smart contracts that implement the ERC-918 standard is presented, and a simple example is given that simulates the attack. Also, one potential way to protect against such an attack is suggested.

• Ključne riječi: raspodijeljene glavne knjige; kriptografski lanac blokova; pametni ugovori; Ethereum; Solidity; sigurnost; ranjivost
• Ključne riječi (engleski): distributed ledgers; blockchain; smart contracts; Ethereum; Solidity; security; vulnerability
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:119919
• Studijski program: Naziv: Računarstvo; Vrsta studija: sveučilišni; Stupanj studija: preddiplomski; Akademski / stručni naziv: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (univ.bacc.ing.comp.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2023-01-15 10:09:15