دانلود رایگان دوره اثبات‌های بدون افشای اطلاعات در Rust 2023-8

معرفی دوره

در این دوره جامع به زبان Rust به دنیای اثبات‌های بدون افشای اطلاعات (Zero-Knowledge Proofs) وارد می‌شویم. شما با مفاهیم پایه‌ای مرتبط با رمزنگاری پیشرفته، ساختارهای ریاضی و نحوه پیاده‌سازی پروتکل‌های ZKP در محیط Rust آشنا خواهید شد. هدف اصلی این دوره فراهم کردن مهارت‌های لازم برای توسعه‌دهندگان بلاک‌چین، رمزنگاران و مهندسان نرم‌افزار است تا بتوانند سیستم‌های امن و مقیاس‌پذیر مبتنی بر zk-SNARK، zk-STARK و سایر تکنیک‌های نوین را بسازند.

پیش‌نیازها

• آشنایی عملی با زبان Rust (متغیرها، مالکیت، لایف‌تایم و ماکروها)
• مفاهیم پایه‌ای در کریپتوگرافی (رمزنگاری متقارن و نامتقارن)
• دانش مقدماتی از جبر خطی و نظریه اعداد
• آشنایی با ساختار داده‌ها و الگوریتم‌های پایه

  اگر در یکی از حوزه‌های بالا نیاز به تقویت دارید، پیش از شروع دوره منابعی مثل «مبانی Rust» و «ریاضیات برای رمزنگاری» را مطالعه کنید.

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

  • بخش 1: مقدمه بر اثبات‌های بدون افشای اطلاعات و تاریخچه
  • بخش 2: مفاهیم ریاضی مورد نیاز (حلقه‌ها، گروه‌ها، منحنی‌های بیضوی)
  • بخش 3: آشنایی با کریت‌های رمزنگاری در Rust (crateهای arkworks، zkcrypto)
  • بخش 4: طراحی و پیاده‌سازی zk-SNARK ساده
  • بخش 5: zk-STARK، PLONK و Bulletproofs
  • بخش ۶: تمرین‌های عملی و کدهای نمونه
  • بخش ۷: بهینه‌سازی عملکرد و استقرار در وب‌سرورها
  • بخش ۸: پروژه نهایی و نکات امنیتی در تولید

    آنچه دانشجو یاد می‌گیرد

    • نحوه کارکرد و ساختار پروتکل‌های zk-SNARK و zk-STARK
    • مدیریت کلیدهای عمومی و خصوصی و پروتکل‌های چندجانبه (MPC)
    • به‌کارگیری crateهای arkworks-rs و bellman در Rust
    • بهینه‌سازی محاسبات حلقه‌ای و اثبات‌های مبتنی بر منحنی بیضوی
    • ایجاد اثبات‌های عملی مثل اثبات محدوده (Range Proof) و اثبات مالکیت
    • ادغام ZKP در قراردادهای هوشمند و وب‌اپلیکیشن‌ها از طریق WASM

      مزایا و کاربردها

      استفاده از اثبات‌های بدون افشای اطلاعات مزایای فراوانی دارد:

      • محافظت از حریم خصوصی کاربران در تراکنش‌های بلاک‌چین
      • قابلیت احراز هویت امن در سیستم‌های توزیع‌شده
      • مقیاس‌پذیری و کاهش حجم معامله‌ها با تولید اثبات‌های سبک
      • افزایش اعتماد با اعلام صحت اطلاعات بدون افشای جزئیات

        در صنایع مالی، رای‌گیری الکترونیکی، مدیریت هویت و زنجیره تأمین کاربرد گسترده‌ای دارد.

        مثال‌های عملی

        در این بخش به دو مثال کاربردی می‌پردازیم:

        • اثبات محدوده عدد: بدون افشای مقدار واقعی، اثبات می‌کنیم که یک عدد در بازه مشخص است.
        • اثبات مالکیت کلید: ثابت می‌کنیم که دارنده یک کلید خصوصی به یک آدرس بلاک‌چین تعلق دارد، بدون افشای خود کلید.

          کد نمونه زیر نحوه ایجاد یک zk-SNARK ساده را نشان می‌دهد:

          use ark_groth16: : {generate_random_parameters, create_random_proof, verify_proof};
          use ark_bls12_381: : Bls12_381;/ / تعریف مدار و پارامترها...
          
           
           
          نحوه دانلود و نصب 
          برای دانلود رایگان این دوره:  
           
          به صفحه اصلی دوره در مراجعه کنید. 
          لینک اختصاصی دریافت رایگان را کلیک نمایید. 
          با حساب کاربری خود وارد شوید یا ثبت‌نام کنید. 
          دوره به کتابخانه شما اضافه شده و می‌توانید ویدئوها را به صورت آفلاین دانلود کنید.  
          همچنین کدهای پروژه را از مخزن GitHub دوره دریافت نموده و با دستور cargo build بیلد کنید.
           
           
          نکات تکمیلی و منابع 
           
          مطالعه مستندات رسمی arkworks: arkworks.rs 
          کتاب “Zero Knowledge Proofs: From Theory to Practice” 
          مقالات اخیر در کنفرانس‌های Crypto و Eurocrypt 
          پروژه‌های متن‌باز مثل Bulletproofs و Plonky2  
          با اتمام این دوره، شما قادر خواهید بود پروژه‌های پیچیده مبتنی بر اثبات‌های بدون افشا را در محیط Rust طراحی و پیاده‌سازی کنید و در تیم‌های بلاک‌چین و امنیت سایبری بدرخشید.
           
          
          
          
              
          نظرات
          
                  
          هنوز نظری ثبت نشده است.
              
                  
          وارد شوید تا نظر ثبت کنید.