نوفا هو نظام جديد لإثبات المعرفة الصفرية طورته مايكروسوفت، يستخدم تقنية نظام القيود من الرتبة الأولى المريحة لتحسين كفاءة ومرونة الإثبات. إنه يحتل مكانة مهمة في مجال إثبات المعرفة الصفرية، ويفتح إمكانيات جديدة للتطبيقات على نطاق واسع.
المزايا الأساسية
استخدام تقنية R1CS المريحة، تقليل استخدام العشوائية، وتحسين كفاءة الإثبات بشكل كبير
يدعم الحساب التزايدي، يمكن حساب الدوال المعقدة خطوة بخطوة
يدعم حسابات متعددة الحدود، يمكنه معالجة مهام إثبات أكثر تعقيدًا
الوحدات الرئيسية
تحتوي الشيفرة المصدرية لـ Nova بشكل أساسي على الوحدات الهامة التالية:
bellperson: تنفيذ وظيفة توليد R1CS ذات الصلة
الدائرة: تعريف الدائرة المعززة لبروتوكول نوفا
الأدوات: تنفيذ مجموعة متنوعة من أدوات التشفير
nifs: تنفيذ خطة الطي غير التفاعلية
مزود: يوفر مكونات أساسية مثل الالتزامات المتعددة الحدود، ودوال التجزئة وغيرها
r1cs: تعريف الهياكل والعمليات البيانات المتعلقة بـ R1CS
سبارتان: تنفيذ بروتوكول سبارتان
الصفات: تعريف واجهات الخصائص المختلفة
الهياكل البيانات الرئيسية
R1CSShape: تمثل شكل مصفوفة R1CS
R1CSWitness: تمثل الشاهد في حالة R1CS
R1CSInstance: تمثل مثيل R1CS
RelaxedR1CSWitness: تشير إلى الشاهد الخاص بمثال R1CS المسترخى
RelaxedR1CSInstance: يمثل مثال R1CS المسترخى
الخوارزمية الأساسية
خوارزمية Sumcheck: تستخدم للتحقق من جمع كثيرات الحدود
تقييم كثيرات الحدود: إثبات قيمة كثير الحدود عند نقطة معينة
الطي غير التفاعلي: دمج عدة إثباتات في إثبات واحد
قيمة التطبيق
نظام نوفا يوفر أدوات قوية لبناء إثباتات المعرفة الصفرية بكفاءة، ويمكن استخدامها على نطاق واسع في مجالات مثل blockchain، والحوسبة الخصوصية، مما يعزز التطبيق الواسع لتقنية المعرفة الصفرية.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
Nova: تحليل نظام zk-SNARKs الجديد الذي طورته مايكروسوفت
تحليل مشروع نوفا
نوفا هو نظام جديد لإثبات المعرفة الصفرية طورته مايكروسوفت، يستخدم تقنية نظام القيود من الرتبة الأولى المريحة لتحسين كفاءة ومرونة الإثبات. إنه يحتل مكانة مهمة في مجال إثبات المعرفة الصفرية، ويفتح إمكانيات جديدة للتطبيقات على نطاق واسع.
المزايا الأساسية
الوحدات الرئيسية
تحتوي الشيفرة المصدرية لـ Nova بشكل أساسي على الوحدات الهامة التالية:
bellperson: تنفيذ وظيفة توليد R1CS ذات الصلة
الدائرة: تعريف الدائرة المعززة لبروتوكول نوفا
الأدوات: تنفيذ مجموعة متنوعة من أدوات التشفير
nifs: تنفيذ خطة الطي غير التفاعلية
مزود: يوفر مكونات أساسية مثل الالتزامات المتعددة الحدود، ودوال التجزئة وغيرها
r1cs: تعريف الهياكل والعمليات البيانات المتعلقة بـ R1CS
سبارتان: تنفيذ بروتوكول سبارتان
الصفات: تعريف واجهات الخصائص المختلفة
الهياكل البيانات الرئيسية
الخوارزمية الأساسية
قيمة التطبيق
نظام نوفا يوفر أدوات قوية لبناء إثباتات المعرفة الصفرية بكفاءة، ويمكن استخدامها على نطاق واسع في مجالات مثل blockchain، والحوسبة الخصوصية، مما يعزز التطبيق الواسع لتقنية المعرفة الصفرية.