🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: امنیت قراردادهای هوشمند و ممیزی کد

موضوع کلی: برنامه نویسی

موضوع میانی: حوزه‌های تخصصی**

📋 سرفصل‌های دوره (100 موضوع)

• 1. مفاهیم پایه بلاکچین و قراردادهای هوشمند
• 2. معماری بلاکچین اتریوم
• 3. ماشین مجازی اتریوم (EVM) و نحوه عملکرد آن
• 4. زبان برنامه نویسی Solidity: مبانی و سینتکس
• 5. انواع داده ها در Solidity
• 6. متغیرها و توابع در Solidity
• 7. عملگرها و عبارات شرطی در Solidity
• 8. حلقه ها و آرایه ها در Solidity
• 9. ساختارهای داده پیشرفته در Solidity (Mapping, Struct)
• 10. وراثت (Inheritance) در Solidity
• 11. انتزاع (Abstraction) و رابط ها (Interfaces)
• 12. توابع اصلاح کننده (Modifier Functions)
• 13. مدیریت خطا و Exception Handling
• 14. رویدادها (Events) و لاگ ها
• 15. توابع payable و مدیریت ارز دیجیتال
• 16. آشنایی با ERC-20 Tokens
• 17. پیاده سازی یک ERC-20 Token
• 18. استانداردهای توکن دیگر (ERC-721, ERC-1155)
• 19. مفاهیم پایه امنیت قراردادهای هوشمند
• 20. آسیب پذیری های رایج قراردادهای هوشمند
• 21. آسیب پذیری Overflow و Underflow
• 22. حمله Reentrancy
• 23. حمله Denial of Service (DoS)
• 24. حمله Front Running
• 25. حمله Timestamp Dependence
• 26. حمله Gas Limit
• 27. آسیب پذیری Delegatecall
• 28. آسیب پذیری Integer Overflow/Underflow
• 29. آسیب پذیری Arithmetic Overflow/Underflow
• 30. آسیب پذیری Uninitialized Storage Pointer
• 31. آسیب پذیری Tx.origin Authentication
• 32. آسیب پذیری Predictable Randomness
• 33. مبانی ممیزی کد قراردادهای هوشمند
• 34. ابزارها و تکنیک های ممیزی کد
• 35. مراحل ممیزی کد قراردادهای هوشمند
• 36. بررسی مشخصات قرارداد و اهداف تجاری
• 37. شناسایی نقاط ضعف بالقوه
• 38. ارزیابی معماری قرارداد
• 39. بررسی ورودی ها و خروجی ها
• 40. تست واحد (Unit Testing) در Solidity
• 41. تست یکپارچه (Integration Testing) در Solidity
• 42. تست fuzzing در Solidity
• 43. ابزارهای تست خودکار برای Solidity
• 44. استفاده از Remix IDE برای توسعه و تست
• 45. استفاده از Truffle Framework برای توسعه و تست
• 46. استفاده از Hardhat Framework برای توسعه و تست
• 47. استفاده از OpenZeppelin Contracts Library
• 48. الگوهای امنیتی رایج در قراردادهای هوشمند
• 49. الگوی Pull over Push
• 50. الگوی Checks-Effects-Interactions
• 51. الگوی Circuit Breaker
• 52. الگوی Rate Limiting
• 53. الگوی Access Control
• 54. الگوی Proxy
• 55. استراتژی های مدیریت کلید خصوصی
• 56. کیف پول های سخت افزاری و نرم افزاری
• 57. مولتی سیگ (Multi-signature)
• 58. امن سازی فرآیند استقرار قرارداد
• 59. به روزرسانی قراردادهای هوشمند
• 60. مدیریت دسترسی و نقش ها
• 61. کنترل دسترسی مبتنی بر نقش (RBAC)
• 62. کنترل دسترسی مبتنی بر صفت (ABAC)
• 63. آشنایی با Decentralized Finance (DeFi)
• 64. امنیت در پروتکل های DeFi
• 65. آسیب پذیری های خاص DeFi
• 66. آربیتراژ و دستکاری قیمت
• 67. اوراکل ها و امنیت آنها
• 68. حمله وام فلش (Flash Loan Attack)
• 69. استراتژی های کاهش ریسک در DeFi
• 70. آشنایی با Decentralized Autonomous Organizations (DAOs)
• 71. امنیت در DAO ها
• 72. حمله های حاکمیتی (Governance Attack)
• 73. چالش های امنیت DAO
• 74. راهکارهای امنیتی برای DAO
• 75. بررسی پروژه های امنیتی Open Source
• 76. آشنایی با روش های formal verification
• 77. استفاده از ابزارهای formal verification
• 78. اصول نوشتن گزارش ممیزی
• 79. نحوه ارائه نتایج ممیزی
• 80. ارتباط با تیم توسعه
• 81. اصلاح آسیب پذیری ها
• 82. بررسی مجدد پس از اصلاح
• 83. استانداردهای امنیتی قراردادهای هوشمند
• 84. تکنیک های پیشرفته ممیزی کد
• 85. فازینگ (Fuzzing) پیشرفته
• 86. تحلیل ایستا (Static Analysis) پیشرفته
• 87. تحلیل پویا (Dynamic Analysis) پیشرفته
• 88. بررسی باگ بانتی ها (Bug Bounties)
• 89. بهترین شیوه های توسعه امن
• 90. بروزرسانی مداوم دانش امنیتی
• 91. همکاری با جامعه امنیتی
• 92. مطالعه گزارش های ممیزی واقعی
• 93. تجزیه و تحلیل آسیب پذیری های گزارش شده
• 94. نوشتن قراردادهای غیر قابل تغییر (Immutable)
• 95. بررسی قراردادهای پروکسی (Proxy Contracts)
• 96. بررسی امنیت قراردادهای NFT
• 97. بررسی امنیت قراردادهای GameFi
• 98. امنیت در زنجیره های لایه دوم (Layer 2)
• 99. مقیاس پذیری و امنیت
• 100. آشنایی با ZK-Rollups