نوفا هو نظام جديد للبرهان المبني على المعرفة الذي طورته مايكروسوفت، ويستخدم تقنية أنظمة القيود المرتخية من الرتبة الأولى (Relaxed Rank-1 Constraint Systems، Relaxed R1CS) لزيادة كفاءة ومرونة البرهان.
المزايا الرئيسية لـ Nova
باستخدام تقنية R1CS المريحة، تم تقليل العشوائية المطلوبة في عملية الإثبات بشكل كبير، مما أدى إلى تحسين كفاءة توليد وإثبات الإثبات.
يدعم الحساب التزايدي، حيث يمكن حساب الدوال المعقدة خطوة بخطوة دون الحاجة إلى إتمام عملية الحساب بالكامل دفعة واحدة. هذا مفيد بشكل خاص عند التعامل مع بيانات ضخمة أو إجراء حسابات معقدة.
يدعم حسابات متعددة الحدود، قادر على معالجة مهام إثبات أكثر تعقيدًا.
قيود نوفا
بسبب استخدام R1CS المتراخي، قد تكون برهان Nova أقل قوة من أنظمة R1CS التقليدية. لمعالجة هذه المشكلة، استخدم مطورو Nova خوارزميات تشفير أقوى واستراتيجيات برهان أكثر تعقيدًا.
تنفيذ Nova معقد إلى حد ما، حيث يتضمن العديد من تقنيات التشفير المتقدمة، مثل حسابات متعددة الحدود، عمليات المجموعة، وآلات التنبؤ العشوائية. قد يؤدي ذلك إلى زيادة صعوبة الاستخدام والصيانة.
وضع نوفا في مجال zk-SNARKs
تفتح نوفا طريقًا جديدًا لتطوير zk-SNARKs. تعتبر عملية توليد وإثبات الإثبات الفعالة أمرًا حيويًا لتطبيقات zk-SNARKs على نطاق واسع. تدعم نوفا خصائص الحساب التزايدي والحساب متعدد الحدود، مما يوسع نطاق تطبيق zk-SNARKs بشكل أكبر.
تحليل كود Nova
الكود المصدري لـ Nova يتضمن بشكل رئيسي الأقسام الرئيسية التالية:
bellperson: حقق وظائف متعلقة بـ R1CS (أنظمة القيود من الرتبة الأولى).
gadgets: تشمل الأدوات اللازمة لبناء zk-SNARKs.
المزود: يوفر تنفيذات لمجموعة متنوعة من البدائل التشفيرية، مثل دالة هاش Keccak.
spartan: نفذت الوظائف المتعلقة ببروتوكول Spartan.
traits：تعريف سلوكيات عامة وواجهات متنوعة.
تحدد الوثيقة الأساسية src/circuit.rs الدائرة المعززة في بروتوكول نوفا، بما في ذلك دائرة الخطوات ودائرة المُحقق. يقوم src/nifs.rs بتنفيذ خطة الطي غير التفاعلية (Non-Interactive Folding Scheme، NIFS) لإثبات صحة كل خطوة في الحساب التزايدي.
يستخدم مشروع نوفا على نطاق واسع ميزات لغة Rust، مثل traits والبرمجة العامة، لتقديم تنفيذ مرن وفعال. يتضمن المشروع مفاهيم وتقنيات تشفير معقدة، بما في ذلك التشفير باستخدام المنحنيات البيانية، والتعهدات المتعددة الحدود، والأوراكل العشوائية، مما يعكس تعقيد وقدرات أنظمة إثبات المعرفة الصفرية الحديثة.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 16
أعجبني
16
4
إعادة النشر
مشاركة
تعليق
0/400
GasFeeLady
· منذ 17 س
همم، مايكروسوفت أخيرًا تدخل عالم zk... أتساءل كم عدد الإيثير الذي تم حرقه لاختبار هذه اللعبة.
شاهد النسخة الأصليةرد0
TokenRationEater
· منذ 17 س
هل ستظهر تقنية zkp شيئًا جديدًا؟ رغم أنني لا أفهم لكن الأمور أصبحت أفضل!
شاهد النسخة الأصليةرد0
NFTRegretDiary
· منذ 17 س
مايكروسوفت تسعى للاستيلاء على رزقنا في هذا المجال!
شاهد النسخة الأصليةرد0
¯\_(ツ)_/¯
· منذ 17 س
لماذا كل شيء تفعله مايكروسوفت يجعلني أشعر بالقلق قليلاً
نوفا: نظام إثبات المعرفة الصفرية الفعال والمرن الذي طورته مايكروسوفت
Nova - نظام zk-SNARKs عالي الكفاءة ومرن
نوفا هو نظام جديد للبرهان المبني على المعرفة الذي طورته مايكروسوفت، ويستخدم تقنية أنظمة القيود المرتخية من الرتبة الأولى (Relaxed Rank-1 Constraint Systems، Relaxed R1CS) لزيادة كفاءة ومرونة البرهان.
المزايا الرئيسية لـ Nova
باستخدام تقنية R1CS المريحة، تم تقليل العشوائية المطلوبة في عملية الإثبات بشكل كبير، مما أدى إلى تحسين كفاءة توليد وإثبات الإثبات.
يدعم الحساب التزايدي، حيث يمكن حساب الدوال المعقدة خطوة بخطوة دون الحاجة إلى إتمام عملية الحساب بالكامل دفعة واحدة. هذا مفيد بشكل خاص عند التعامل مع بيانات ضخمة أو إجراء حسابات معقدة.
يدعم حسابات متعددة الحدود، قادر على معالجة مهام إثبات أكثر تعقيدًا.
قيود نوفا
بسبب استخدام R1CS المتراخي، قد تكون برهان Nova أقل قوة من أنظمة R1CS التقليدية. لمعالجة هذه المشكلة، استخدم مطورو Nova خوارزميات تشفير أقوى واستراتيجيات برهان أكثر تعقيدًا.
تنفيذ Nova معقد إلى حد ما، حيث يتضمن العديد من تقنيات التشفير المتقدمة، مثل حسابات متعددة الحدود، عمليات المجموعة، وآلات التنبؤ العشوائية. قد يؤدي ذلك إلى زيادة صعوبة الاستخدام والصيانة.
وضع نوفا في مجال zk-SNARKs
تفتح نوفا طريقًا جديدًا لتطوير zk-SNARKs. تعتبر عملية توليد وإثبات الإثبات الفعالة أمرًا حيويًا لتطبيقات zk-SNARKs على نطاق واسع. تدعم نوفا خصائص الحساب التزايدي والحساب متعدد الحدود، مما يوسع نطاق تطبيق zk-SNARKs بشكل أكبر.
تحليل كود Nova
الكود المصدري لـ Nova يتضمن بشكل رئيسي الأقسام الرئيسية التالية:
bellperson: حقق وظائف متعلقة بـ R1CS (أنظمة القيود من الرتبة الأولى).
gadgets: تشمل الأدوات اللازمة لبناء zk-SNARKs.
المزود: يوفر تنفيذات لمجموعة متنوعة من البدائل التشفيرية، مثل دالة هاش Keccak.
spartan: نفذت الوظائف المتعلقة ببروتوكول Spartan.
traits：تعريف سلوكيات عامة وواجهات متنوعة.
تحدد الوثيقة الأساسية src/circuit.rs الدائرة المعززة في بروتوكول نوفا، بما في ذلك دائرة الخطوات ودائرة المُحقق. يقوم src/nifs.rs بتنفيذ خطة الطي غير التفاعلية (Non-Interactive Folding Scheme، NIFS) لإثبات صحة كل خطوة في الحساب التزايدي.
يستخدم مشروع نوفا على نطاق واسع ميزات لغة Rust، مثل traits والبرمجة العامة، لتقديم تنفيذ مرن وفعال. يتضمن المشروع مفاهيم وتقنيات تشفير معقدة، بما في ذلك التشفير باستخدام المنحنيات البيانية، والتعهدات المتعددة الحدود، والأوراكل العشوائية، مما يعكس تعقيد وقدرات أنظمة إثبات المعرفة الصفرية الحديثة.