کتاب جامع SNARKs، NIZKs و تبادل کلید - از مفاهیم پایه تا پیاده‌سازی

انتخاب پلن

افزودنی‌های اختیاری

انتخاب پلن برای ادامه خرید الزامی است.

پرداخت اقساطی
در صورت خرید اقساطی هر قسط: 62,488 تومان
۴ قسط ماهانه. بدون سود، چک و ضامن.
پرداخت اقساطی با دیجی‌پی پرداخت اقساطی با ترب‌پی

📚 محتوای این محصول آموزشی (پکیج کامل)

💡 این محصول یک نسخهٔ کامل و جامع است

تمامی محتوای آموزشی این کتاب در قالب یک بسته‌ی کامل و یکپارچه ارائه می‌شود و شامل تمام نسخه‌ها و فایل‌های موردنیاز برای یادگیری است.

🎁 محتویات کامل بسته دانلودی

🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل کتاب‌ها، تمرین‌ها و خودآزمایی .


ℹ️ نکات مهم هنگام خرید

  • این محصول به صورت فایل دانلودی کامل ارائه می‌شود و نسخهٔ چاپی ندارد.
  • توجه: لینک‌های اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال می‌شوند.
  • دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
  • برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های کتاب همانجا برای شما ارسال گردد.)
  • اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینک‌ها را دریافت نکرده‌اید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینک‌ها دوباره ارسال شوند.

💬 راه‌های ارتباطی پشتیبانی:
واتس‌اپ یا هر پیام رسان داخلی یا پیامک: 09395106248
تلگرام: @ma_limbs

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

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

