Bezpečnostní audit Ethereum projektu

Abstract

Ve své práci se zabývám bezpečnostním auditem aplikace PWN, která je napsaná v jazyce Solidity a je nahraná na blockchain Etherea. V textu je detailně popsán princip protokolu Bitcoin a na těchto základech vysvětluji, jak funguje Ethereum a smart kontrakty, které jsou určeny pro nahrání na blockchain Etherea. Dále zkoumám fungovaní PWN aplikace, píšu pro ni unit testy a analyzuji výstup statické analýzy kódu z nástroje Slither. Následuje manuální code review, kde diskutuji slabiny návrhu aplikace, kritizuji odklonění implementace PWN od popisu ve white paperu a předkládám svůj návrh na vylepšení aplikace.

In this paper, I deal with security audit of PWN application, which is written in Solidity and deployed to Ethereum blockchain. The text describes in detail the principle of Bitcoin protocol. On that basis I explain Ethereum protocol and the smart contracts, which are meant to be deployed on the Ethereum blockchain. I~analyze the PWN application, I write the unit tests for it and I review the output of the static code analysis tool Slither. After that, I do a manual code review, where I discuss the weaknesses of the PWN design, I criticize that, the PWN implementation does not follow the description in the white paper and I propose my own application improvements.