نوفا هو نظام جديد لإثبات المعرفة الصفرية تم تطويره بواسطة مايكروسوفت. يستخدم تقنية نظام القيود المريحة من الدرجة الأولى (Relaxed R1CS)، مما يزيد بشكل كبير من كفاءة ومرونة الإثبات. تشمل الميزات الرئيسية لنوفا:
باستخدام R1CS المسترخية، تم تقليل الحاجة إلى العشوائية في عملية الإثبات، مما أدى إلى تحسين كبير في الكفاءة
يدعم الحساب التزايدي، يمكن حساب الدوال المعقدة بشكل تدريجي دون الحاجة إلى إكمالها دفعة واحدة
يدعم حسابات متعددة الحدود، قادر على معالجة مهام إثبات أكثر تعقيدًا
استخدام تقنيات التشفير المتقدمة مثل حسابات متعددة الحدود، عمليات المجموعة، والعرّافة العشوائية وغيرها
نوفا لها مكانة مهمة في مجال zk-SNARKs. إنها تفتح آفاق جديدة لتطبيقات zk-SNARKs على نطاق واسع، وتوسع نطاق تطبيق zk-SNARKs.
المكونات الأساسية لـ Nova تشمل:
نظام R1CS: يحدد هيكل ونظام العمليات لنظام القيود
حسابات متعددة الحدود: تم تنفيذ متعددة الحدود المعادلات، متعددة الحدود متعددة الخطوط، إلخ
خطة الالتزام: تستخدم لإخفاء المعلومات ولكن يمكن التحقق من صحتها
خوارزمية Sumcheck: التحقق من صحة جمع الحدود المتعددة
حلول الطي غير التفاعلية: تستخدم لإثبات صحة الحسابات التزايدية
نفذت Nova أيضًا مجموعة كاملة من عمليات توليد وإثبات التحقق، بما في ذلك ثلاث مراحل: الإعداد، والإثبات، والتحقق.
بشكل عام، نوفا هو نظام فعال ومرن للzk-SNARKs، يوفر قاعدة صلبة لبناء تطبيقات معقدة للzk-SNARKs. إنه يوفر إمكانيات جديدة في مجالات مثل حماية الخصوصية، blockchain، والتحقق من الهوية.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 15
أعجبني
15
7
مشاركة
تعليق
0/400
StablecoinArbitrageur
· 07-20 00:35
*يعدل نظارات القراءة* همم... R1CS المحسّن مع قيود مريحة؟ تشير إشارات اختبار العودة الخاصة بي إلى إمكانيات تحكيم هائلة هنا
Nova: تقدم ثوري في نظام zk-SNARKs الفعال الذي طورته مايكروسوفت
Nova: نظام zk-SNARKs فعال
نوفا هو نظام جديد لإثبات المعرفة الصفرية تم تطويره بواسطة مايكروسوفت. يستخدم تقنية نظام القيود المريحة من الدرجة الأولى (Relaxed R1CS)، مما يزيد بشكل كبير من كفاءة ومرونة الإثبات. تشمل الميزات الرئيسية لنوفا:
نوفا لها مكانة مهمة في مجال zk-SNARKs. إنها تفتح آفاق جديدة لتطبيقات zk-SNARKs على نطاق واسع، وتوسع نطاق تطبيق zk-SNARKs.
المكونات الأساسية لـ Nova تشمل:
نفذت Nova أيضًا مجموعة كاملة من عمليات توليد وإثبات التحقق، بما في ذلك ثلاث مراحل: الإعداد، والإثبات، والتحقق.
بشكل عام، نوفا هو نظام فعال ومرن للzk-SNARKs، يوفر قاعدة صلبة لبناء تطبيقات معقدة للzk-SNARKs. إنه يوفر إمكانيات جديدة في مجالات مثل حماية الخصوصية، blockchain، والتحقق من الهوية.