Modellierung von Aspekten einer Blockchain
Umfang
Dieses Thema kann als Projektarbeit bearbeitet werden.
Empfohlene Vorkenntnisse
- gute B oder Event-B Kenntnisse (z.B. durch Besuch der Veranstaltung “Sicherheitskritische Systeme”)
- Besuch der Veranstaltung “Blockchain” (auch parallel zur Projektarbeit)
Problem
Viele Aspekte von Blockchains sind komplex, wie in etwa:
- Datenstrukturen
- smart contracts
- Konsensfindung
- kryptographische Protokolle (z.B. zero knowledge)
Diese können formal modelliert werden, um starke Garantien über deren Verhalten zu gewinnen.
Minimalanforderungen
- Modellierung von Aspekten einer Blockchain
Variationen
- verschiedene Aspekte und Themen
Kontakt
Philipp KörnerRaum 25.12.02.56
p.koerner@hhu.de