6.10.2023 | Lec 1 & 2 | Bitcoin | Marek Bielik | [https://courses.fit.cvut.cz/NIE-BLO/lectures/files/btc_handout.pdf], [https://courses.fit.cvut.cz/NIE-BLO/lectures/files/btc_slides.pdf]. The Bitcoin handout is the recommended study material for the first two lectures. The slides are supplementary. |
---|
20.10.2023 | Lec 3-4 | Introduction to web3 and security audits + Smart contract hacks | Josef Gattermayer, Ph.D., Jan Kalivoda | [https://docs.google.com/presentation/d/1kMIehf0i3rwWTlqMFaiG0n6zohmbOqe7jxQ1FBxrQ-E/edit?usp=sharing]. Introduction to the web3 ecosystem and security audits, example audit report, how to read it and write it. More about [https://www.coinbureau.com/education/blockchain-security-audits/], more about [https://youtu.be/N-lGQlDZ_JE?list=PL5XEIFcmLHCMu-dNGvfThbUx0o16QEiVW&t=427]. |
---|
3.11.2023 | Lec 5-6 | EVM | Miroslav Škrabal | [https://docs.google.com/presentation/d/1CjIClwsNewrvFK1dNyIbYyY9ICr7v5Z1lpwcK2LuzIE/edit?usp=sharing] Introduction to Ethereum Virtual Machine, Ethereum Yellow Paper. |
---|
10.11.2023 | Lec 7-8 | Systems design, hands-on development | Jakub Růžička | [https://drive.google.com/file/d/1tyMP7ZfbcCbQftDQyRytfRIOS55YstAw/view]. The "System Design and Hands-On Development" lecture features 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. It also includes code walkthroughs/explanations of simple scripts. The two follow-up labs give a short introduction to system design and practical security (a bridge to the next lecture) and let students practice their skills on mock projects, under the guidance of the course lecturers. They are concluded with presentations of the created design docs to the whole study group. |
---|
1.12.2023 | Lec 9-10 | Static analysis, Wake framework | Michal Převrátil | Principles of static analysis applied to Ethereum smart contracts, architecture and design of Wake framework detectors. |
---|
15.12.2023 | Lec 11-12 | Decentralization under Proof of Stake | Martin Vejmelka, Ph.D. | Proof Of Stake networks approach the problem of securing the blockchain by creating a market for the service of processing transactions. Entities providing these services are called validators. In the spirit of decentralization, each validator is a separate commercial entity that wants to optimize profit. Unfortunately, this is insufficient for decentralization as we show on real data that we collect. To maintain and improve decentralization, new incentive structures relying on measurements and observation must be developed. We will discuss and demonstrate efforts to track blockchain networks and create incentive structures and distribution mechanisms to support decentralization. |
---|