Nova: تحليل نظام zk-SNARKs الجديد الذي طورته مايكروسوفت

robot
إنشاء الملخص قيد التقدم

تحليل مشروع نوفا

نوفا هو نظام جديد لإثبات المعرفة الصفرية طورته مايكروسوفت، يستخدم تقنية نظام القيود من الرتبة الأولى المريحة لتحسين كفاءة ومرونة الإثبات. إنه يحتل مكانة مهمة في مجال إثبات المعرفة الصفرية، ويفتح إمكانيات جديدة للتطبيقات على نطاق واسع.

المزايا الأساسية

  • استخدام تقنية R1CS المريحة، تقليل استخدام العشوائية، وتحسين كفاءة الإثبات بشكل كبير
  • يدعم الحساب التزايدي، يمكن حساب الدوال المعقدة خطوة بخطوة
  • يدعم حسابات متعددة الحدود، يمكنه معالجة مهام إثبات أكثر تعقيدًا

الوحدات الرئيسية

تحتوي الشيفرة المصدرية لـ Nova بشكل أساسي على الوحدات الهامة التالية:

  1. bellperson: تنفيذ وظيفة توليد R1CS ذات الصلة

  2. الدائرة: تعريف الدائرة المعززة لبروتوكول نوفا

  3. الأدوات: تنفيذ مجموعة متنوعة من أدوات التشفير

  4. nifs: تنفيذ خطة الطي غير التفاعلية

  5. مزود: يوفر مكونات أساسية مثل الالتزامات المتعددة الحدود، ودوال التجزئة وغيرها

  6. r1cs: تعريف الهياكل والعمليات البيانات المتعلقة بـ R1CS

  7. سبارتان: تنفيذ بروتوكول سبارتان

  8. الصفات: تعريف واجهات الخصائص المختلفة

الهياكل البيانات الرئيسية

  • R1CSShape: تمثل شكل مصفوفة R1CS
  • R1CSWitness: تمثل الشاهد في حالة R1CS
  • R1CSInstance: تمثل مثيل R1CS
  • RelaxedR1CSWitness: تشير إلى الشاهد الخاص بمثال R1CS المسترخى
  • RelaxedR1CSInstance: يمثل مثال R1CS المسترخى

الخوارزمية الأساسية

  • خوارزمية Sumcheck: تستخدم للتحقق من جمع كثيرات الحدود
  • تقييم كثيرات الحدود: إثبات قيمة كثير الحدود عند نقطة معينة
  • الطي غير التفاعلي: دمج عدة إثباتات في إثبات واحد

قيمة التطبيق

نظام نوفا يوفر أدوات قوية لبناء إثباتات المعرفة الصفرية بكفاءة، ويمكن استخدامها على نطاق واسع في مجالات مثل blockchain، والحوسبة الخصوصية، مما يعزز التطبيق الواسع لتقنية المعرفة الصفرية.

شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
  • أعجبني
  • 5
  • مشاركة
تعليق
0/400
SerumSquirtervip
· منذ 20 س
مايكروسوفت أخيرًا أصبحت على الطريق
شاهد النسخة الأصليةرد0
OldLeekMastervip
· منذ 20 س
هذه الموجة من مايكروسوفت كبيرة جدًا!
شاهد النسخة الأصليةرد0
MEVVictimAlliancevip
· منذ 20 س
مايكروسوفت هذه المرة حقا ثور
شاهد النسخة الأصليةرد0
NotSatoshivip
· منذ 20 س
هذه هي المعرفة الصفرية مرة أخرى ههه
شاهد النسخة الأصليةرد0
UncleLiquidationvip
· منذ 21 س
لماذا يتم كل هذا في المعرفة الصفرية؟
شاهد النسخة الأصليةرد0
  • تثبيت