| 26.09.2025 | Lec 1 & 2 | Bitcoin | Ing. Marek Bielik | Bitcoin handbook, Presentation. The Bitcoin handout is the recommended study material for the first two lectures. The slides are supplementary. |
|---|
| 10.10.2025 | Lec 3-4 | Introduction to web3, security audits and smart contract hacks. | Ing. Josef Gattermayer, Ph.D. | Introduction to the web3 ecosystem and security audits, example audit report, how to read it and write it. Overview - Coinbureau. Presentation. |
|---|
| 24.10.2025 | Lec 5-6 | EVM | Ing. Jan Kalivoda, Ing. Lukáš Rajnoha, Ing. Josef Gattermayer, Ph.D. | Introduction to Ethereum Virtual Machine, Ethereum Yellow Paper. |
|---|
| 7.11.2025 | Lec 7-8 | Static analysis, Wake framework | Michal Převrátil, Ing. Josef Gattermayer, Ph.D. | Principles of static analysis applied to Ethereum smart contracts, architecture and design of Wake static analysis detectors. |
|---|
| 21.11.2025 | Lec 9-10 | Systems design, hands-on development | Ing. Jakub Růžička | An interactive discussion on when blockchain is a good or bad fit, demonstrated on widely used products and services. It covers design decisions around the architecture of blockchain-based software, most-used tools, programming languages (including platform-specific ones), and high-level libraries. |
|---|
| 5.12.2025 | Lec 11-12 | Account Abstraction | Virtual / Eth Foundation | Watch recordings from DevCon 2024: Account Abstraction: Making Accounts Smarter and Exploring the Future of Account Abstraction |
|---|