نوفا: نظام جديد من zk-SNARKs

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

المزايا الرئيسية لـ Nova تشمل:

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

توجد بعض العيوب في Nova:

• بسبب استخدام R1CS المريح، قد تكون الإثباتات ليست قوية مثل أنظمة R1CS التقليدية
• التنفيذ معقد نسبيًا، وصعوبة الاستخدام والصيانة أعلى.

على الرغم من ذلك، لا تزال Nova تحتل مكانة مهمة في مجال zk-SNARKs. لقد فتحت طرقًا جديدة لتطوير zk-SNARKs، مما يجعل عملية إنشاء وإثبات البرهان أكثر كفاءة، ويمكنها التعامل مع مهام البرهان الأكثر تعقيدًا، مما يزيد من نطاق تطبيق zk-SNARKs.

تشمل التنفيذ الأساسي لـ Nova:

• تعريف وتنفيذ R1CS و R1CS المريح
• هياكل البيانات والخوارزميات المرتبطة بالحسابات متعددة الحدود
• تنفيذ بروتوكول Sumcheck
• تنفيذ方案 غير التفاعلية للتقليص (NIFS)
• خطة الالتزام متعددة الحدود المستندة إلى إثبات المنتج الداخلي

تساهم هذه المكونات مجتمعة في نظام zk-SNARKs الفعال من Nova، مما يساهم في التقدم في تقنية zk-SNARKs.