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