Rozšíření nástroje Woke

Abstract

Tato práce se ve své první polovině věnuje technologii Ethereum, EVM a následně samotným smart kontraktům. Tyto informace jsou nezbytné pro analýzu nástrojů a návrh funkcionalit nástroje Woke. Jednotlivé nástroje jsou detailně popsány společně se způsobem jejich použití a nakonec jsou vytyčeny jejich silné a slabší stránky. Další kapitola se věnuje samotnému nástroji Woke. V kapitole je popsána motivace pro vytvoření nového nástroje, návrh funkcionalit a nedostatky, které oproti ostatním nástrojům má za cíl pokrývat. V poslední části je popsána implementace a testování podmnožiny navržených funkcionalit.

The first half of this thesis focuses on Ethereum, EVM and then smart contracts themselves. This information is necessary for the analysis of the tools and the design of the Woke tool functionalities. The individual tools are described in detail, along with how they are used, and finally their strengths and weaknesses are outlined. The next chapter focuses on the Woke tool itself. The chapter describes the motivation for the creation of the new tool, the design of the functionalities and the gaps it aims to cover compared to other tools. The last section describes the implementation and testing of a subset of the proposed functionalities.