Sigurnosna analiza pametnih ugovora

undergraduate thesis

• Title (english): Security analysis of smart contract
• Author: Ivan Futivić
• Mentor: Ante Đerek (mentor)
• Committee member: Ante Đerek (predsjednik povjerenstva)
• Committee member: Lucija Šikić (član povjerenstva)
• Committee member: Petar Paradžik (član povjerenstva)
• Granter: University of Zagreb; Faculty of Electrical Engineering and Computing; Zagreb
• Defense date and country: 2022-07-06, Croatia
• Scientific / art field, discipline and subdiscipline: TECHNICAL SCIENCES; Computing

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.

Abstract (english)

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.

• Keywords: raspodijeljene glavne knjige; kriptografski lanac blokova; pametni ugovori; Ethereum; Solidity; sigurnost; ranjivost
• Keywords (english): distributed ledgers; blockchain; smart contracts; Ethereum; Solidity; security; vulnerability
• Language: croatian
• URN:NBN: urn:nbn:hr:168:119919
• Study programme: Title: Computing; Study programme type: university; Study level: undergraduate; Academic / professional title: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Closed access
• Created on: 2023-01-15 10:09:15