عنوان دوره: دوره جامع SNARKs، NIZKs و تبادل کلید - از مفاهیم پایه تا پیاده‌سازی

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

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

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

  • 1. مقدمه‌ای بر اثبات‌های رمزنگاری و تعاملی بودن
  • 2. تعریف سیستم اثبات تعاملی (Interactive Proof)
  • 3. نقش Verifier و Prover در اثبات تعاملی
  • 4. مفهوم کامل بودن (Completeness) و درستی (Soundness)
  • 5. مقدمه‌ای بر اثبات‌های غیرتعاملی (NIZK)
  • 6. تاریخچه و انگیزه ایجاد SNARKs
  • 7. تفاوت SNARKs با اثبات‌های کلاسیک
  • 8. مفهوم مختصر بودن (Succinctness) در SNARKs
  • 9. چارچوب امنیتی SNARKs: Soundness تطبیقی
  • 10. مقدمه‌ای بر توابع دروازه‌ای (Hash Functions) در اثبات
  • 11. مدارهای حسابی (Arithmetic Circuits) به عنوان زبان اثبات
  • 12. تبدیل یک مسئله محاسباتی به مدار حسابی
  • 13. مقدمه‌ای بر سیستم‌های شاهد (Witness) و رابطه (Relation)
  • 14. سیستم اثبات Pinocchio: معماری کلی
  • 15. QAP (Quadratic Arithmetic Program) : مفهوم و ساختار
  • 16. تبدیل مدار حسابی به QAP
  • 17. مفهوم چندجمله‌ای در اثبات SNARK
  • 18. تکنیک Linear PCP (Probabilistically Checkable Proof)
  • 19. الگوریتم Key Generation در SNARKs (Proving Key و Verification Key)
  • 20. ساخت Proving Key با استفاده از متن‌های رمزنگاری شده
  • 21. الگوریتم Prover: تولید اثبات از روی QAP
  • 22. الگوریتم Verifier: تأیید اثبات با استفاده از Verification Key
  • 23. نقش جفت‌سازی (Pairing) در SNARKs
  • 24. مفاهیم پایه جفت‌سازی روی منحنی‌های بیضوی
  • 25. مقدمه‌ای بر منحنی‌های بیضوی مناسب برای SNARKs (مثل BN254)
  • 26. استفاده از جفت‌سازی برای بررسی برابری چندجمله‌ای‌ها
  • 27. مفهوم CRS (Common Reference String) در SNARKs
  • 28. مقدمه‌ای بر NIZK (Non-Interactive Zero-Knowledge)
  • 29. تفاوت NIZK با SNARK: تعریف و کاربردها
  • 30. سیستم اثبات NIZK مبتنی بر رمزنگاری کلید عمومی
  • 31. مقدمه‌ای بر اثبات‌های NIZK با استفاده از Σ-protocols
  • 32. تبدیل Σ-protocol به NIZK با تکنیک Fiat-Shamir
  • 33. تکنیک Fiat-Shamir: تبدیل تعاملی به غیرتعاملی
  • 34. نقش توابع دروازه‌ای در تکنیک Fiat-Shamir
  • 35. مفهوم Random Oracle Model در اثبات NIZK
  • 36. مقدمه‌ای بر zk-SNARKs: ترکیب دانش صفر با مختصر بودن
  • 37. تولید اثبات با دانش صفر (Zero-Knowledge) در SNARK
  • 38. تکنیک‌های پنهان‌سازی شاهد در اثبات (مثل Blinding)
  • 39. مقدمه‌ای بر سیستم اثبات Groth16
  • 40. معماری و کارایی سیستم Groth16
  • 41. مقایسه Groth16 با Pinocchio از نظر اندازه اثبات
  • 42. مقدمه‌ای بر PLONK: یک سیستم اثبات جهانی
  • 43. مفهوم Universal Setup در PLONK
  • 44. تفاوت PLONK با سیستم‌های وابسته به مدار
  • 45. مقدمه‌ای بر اثبات‌های مبتنی بر Polynomial Commitment
  • 46. مفهوم Commitment Scheme برای چندجمله‌ای‌ها
  • 47. استفاده از KZG (Kate-Zaverucha-Goldberg) Commitment
  • 48. مقدمه‌ای بر تبادل کلید (Key Exchange) در رمزنگاری
  • 49. پروتکل تبادل کلید Diffie-Hellman (DH)
  • 50. امنیت تبادل کلید در برابر حملات Man-in-the-Middle
  • 51. استفاده از اثبات NIZK برای احراز هویت در تبادل کلید
  • 52. پروتکل STS (Station-to-Station) با اثبات NIZK
  • 53. پروتکل تبادل کلید مبتنی بر هویت (IBKE)
  • 54. نقش SNARKs در تبادل کلید با اثبات صحت کلید
  • 55. مفهوم Key Exchange با اثبات مالکیت کلید خصوصی
  • 56. تبادل کلید امن در برابر حملات کوانتومی: مقدمه
  • 57. مقدمه‌ای بر رمزنگاری مبتنی on Lattice برای تبادل کلید
  • 58. پروتکل NewHope و اثبات صحت آن
  • 59. پروتکل Kyber و نقش اثبات‌ها در امنیت آن
  • 60. ترکیب SNARKs با Key Exchange برای اثبات هویت
  • 61. مثال عملی: اثبات صحت یک کلید عمومی با SNARK
  • 62. مقدمه‌ای بر اثبات‌های تجمعی (Aggregation Proofs)
  • 63. مفهوم Batch Verification در اثبات‌های NIZK
  • 64. استفاده از SNARKs برای تجمیع چند اثبات
  • 65. مقدمه‌ای بر اثبات‌های بازگشتی (Recursive SNARKs)
  • 66. معماری IVC (Incrementally Verifiable Computation)
  • 67. کاربرد SNARKs بازگشتی در بلاک‌چین
  • 68. مقدمه‌ای بر زبان‌های توصیف مدار (مانند Circom)
  • 69. نوشتن یک مدار ساده در Circom
  • 70. کامپایل مدار Circom به QAP
  • 71. تولید Proving Key و Verification Key با ابزار SnarkJS
  • 72. اجرای Prover با SnarkJS برای یک مدار ساده
  • 73. اجرای Verifier با SnarkJS و تأیید اثبات
  • 74. پیاده‌سازی یک تبادل کلید ساده با اثبات NIZK در پایتون
  • 75. مقایسه عملکرد SNARKs با NIZK کلاسیک
  • 76. چالش‌های امنیتی در پیاده‌سازی SNARKs
  • 77. حملات احتمالی به سیستم‌های SNARK (مثل Weak Fiat-Shamir)
  • 78. روش‌های بهینه‌سازی اثبات‌ها برای کارایی بالا
  • 79. مقدمه‌ای بر اثبات‌های transparent (مثل STARKs)
  • 80. تفاوت STARKs با SNARKs از نظر Setup
  • 81. کاربردهای عملی SNARKs در سیستم‌های غیرمتمرکز
  • 82. نقش SNARKs در حریم خصوصی تراکنش‌ها
  • 83. مرور کلی بر پروتکل‌های تبادل کلید مدرن با اثبات
  • 84. جمع‌بندی و مسیرهای پیشرفته در اثبات‌های رمزنگاری

📚 محتوای این محصول آموزشی (پکیج کامل)

💡 این محصول یک نسخهٔ کامل و جامع است

تمامی محتوای آموزشی این کتاب در قالب یک بسته‌ی کامل و یکپارچه ارائه می‌شود و شامل تمام نسخه‌ها و فایل‌های موردنیاز برای یادگیری است.

🎁 محتویات کامل بسته دانلودی

🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل کتاب‌ها، تمرین‌ها و خودآزمایی .


ℹ️ نکات مهم هنگام خرید

  • این محصول به صورت فایل دانلودی کامل ارائه می‌شود و نسخهٔ چاپی ندارد.
  • توجه: لینک‌های اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال می‌شوند.
  • دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
  • برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های کتاب همانجا برای شما ارسال گردد.)
  • اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینک‌ها را دریافت نکرده‌اید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینک‌ها دوباره ارسال شوند.

💬 راه‌های ارتباطی پشتیبانی:
واتس‌اپ یا هر پیام رسان داخلی یا پیامک: 09395106248
تلگرام: @ma_limbs

نظرات

هنوز نظری ثبت نشده است.

وارد شوید تا نظر ثبت کنید.