نوفا هو نظام جديد لإثبات المعرفة الصفرية تم تطويره بواسطة مايكروسوفت، يستخدم تقنية (Relaxed R1CS) لتحسين كفاءة ومرونة الإثبات.
الميزة الرئيسية لـ Nova تكمن في استخدام تقنية R1CS المريحة. تتطلب أنظمة R1CS التقليدية استخدام كمية كبيرة من العشوائية أثناء عملية الإثبات، مما يؤدي إلى تعقيد وتكلفة زمنية في عملية توليد وإثبات. من خلال استخدام R1CS المريح، يسمح Nova باستخدام عشوائية أقل في الإثبات، مما يزيد بشكل كبير من كفاءة الإثبات.
بالإضافة إلى ذلك، تدعم Nova أيضًا الحساب التدريجي، مما يسمح بحساب الدوال المعقدة خطوة بخطوة، دون الحاجة إلى حساب الدالة بالكامل دفعة واحدة. هذا مفيد للغاية عند التعامل مع بيانات كبيرة أو حسابات معقدة. تدعم Nova أيضًا الحسابات متعددة الحدود، مما يمكنها من معالجة المهام الإثباتية الأكثر تعقيدًا.
عيوب نوفا هي أنه بسبب استخدام R1CS المريح، قد لا تكون إثباتاته قوية مثل أنظمة R1CS التقليدية. يسمح R1CS المريح باستخدام عشوائية أقل، مما قد يقلل من أمان الإثبات. ومع ذلك، قام مطورو نوفا باتخاذ تدابير لمعالجة هذه المشكلة، مثل استخدام خوارزميات تشفير أقوى واستراتيجيات إثبات أكثر تعقيدًا.
بالإضافة إلى ذلك، فإن تنفيذ Nova معقد نسبيًا، مما قد يزيد من صعوبة الاستخدام والصيانة. تستخدم Nova العديد من تقنيات التشفير المتقدمة، مما يتطلب فهمًا عميقًا لهذه التقنيات لاستخدام Nova وتعديله بشكل فعال.
بشكل عام، تشغل Nova مكانة مهمة في مجال zk-SNARKs. تتيح تقنية R1CS المريحة لها توليد والتحقق من الإثباتات بكفاءة أكبر، وهذا ضروري لتطبيقات zk-SNARKs على نطاق واسع. تدعم Nova أيضًا الحسابات التزايدية والحسابات متعددة الحدود، مما يوسع نطاق تطبيقات zk-SNARKs بشكل أكبر.
الشيفرة المصدرية لـ Nova تتضمن بشكل رئيسي الوحدات الأساسية التالية:
bellperson: تنفيذ وظائف متعلقة بـ R1CS.
gadgets: تشمل الأدوات اللازمة لبناء zk-SNARKs.
spartan: تنفيذ وظائف بروتوكول Spartan.
الخصائص: تعريف بعض الخصائص العامة، مثل Group و CommitmentTrait وغيرها.
r1cs.rs: تعريف الهياكل والطرق المتعلقة بـ R1CS.
nifs.rs: تنفيذ خطة الطي غير التفاعلية.
ipa_pc.rs: تنفيذ خطة الالتزام المتعدد القائم على IPA.
تعمل هذه الوحدات معًا على تحقيق الوظائف الأساسية لـ Nova، بما في ذلك نظام قيود R1CS، والتعهدات متعددة الحدود، وتوليد والتحقق من zk-SNARKs. من خلال مجموعة هذه الوحدات، تحقق Nova نظام zk-SNARKs فعال.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 15
أعجبني
15
9
مشاركة
تعليق
0/400
GasWrangler
· 07-15 08:59
تقنيًا، فإن r1cs المريح من نوفا ليس مثاليًا لضمانات الأمان القوية...
شاهد النسخة الأصليةرد0
Rugpull幸存者
· 07-14 14:27
مايكروسوفت قوي جداً!
شاهد النسخة الأصليةرد0
PretendingSerious
· 07-13 22:56
ثور批 ميكروسوفت أخيرًا عملت شيء جيد
شاهد النسخة الأصليةرد0
CryptoTarotReader
· 07-13 18:34
مايكروسوفت هنا! هل تريد ZK القوي أن تطرح للاكتتاب العام؟
شاهد النسخة الأصليةرد0
BlockchainTalker
· 07-13 18:29
في الواقع، هل تعمل مايكروسوفت على إثباتات zk؟ بالتأكيد هو تغيير لقواعد اللعبة بصراحة... ليس الكثير من الناس يدركون ذلك
شاهد النسخة الأصليةرد0
¯\_(ツ)_/¯
· 07-13 18:27
Slack R1CS رائع جدا!
شاهد النسخة الأصليةرد0
ApeWithNoFear
· 07-13 18:21
تثبت المعرفة الصفرية أنها تنبعث منها رائحة حقيقية
شاهد النسخة الأصليةرد0
PonziDetector
· 07-13 18:18
هل ما زالت مايكروسوفت تلعب بجدية في المعرفة الصفرية؟
شاهد النسخة الأصليةرد0
Degen4Breakfast
· 07-13 18:12
آه، إنه والد مايكروسوفت الذي يقوم بالابتكار مرة أخرى
Nova: تقنية R1CS المريحة تقود كفاءة جديدة في zk-SNARKs
نوفا: نظام zk-SNARKs فعال
نوفا هو نظام جديد لإثبات المعرفة الصفرية تم تطويره بواسطة مايكروسوفت، يستخدم تقنية (Relaxed R1CS) لتحسين كفاءة ومرونة الإثبات.
الميزة الرئيسية لـ Nova تكمن في استخدام تقنية R1CS المريحة. تتطلب أنظمة R1CS التقليدية استخدام كمية كبيرة من العشوائية أثناء عملية الإثبات، مما يؤدي إلى تعقيد وتكلفة زمنية في عملية توليد وإثبات. من خلال استخدام R1CS المريح، يسمح Nova باستخدام عشوائية أقل في الإثبات، مما يزيد بشكل كبير من كفاءة الإثبات.
بالإضافة إلى ذلك، تدعم Nova أيضًا الحساب التدريجي، مما يسمح بحساب الدوال المعقدة خطوة بخطوة، دون الحاجة إلى حساب الدالة بالكامل دفعة واحدة. هذا مفيد للغاية عند التعامل مع بيانات كبيرة أو حسابات معقدة. تدعم Nova أيضًا الحسابات متعددة الحدود، مما يمكنها من معالجة المهام الإثباتية الأكثر تعقيدًا.
عيوب نوفا هي أنه بسبب استخدام R1CS المريح، قد لا تكون إثباتاته قوية مثل أنظمة R1CS التقليدية. يسمح R1CS المريح باستخدام عشوائية أقل، مما قد يقلل من أمان الإثبات. ومع ذلك، قام مطورو نوفا باتخاذ تدابير لمعالجة هذه المشكلة، مثل استخدام خوارزميات تشفير أقوى واستراتيجيات إثبات أكثر تعقيدًا.
بالإضافة إلى ذلك، فإن تنفيذ Nova معقد نسبيًا، مما قد يزيد من صعوبة الاستخدام والصيانة. تستخدم Nova العديد من تقنيات التشفير المتقدمة، مما يتطلب فهمًا عميقًا لهذه التقنيات لاستخدام Nova وتعديله بشكل فعال.
بشكل عام، تشغل Nova مكانة مهمة في مجال zk-SNARKs. تتيح تقنية R1CS المريحة لها توليد والتحقق من الإثباتات بكفاءة أكبر، وهذا ضروري لتطبيقات zk-SNARKs على نطاق واسع. تدعم Nova أيضًا الحسابات التزايدية والحسابات متعددة الحدود، مما يوسع نطاق تطبيقات zk-SNARKs بشكل أكبر.
الشيفرة المصدرية لـ Nova تتضمن بشكل رئيسي الوحدات الأساسية التالية:
bellperson: تنفيذ وظائف متعلقة بـ R1CS.
gadgets: تشمل الأدوات اللازمة لبناء zk-SNARKs.
spartan: تنفيذ وظائف بروتوكول Spartan.
الخصائص: تعريف بعض الخصائص العامة، مثل Group و CommitmentTrait وغيرها.
r1cs.rs: تعريف الهياكل والطرق المتعلقة بـ R1CS.
nifs.rs: تنفيذ خطة الطي غير التفاعلية.
ipa_pc.rs: تنفيذ خطة الالتزام المتعدد القائم على IPA.
تعمل هذه الوحدات معًا على تحقيق الوظائف الأساسية لـ Nova، بما في ذلك نظام قيود R1CS، والتعهدات متعددة الحدود، وتوليد والتحقق من zk-SNARKs. من خلال مجموعة هذه الوحدات، تحقق Nova نظام zk-SNARKs فعال.