Go to course navigation

Lectures

Date	Lecture	Topic	Lecturer	Study & Teaching Materials
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. [https://docs.google.com/presentation/d/1Cz6_tq-g4bYFtkCwx4GvuzUCXpN2dMIOo8f-TynliEU/edit?usp=sharing]
15.12.2023	Lec 11-12	Account Abstraction (online)	Alex Forshtat	What are the problems associated with private key controlled (aka Externally Owned) accounts in blockchains? How to solve them with Account Abstaction? And what are the difficulties we are still facing? https://www.erc4337.io/, https://eips.ethereum.org/EIPS/eip-4337, https://github.com/eth-infinitism/account-abstraction/, https://www.youtube.com/watch?v=eyT6WzJmWyc

Date

Lecture

Topic

Lecturer

Study & Teaching Materials

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. [https://docs.google.com/presentation/d/1Cz6_tq-g4bYFtkCwx4GvuzUCXpN2dMIOo8f-TynliEU/edit?usp=sharing]

15.12.2023

Lec 11-12

Account Abstraction (online)

Alex Forshtat

What are the problems associated with private key controlled (aka Externally Owned) accounts in blockchains? How to solve them with Account Abstaction? And what are the difficulties we are still facing? https://www.erc4337.io/, https://eips.ethereum.org/EIPS/eip-4337, https://github.com/eth-infinitism/account-abstraction/, https://www.youtube.com/watch?v=eyT6WzJmWyc