Defi sistemlərinin təhlükəsizliyiSyllabus

Subject code

MS-1421

Credits

6

Student workload

135

Semester

Autumn semester

Academic year

2

Subject type

Elective

Form of education

Full-time

Language of instruction

Azerbaijani

In-class hours

30 saat mühazirə + 15 saat praktiki/laboratoriya

Out-of-class hours

60 saat sərbəst iş

Bu fənn mərkəzləşdirilməmiş maliyyə (defi) sistemlərinin arxitekturasının, fəaliyyət prinsiplərinin və təhlükəsizlik mexanizmlərinin öyrənilməsini nəzərdə tutur. fənn çərçivəsində ağıllı müqavilələrin (smart contracts) təhlükəsizliyi, mərkəzləşdirilməmiş birjalar (dex), kreditləşmə və borclanma protokolları, likvidlik hovuzları, stabilkoinlər və digər defi tətbiqlərinin iş prinsipləri araşdırılır. eyni zamanda, ağıllı müqavilələrdəki zəifliklər, təkrar giriş (reentrancy) hücumları, fləş-kredit (flash loan) hücumları, qiymət orakullarının manipulyasiyası, iqtisadi hücumlar və digər təhlükəsizlik riskləri öyrənilir. fənn çərçivəsində blokçeyn tranzaksiyalarının təhlili, ağıllı müqavilələrin təhlükəsizlik auditinin aparılması, risklərin qiymətləndirilməsi və müdafiə mexanizmlərinin tətbiqi məsələlərinə xüsusi diqqət yetirilir. fənn tələbələrdə defi protokollarının təhlükəsizlik səviyyəsini qiymətləndirmək, potensial zəiflikləri müəyyənləşdirmək, hücum ssenarilərini təhlil etmək və mərkəzləşdirilməmiş maliyyə sistemlərinin etibarlılığını artırmaq üçün müvafiq təhlükəsizlik tədbirlərini seçmək üzrə nəzəri bilik və praktiki bacarıqlar formalaşdırır.

• lecture
• seminar
• presentations
• teamwork
• project-based learning

1. 1

   CLO 1: Defi ekosisteminin, əsas protokol növlərinin və blokçeyn infrastrukturunun iş prinsiplərini izah edir.

2. 2

   CLO 2: Ağıllı müqavilələrdə girişə nəzarət, yenidən daxilolma (reentrancy), hesablamaların dəqiqliyi, icazəsiz yeniləmə və digər riskləri müəyyənləşdirir.

3. 3

   CLO 3: Orakl manipulyasiyası, flash-loan hücumları, likvidlik riskləri, MEV və iqtisadi istismar ssenarilərini təhlil edir.

4. 4

   CLO 4: Defi protokollarının təhlükəsizlik arxitekturasını, etibar fərziyyələrini və hücum səthlərini qiymətləndirir.

5. 5

   CLO 5: Statik analiz, testlər, fuzzing və simulyasiya vasitələrindən istifadə etməklə zəiflikləri tədris mühitində aşkarlayır.

6. 6

   CLO 6: Audit, monitorinq, çoximzalı idarəetmə, fasilə mexanizmləri və insidentlərə cavab planı üzrə müdafiə tədbirləri hazırlayır.

7. 7

   CLO 7: Radioelektronikanın əsas prinsiplərini izah edir.

1. 1.
   Defi anlayışı və ekosistemin arxitekturası.Lecture

   Mərkəzləşdirilməmiş maliyyənin prinsipləri, əsas iştirakçılar, blokçeyn şəbəkələri, protokollar və etibar modelinin xüsusiyyətləri.

2. 2.
   Ağıllı müqavilələr və icra mühiti.Lecture

   Ağıllı müqavilələrin həyat dövrü, vəziyyət dəyişənləri, tranzaksiyalar, qaz haqları və icra mühitindəki təhlükəsizlik məhdudiyyətləri.

3. 3.
   Defi protokol növləri və onların riskləri.Lecture

   Dex, kreditvermə protokolları, likvidlik hovuzları, gəlirlilik aqreqatorları, stabilkoinlər və törəmə alətlər.

4. 4.
   Ağıllı müqavilələrin yayılmış zəiflikləri.Lecture

   Reentrancy, girişə nəzarət xətaları, yoxlanılmamış xarici çağırışlar, hesablamalarda daşma/alt-daşma və təhlükəli yeniləmə mexanizmləri.

5. 5.
   Açarların və imzaların təhlükəsizliyiLecture

   Kriptoqrafik açarların saxlanması, multisig, inzibati rollar, icazələrin məhdudlaşdırılması və açarların idarə olunması.

6. 6.
   Orakllar və qiymət məlumatlarının etibarlılığı.Lecture

   Orakl arxitekturası, qiymət mənbələri, köhnəlmiş məlumat, qiymət manipulyasiyası və məlumatların yoxlanması.

7. 7.
   Flash-loan hücumları və iqtisadi istismar.Lecture

   Flash-loan mexanizmləri, atomik tranzaksiyalar, qiymət və likvidlik manipulyasiyası, hücum ssenarilərinin təhlili.

8. 8.
   Dex və likvidlik hovuzlarının təhlükəsizliyi.Lecture

   Avtomatlaşdırılmış market-meyker modelləri, slippage, impermanent loss, likvidlik konsentrasiyası və manipulyasiya riskləri.

9. 9.
   Kreditvermə və likvidasiya mexanizmləri.Lecture

   Girov nisbətləri, sağlamlıq göstəriciləri, likvidasiya hədləri, bazar dəyişkənliyi və kaskad likvidasiya riski.

10. 10.
    Cross-chain körpülər və interoperabellikLecture

    Körpü arxitekturaları, validator və mesaj yoxlaması, saxta mesajlar, körpü aktivlərinin təminatı və etibar fərziyyələri.

11. 11.
    Mev və tranzaksiya sıralanması riskləriLecture

    Front-running, sandwich hücumları, tranzaksiya sıralanması və istifadəçi əməliyyatlarının qorunması üsulları.

12. 12.
    Defi təhlükəsizlik auditi və testləşdirmə.Lecture

    Kod icmalı, statik analiz, vahid testlər, fuzzing, invariantların yoxlanması və audit hesabatının hazırlanması

13. 13.
    Monitorinq, insidentlərin aşkarlanması və cavab.Lecture

    On-chain monitorinq, anomaliyaların müəyyənləşdirilməsi, fövqəladə dayandırma, zərərin məhdudlaşdırılması və insidentdən sonrakı təhlil.

14. 14.
    İdarəetmə, hüquqi və uyğunluq məsələləri.Lecture

    Dao idarəetməsi, səsvermə hücumları, risk açıqlamaları, aml/kyc konteksti, məxfilik və yurisdiksiya fərqləri.

15. 15.
    Kompleks defi təhlükəsizlik layihəsiLecture

    Seçilmiş protokolun təhlükə modeli, risk reyestri, test planı, müdafiə təklifləri və yekun hesabatın hazırlanması.

1. Antonopoulos, a. m., wood, g. mastering ethereum: building smart contracts and dapps. o’reilly media.
2. Owasp foundation. smart contract security verification standard (scsvs) və OWASP smart contract top 10.
3. Consensys diligence. smart contract best practices və audit resursları.
4. Ethereum documentation: ağıllı müqavilələr, təhlükəsizlik, testləşdirmə və tərtibatçı sənədləri.
5. Openzeppelin documentation: contracts, access control, upgradeability və təhlükəsizlik vasitələri.
6. Seçilmiş defi protokollarının rəsmi texniki sənədləri, audit hesabatları və təhlükəsizlik açıqlamaları.