Bakalářská práce
Získaná ocenění: Cena děkana FI za vynikající závěrečnou práci

Security Analysis of Oracle Vulnerabilities in Ethereum Smart Contracts

Ondřej Tatýrek
Anotace

Chytré kontrakty čelí omezením při přístupu k externím informacím z důvodu uzavřenosti blockchainů. Toto omezení je řešeno pomocí oracles, které umožnují zprostředkovat externí data do blockchainu. Chytré kontrakty mohou volat API oracles a obdržet širokou škálu informací, především data o cenách, která jsou poté využívána chytrými kontrakty. Nicméně nesprávná integrace oracles v chytrých kontraktech …více

Abstract

Smart contracts face limitations in accessing external information due to the closed nature of blockchains. This limitation is addressed by oracles, which serve as intermediary entities that facilitate the integration of external data into the blockchain. Smart contracts are able to call oracle API and access a wide array of information, mainly price data, which is then utilised by the smart contracts …více

Klíčová slova
smart contract Ethereum oracle vulnerability static analysis Slither security analysis chytrý kontrakt oracle zranitelnost statická analýza bezpečnostní analýza
Zadání práce

The aim of the thesis is a white-box security analysis of smart contracts on the Ethereum blockchain using the Slither static analysis tool. Namely, to provide an overview of the existing tooling and its ability to spot particular vulnerabilities related to the usage of on-chain and off-chain oracles, such as Chainlink or Uniswap. In case the existing tooling does not detect the studied vulnerabilities, attempt to extend its capabilities or write a custom static analyzer. Finally, evaluate the tool's capabilities and limitations on a set of Ethereum smart contracts. In particular, this thesis will cover the following parts:

  • Explain the concept of a smart contract and its security and vulnerability specifics.
  • Describe the various oracle-related vulnerabilities and possible mitigation techniques.
  • Use Slither to detect the oracle-related vulnerabilities and extend it if its current capabilities aren't sufficient.
  • Evaluate Slither’s detection capabilities on several smart contracts deployed on Ethereum.
Administrativní informace
Práce zkontrolována:
31. 5. 2024 14:02, RNDr. Jan Kvapil, učo 408788
Plný text práce
545,7 KB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
26. 6. 2024
Práce byla úspěšně obhájena

Vedoucí

RNDr. Jan Kvapil, učo 408788
KPSK FI MU

Oponent

RNDr. Antonín Dufka, Ph.D.
KPSK FI MU

Konzultant

José Fernando Velázquez Hernández, BSc.
Red Hat
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Plán
Kyberbezpečnost

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.