03393ntm a22005177i 4500 000723896 CZ-PrVSE 20250621144446.0 m d cr n|||||||||| 250621s2025 xr fsbm 000 0 cze d NEZPRACOVANÝ IMPORT ABA006 cze ABA006 ABA006 rda Dítě, Jan ISIS:169965 dis Development and security of smart contracts : Analysis and auditing on blockchain platforms eng Vývoj a bezpečnost smart kontraktů : Analýza a auditování na blockchainových platformách Jan Dítě 2025 ?? stran : digital, PDF soubor Vedoucí práce: František Sudzina Bakalářská práce (Bc.)—Vysoká škola ekonomická v Praze. Fakulta informatiky a statistiky, 2025 Obsahuje bibliografii Textový (vysokoškolská kvalifikační práce) Rok obhajoby 2025 Tato bakalářská práce se zaměřuje na analýzu vývoje a bezpečnost smart kontraktů na vy- braných blockchainových platformách. V teoretické části jsou představeny principy fungování blockchainu, definice a charakteristiky smart kontraktů a přehled nejpoužívanějších progra- movacích jazyků, jako jsou Solidity a Vyper. Dále jsou popsány běžné typy zranitelností, které se objevují při vývoji chytrých kontraktů, a uvedeny příklady známých útoků, včetně případu DAO hacku. Zmíněny jsou i rozdíly mezi platformami a počty aktivních vývojářů na dané platformě. Součástí přehledu je také srovnání dostupných vývojových nástrojů a podpory bezpečnostních analýz. Praktická část se zaměřuje na demonstraci zranitelnosti typu reentrancy na jednoduchém ukázkovém kontraktu napsaném v jazyce Solidity. Tento kontrakt je upraven do bezpečnější verze, analyzován pomocí nástrojů Slither a Mythril a následně přepsán do jazyka Vyper. Testování kontraktu bylo provedeno pomocí nástroje Brownie. Dále je zformulována sada doporučení, která vychází z poznatků teoretické i praktické části. Tyto poznatky mohou začínajícím vývojářům sloužit jako praktický návod ke zvýšení bezpečnosti smart kontraktů. Způsob přístupu: Internet aplikovaná informatika [obor bakal. práce] bakalářské práce fd132403 czenas bachelor's theses eczenas bezpečnost blockchain smart kontrakty Solidity a Vyper Sudzina, František ISIS:137922 ths Perzina, Radomír opn Vysoká škola ekonomická v Praze. Fakulta informatiky a statistiky kn20010709399 dgg https://insis.vse.cz/zp/91093/podrobnosti VŠKP v InSIS https://insis.vse.cz/zp/91093 Hlavní práce https://insis.vse.cz/zp/91093/posudek/vedouci Hodnocení vedoucího https://insis.vse.cz/zp/91093/posudek/oponent/85674 Oponentura https://insis.vse.cz/zp/91093/priloha/31302 Přiloha k práci https://insis.vse.cz/zp/91093/podrobnosti dc:identifier NEPOSILAT VSKP vse91093 250618 91093