Contents

This page gives details about the coursework

Module 1: Blockchain basics

1. quick intro

2. basics of addresses and types of addresses

3. Basics of Cryptography. Just simple stuff what is signing etc

4. Basics types of nodes

5. Cardano Architecture (consensus networking etc)

Module2: Handson tools

1) Running a docker to create a devnet and http://Demeter.run

2) Using block frost/ogmios/KOIOS/Dandelion

3) Running oura and other@txpipe_toolstools

4) For enthusiast : starting a Cardano-node in testnet

5) commandline utilities

Module3: Towards smart contracts

1. eUTXO fundamentals

2. eUTXO design patterns

3. Details around script-context

4. Native script basics

Module4: Smart contracts: Using various methods available on Cardano

1. Interacting with a contract without knowing any plutus. Basically frontend part using type script/js

2. a) Plutus (for developers who know Haskell) b) Haskell IOG course for developers who want to learn Haskell

3. Writing and deploying basic contract

4. some advanced examples

5. Once Plutus-TS is ready add code to github

6. Some debugging tips

Module 5: Verification of contracts

1. Basic test framework development

2. Property testing

3. Usage of Proof assistants (only for users who are already working with Proof assistant)

Donations

If you think this course helps you then please donate Ada to the address below

addr1v8hnddsmu4wj0uxnmdhnpm4yjg545rjeazcdd35haw3s3lgzjgnqh