فلش‌کارت‌های آموزشی آموزش جامع اثبات‌های دانش‌صفر (zk-SNARKs) و پروتکل Halo2 برای توسعه‌دهندگان بلاک‌چین

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

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

عنوان دوره: دوره آموزش جامع اثبات‌های دانش‌صفر (zk-SNARKs) و پروتکل Halo2 برای توسعه‌دهندگان بلاک‌چین

موضوع کلی: علوم رایانه و فناوری‌های نوین پردازش داده

موضوع میانی: رمزنگاری کاربردی و امنیت محاسباتی

📋 سرفصل‌های دوره

• 1. مبانی و مفاهیم بنیادین اثبات‌های دانش‌صفر
• 2. نقش اثبات‌های دانش‌صفر در امنیت و حریم خصوصی بلاک‌چین
• 3. آشنایی با سیستم‌های اثبات تعاملی و غیرتعاملی
• 4. ساختار ریاضی و ویژگی‌های کلیدی zk-SNARKs
• 5. مفاهیم پایه در رمزنگاری منحنی‌های بیضوی
• 6. آشنایی با پروتکل Halo2 و مزایای آن نسبت به سیستم‌های سنتی
• 7. معرفی زبان برنامه‌نویسی Rust برای توسعه در محیط Halo2
• 8. نصب و راه‌اندازی محیط توسعه پروتکل Halo2
• 9. مفهوم مدار در سیستم‌های اثبات دانش‌صفر
• 10. آشنایی با سیستم‌های محدودیت‌بندی (Constraint Systems) در Halo2
• 11. درک مفهوم آرگومان‌های چندجمله‌ای (Polynomial Commitments)
• 12. مبانی طرح تعهدات KZG و تفاوت آن با Inner Product Argument
• 13. ساختار ستونی و چیدمان داده‌ها در طراحی مدار Halo2
• 14. آشنایی با گیت‌های سفارشی (Custom Gates) و بهینه‌سازی آن‌ها
• 15. کاربرد جداول جستجو (Lookup Tables) در کاهش پیچیدگی مدارها
• 16. پیاده‌سازی محدودیت‌های منطقی ساده در Halo2
• 17. مفاهیم مربوط به گواهی‌دهنده (Prover) و تاییدکننده (Verifier)
• 18. فرآیند تولید اثبات در چارچوب Halo2
• 19. مراحل تایید اثبات و بررسی صحت محاسبات
• 20. مدیریت حافظه و بهینه‌سازی عملکرد در پروتکل Halo2
• 21. روش‌های دیباگ و عیب‌یابی مدارهای طراحی شده
• 22. طراحی مدارهای اثبات برای تراکنش‌های محرمانه
• 23. پیاده‌سازی توابع هش در محیط مدار
• 24. کاربرد درخت‌های مرکل در اثبات‌های دانش‌صفر
• 25. طراحی مدارهای احراز هویت با استفاده از Halo2
• 26. آشنایی با سیستم‌های اثبات بازگشتی (Recursive SNARKs)
• 27. مفاهیم تجمیع اثبات‌ها (Proof Aggregation) در مقیاس‌بندی بلاک‌چین
• 28. امنیت در پروتکل‌های اثبات دانش‌صفر و حملات رایج
• 29. بررسی استانداردهای امنیت سایبری در توسعه سامانه‌های مبتنی بر بلاک‌چین
• 30. روش‌های تست واحد (Unit Testing) برای مدارها
• 31. بهینه‌سازی مصرف منابع در تولید اثبات‌های پیچیده
• 32. یکپارچه‌سازی پروتکل Halo2 با شبکه‌های بلاک‌چین
• 33. ملاحظات مربوط به مقیاس‌پذیری و کارایی در محیط‌های واقعی
• 34. بررسی معماری سیستم‌های مبتنی بر دانش‌صفر در حاکمیت داده‌ها
• 35. تکنیک‌های کاهش حجم داده‌های ارسالی در اثبات‌ها
• 36. تحلیل هزینه‌های محاسباتی در زنجیره (On-chain) و خارج از زنجیره (Off-chain)
• 37. پروژه‌های عملی و پیاده‌سازی یک مدار جامع در Halo2
• 38. خلاصه و جمع‌بندی مسیر توسعه‌دهندگان پروتکل‌های رمزنگاری