Programowanie z blockchainem 1000-2M24PZB
Opis
- Modele kryptografii Dolev-Yao
- Rozproszony konsensus
- Regulacja pisania w konsensusie
- Modele księgowania
- Ekosystemy: Ethereum i EVM, Bitcoin, Cardano
- Kontrakty programowalne (Solidity)
- Tokeny
- NFT
- Bezpieczeństwo kontraktów programowalnych
- Rozgłaszanie treści (P2P)
- Przyspieszanie transakcji
- Rozproszone systemy nazw (ENS)
- Tokenomika
Założenia (opisowo)
Koordynatorzy przedmiotu
Efekty kształcenia
Efekty kształcenia
Student rozumie:
1. Model Dolev-Yao dla podpisu elektronicznego, księgowości blockchainu.
2. Model księgi zdecentralizowanej (decentralized ledger)
Student potrafi stworzyć:
1. Stworzyć smart contract w Ethereum.
2. Aplikację rozproszoną na Web3 (IPFS+Ethereum).
3. Token wymienny (fungible) i NFT.
Kompetencje:
1. Bezpieczeństwo smart contractów
2. Podstawy bezpieczeństwo aplikacji zdecentralizowanych
3. Znajomość kultury zdecentralizowanej
Kryteria oceniania
Kolokwium (10pkt), dwie prace domowe (2x10pkt) oraz projekt zaliczeniowy (70pkt). Zaliczenie wymaga 80pkt
(wysoki próg wynika z wymagań cyberbezpieczeństwa w praktyce i trudności tematu).
Projekt zaliczeniowy - aplikacja złożona z kontraktu programowalnego i strony Web3 do jego obsługi.
Literatura
Dokumentacja Ethereum: http://www.ethdocs.org/en/latest
Ethereum Improvement Proposals (EIP): https://eips.ethereum.org/erc
Dokumentacja Solidity:
https://solidity.readthedocs.io/en/develop/Dokumentacja
Web3js: https://web3js.readthedocs.io/en/1.0
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: