فلش‌کارت‌های آموزشی مبانی و کاربردهای SNARKs در سیستم‌های غیرمتمرکز

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

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

عنوان دوره: دوره مبانی و کاربردهای SNARKs در سیستم‌های غیرمتمرکز

موضوع کلی: رمزنگاری و امنیت اطلاعات

موضوع میانی: اثبات‌های رمزنگاری پیشرفته

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

• 1. مقدمه‌ای بر SNARKs و تاریخچه مختصر
• 2. مفاهیم پایه اثبات‌های دانش صفر
• 3. تعامل‌پذیری و غیرتعامل‌پذیری در اثبات‌ها
• 4. معماری کلی یک سیستم SNARK
• 5. مقدمه‌ای بر محاسبات حسابی و توابع
• 6. مدل‌های امنیتی در اثبات‌های رمزنگاری
• 7. صداقت، کامل بودن و دانش صفر
• 8. تفاوت SNARKs با STARKs و Bulletproofs
• 9. مروری بر سیستم‌های اثبات تعاملی
• 10. روش تبدیل یک مسئله به مدار حسابی
• 11. مدارهای حسابی و عملیات دودویی
• 12. مقدمه‌ای بر قیدهای فاصله (R1CS)
• 13. تبدیل R1CS به فرم مربعی (QAP)
• 14. چندجمله‌ای‌ها و درون‌یابی لاگرانژ
• 15. ریشه‌های چندجمله‌ای و آزمون‌های تقسیم
• 16. تعهدهای چندجمله‌ای (Polynomial Commitments)
• 17. تعهدهای مبتنی بر منحنی بیضوی
• 18. تعهدهای مبتنی بر توابع درهم‌ساز
• 19. مقدمه‌ای بر جفت‌سازی (Pairing) در منحنی بیضوی
• 20. کاربرد جفت‌سازی در اثبات‌های فشرده
• 21. الگوریتم گروت-ساها (Groth-Sahai)
• 22. طرح اثبات گروت (Groth16)
• 23. مراحل راه‌اندازی اولیه (Trusted Setup)
• 24. مراسم راه‌اندازی (Ceremony) و امنیت آن
• 25. انواع راه‌اندازی: متمرکز و غیرمتمرکز
• 26. انتشار کلیدهای ارزیاب و تصدیق‌کننده
• 27. ایجاد یک اثبات با طرح گروت
• 28. تصدیق یک اثبات با طرح گروت
• 29. مدل مرجع تصادفی (Random Oracle Model)
• 30. مدل مرجع رشته مشترک (Common Reference String)
• 31. استفاده از توابع درهم‌ساز در SNARKs
• 32. مقدمه‌ای بر زبان‌های توصیف مدار (مانند Circom)
• 33. نوشتن یک مدار ساده در Circom
• 34. تولید کلیدها و اثبات با ابزارهای مرتبط
• 35. بررسی کارایی و اندازه اثبات‌ها
• 36. محدودیت‌های SNARKs (نیاز به راه‌اندازی اولیه)
• 37. مقایسه SNARKs با سیستم‌های اثبات دیگر
• 38. معرفی سیستم‌های Plonk و Marlin
• 39. مفهوم اثبات‌های بازگشتی (Recursive SNARKs)
• 40. کاربرد اثبات‌های بازگشتی در زنجیره بلوکی
• 41. مقیاس‌پذیری بلاکچین با SNARKs
• 42. تأیید تراکنش‌ها با اثبات‌های فشرده
• 43. حریم خصوصی در قراردادهای هوشمند
• 44. استفاده از SNARKs در هویت خودمختار (DID)
• 45. مدیریت اعتبارنامه‌های قابل تأیید با SNARKs
• 46. امنیت در سیستم‌های رأی‌گیری الکترونیکی
• 47. مقاومت در برابر حملات کوانتومی
• 48. بهینه‌سازی محاسبات در SNARKs
• 49. الگوریتم‌های چندجمله‌ای سریع (FFT)
• 50. مدیریت حافظه در اثبات‌های بزرگ
• 51. عیب‌یابی و تست مدارهای SNARK
• 52. ابزارهای محبوب پیاده‌سازی SNARKs
• 53. مطالعه موردی: Zcash و زنجیره بلوکی
• 54. مطالعه موردی: پروتکل Mina و فشرده‌سازی
• 55. مطالعه موردی: zk-Rollup در اتریوم
• 56. چالش‌های پیاده‌سازی عملی SNARKs
• 57. روندهای آینده و تحقیقات جدید