نوفا هو نظام جديد من إثباتات المعرفة الصفرية تم تطويره بواسطة مايكروسوفت، يستخدم تقنية أنظمة القيود المرتخية من الرتبة 1 (Relaxed Rank-1 Constraint Systems، Relaxed R1CS) لتحسين كفاءة ومرونة الإثبات.
مزايا نوفا
الميزة الرئيسية لـ Nova تكمن في استخدام تقنية R1CS المنفصلة. تتطلب أنظمة R1CS التقليدية عشوائية كبيرة خلال عملية الإثبات، مما يؤدي إلى تعقيد الوقت المستغرق في توليد وإثبات الإثبات. من خلال R1CS المنفصلة، يسمح Nova باستخدام عشوائية أقل في الإثبات، مما يحسن بشكل كبير من كفاءة الإثبات.
تدعم نوفا أيضًا الحساب التزايدي، مما يسمح بحساب الوظائف المعقدة خطوة بخطوة بدلاً من حساب الوظيفة بالكامل دفعة واحدة. هذا مفيد جدًا عند التعامل مع البيانات الكبيرة أو إجراء حسابات معقدة. بالإضافة إلى ذلك، تدعم نوفا الحساب متعدد الحدود، مما يمكنها من التعامل مع مهام الإثبات الأكثر تعقيدًا.
عيوب نوفا
توجد بعض العيوب أيضًا في Nova. أولاً، نظرًا لاستخدام R1CS المريح، قد تكون إثباتاته أقل قوة من أنظمة R1CS التقليدية. يسمح R1CS المريح باستخدام عشوائية أقل، مما قد يقلل من أمان الإثبات. ومع ذلك، اتخذ مطورو Nova تدابير لمعالجة هذه المشكلة، مثل استخدام خوارزميات تشفير أكثر قوة واستراتيجيات إثبات أكثر تعقيدًا.
ثانياً، تنفيذ Nova معقد نسبياً، مما قد يزيد من صعوبة الاستخدام والصيانة. تستخدم Nova العديد من تقنيات التشفير المتقدمة، مثل حسابات متعددة الحدود، عمليات المجموعة، والأوراكل العشوائية، مما يتطلب فهماً عميقاً لهذه التقنيات لاستخدام وتعديل Nova بشكل فعال.
وضع نوفا في مجال zk-SNARKs
تحتل Nova مكانة مهمة في مجال zk-SNARKs. لقد مهد ظهورها الطريق لتطوير zk-SNARKs. تكنولوجيا R1CS المريحة التي تعتمدها Nova تجعل من إنشاء وإثبات البرهان أكثر كفاءة، وهو أمر بالغ الأهمية لتطبيقات zk-SNARKs على نطاق واسع. بالإضافة إلى ذلك، تدعم Nova الحساب التزايدي والحساب متعدد الحدود، مما يمكنها من معالجة مهام البرهان الأكثر تعقيدًا، مما يوسع نطاق تطبيق zk-SNARKs.
تحليل كود Nova
الكود المصدري لـ Nova يتضمن بشكل رئيسي المجالات الهامة التالية:
bellperson: نفذت الوظائف المتعلقة بـ R1CS (أنظمة القيود من الرتبة الأولى).
gadgets: تشمل الأدوات اللازمة لبناء zk-SNARKs.
provider：يتضمن بعض شفرة الموفرين، مثل تنفيذ خوارزمية تجزئة Keccak.
spartan：يتضمن تنفيذ بروتوكول Spartan.
traits: تعريف بعض السلوكيات العامة في Rust traits.
تشمل التنفيذ الأساسي لـ Nova:
تعريف وتنفيذ R1CS و R1CS المرتخية
حساب وتقييم متعددات الحدود
خوارزمية Sumcheck
-方案 غير التفاعلي للطي (NIFS)
الحل القائم على IPA للتعهدات المتعددة
تشكل هذه الوحدات والتنفيذات أساس نظام نوفا الفعال لل zk-SNARKs.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 22
أعجبني
22
8
مشاركة
تعليق
0/400
PuzzledScholar
· 07-06 09:28
إنه معقد بعض الشيء.. لا أفهم شيئًا على الإطلاق.
شاهد النسخة الأصليةرد0
ArbitrageBot
· 07-05 11:57
ما زلت تبحث عن شيء ما، أسهم A ستنفجر.
شاهد النسخة الأصليةرد0
BtcDailyResearcher
· 07-04 18:40
الكفاءة العالية تثير القلق بشأن الأمان...
شاهد النسخة الأصليةرد0
DefiPlaybook
· 07-03 22:18
وفقًا لأحدث تحليل للبيانات، تم تحسين الأداء بنسبة 42%+
شاهد النسخة الأصليةرد0
TopBuyerBottomSeller
· 07-03 10:19
آه، ما أكثر الأمور التي تتلاعب بها مايكروسوفت.
شاهد النسخة الأصليةرد0
TokenAlchemist
· 07-03 10:17
مه... حل zk آخر يضحي بالأمان من أجل القدرة على المعالجة
نوفا: نظام إثبات المعرفة صفر الفعال الذي طورته مايكروسوفت
نوفا: نظام جديد عالي الكفاءة للـ zk-SNARKs
نوفا هو نظام جديد من إثباتات المعرفة الصفرية تم تطويره بواسطة مايكروسوفت، يستخدم تقنية أنظمة القيود المرتخية من الرتبة 1 (Relaxed Rank-1 Constraint Systems، Relaxed R1CS) لتحسين كفاءة ومرونة الإثبات.
مزايا نوفا
الميزة الرئيسية لـ Nova تكمن في استخدام تقنية R1CS المنفصلة. تتطلب أنظمة R1CS التقليدية عشوائية كبيرة خلال عملية الإثبات، مما يؤدي إلى تعقيد الوقت المستغرق في توليد وإثبات الإثبات. من خلال R1CS المنفصلة، يسمح Nova باستخدام عشوائية أقل في الإثبات، مما يحسن بشكل كبير من كفاءة الإثبات.
تدعم نوفا أيضًا الحساب التزايدي، مما يسمح بحساب الوظائف المعقدة خطوة بخطوة بدلاً من حساب الوظيفة بالكامل دفعة واحدة. هذا مفيد جدًا عند التعامل مع البيانات الكبيرة أو إجراء حسابات معقدة. بالإضافة إلى ذلك، تدعم نوفا الحساب متعدد الحدود، مما يمكنها من التعامل مع مهام الإثبات الأكثر تعقيدًا.
عيوب نوفا
توجد بعض العيوب أيضًا في Nova. أولاً، نظرًا لاستخدام R1CS المريح، قد تكون إثباتاته أقل قوة من أنظمة R1CS التقليدية. يسمح R1CS المريح باستخدام عشوائية أقل، مما قد يقلل من أمان الإثبات. ومع ذلك، اتخذ مطورو Nova تدابير لمعالجة هذه المشكلة، مثل استخدام خوارزميات تشفير أكثر قوة واستراتيجيات إثبات أكثر تعقيدًا.
ثانياً، تنفيذ Nova معقد نسبياً، مما قد يزيد من صعوبة الاستخدام والصيانة. تستخدم Nova العديد من تقنيات التشفير المتقدمة، مثل حسابات متعددة الحدود، عمليات المجموعة، والأوراكل العشوائية، مما يتطلب فهماً عميقاً لهذه التقنيات لاستخدام وتعديل Nova بشكل فعال.
وضع نوفا في مجال zk-SNARKs
تحتل Nova مكانة مهمة في مجال zk-SNARKs. لقد مهد ظهورها الطريق لتطوير zk-SNARKs. تكنولوجيا R1CS المريحة التي تعتمدها Nova تجعل من إنشاء وإثبات البرهان أكثر كفاءة، وهو أمر بالغ الأهمية لتطبيقات zk-SNARKs على نطاق واسع. بالإضافة إلى ذلك، تدعم Nova الحساب التزايدي والحساب متعدد الحدود، مما يمكنها من معالجة مهام البرهان الأكثر تعقيدًا، مما يوسع نطاق تطبيق zk-SNARKs.
تحليل كود Nova
الكود المصدري لـ Nova يتضمن بشكل رئيسي المجالات الهامة التالية:
تشمل التنفيذ الأساسي لـ Nova:
تشكل هذه الوحدات والتنفيذات أساس نظام نوفا الفعال لل zk-SNARKs.