Analiza napadov na pametne pogodbe osnovane na okoljih ethereum virtualnega stroja

Gal Gantar; Matevž Pesek

doi:10.31449/upinf.228

Avtorji

Gal Gantar Univerza v Ljubljani, Fakulteta za računalništvo in informatiko
Matevž Pesek Univerza v Ljubljani, Fakulteta za računalništvo in informatiko

DOI:

https://doi.org/10.31449/upinf.228

Ključne besede:

binarni napadi, Ethereum, kibernetska varnost, Solidity

Povzetek

V zadnjem desetletju je zanimanje za kriptovalute močno naraslo. S tem je prišlo tudi do porasta kapitala, zaklenjenega v pametnih pogodbah, kar pa je hkrati povečalo tveganje za napade. Za preprečevanje napadov na pametne pogodbe je potrebna analiza programerskih vzorcev in okolja, v katerem se pametne pogodbe izvajajo. V prispevku obravnavamo varnost omrežja Ethereum in njegovo vlogo v razvoju decentraliziranih aplikacij (angl. decentralised Applications - dApps). Pregledamo uporabo Ethereumovega Virtualnega stroja (EVM), programskega jezika Solidity in zbirnika pri gradnji pametnih pogodb. Poleg tega opišemo varnostne izzive, s katerimi se sooča Ethereumov ekosistem, in analiziramo tri pretekle napade na decentralizirane platforme. Prispevek prinaša tudi konkreten primer napada na pametno pogodbo, ki izkorišča ranljivost v njeni implementaciji. Rezultat prispevka je prikaz pametne pogodbe, ki ob standardni uporabi deluje pravilno, vendar vsebuje ranljivost, ki jo je mogoče izkoristiti za neavtorizirano spreminjanje njenega stanja.

Biografije avtorja

Gal Gantar, Univerza v Ljubljani, Fakulteta za računalništvo in informatiko

Gal Gantar je absolvent dodiplomskega interdisciplinarnega študija računalništva in informatike. Njegovo
raziskovalno delo se osredotoča na kriptografijo, predvsem na dokaze brez razkritja znanja. Prav tako
raziskuje področja umetne inteligence, s posebnim poudarkom na globokem učenju na grafih. Strokovno je aktiven na področju razvoja decentraliziranih protokolov in pametnih pogodb.

Matevž Pesek, Univerza v Ljubljani, Fakulteta za računalništvo in informatiko

Matevž Pesek je docent in raziskovalec na Fakulteti za računalništvo in informatiko Univerze v Ljubljani, kjer je diplomiral (2012) in doktoriral (2018). Od leta 2009 je član Laboratorija za računalniško grafiko in multimedije. Od leta 2024 izvaja predmet Varnost programov.