نوفا هو نظام جديد لإثبات المعرفة الصفرية تم تطويره بواسطة مايكروسوفت، يستخدم نظام قيود رقيق من الدرجة الأولى (Relaxed R1CS) لتحسين كفاءة ومرونة الإثبات.
مزايا نوفا
الميزة الرئيسية لنوفا هي استخدام تقنية R1CS المريحة. تحتاج أنظمة R1CS التقليدية إلى الكثير من العشوائية في عملية الإثبات، مما يجعل عملية إنشاء الإثبات والتحقق منها معقدة وتستغرق وقتًا طويلاً. من خلال استخدام R1CS المريح، يسمح نوفا باستخدام كمية أقل من العشوائية في الإثبات، مما يزيد بشكل كبير من كفاءة الإثبات.
نوفا تدعم أيضًا الحساب التدريجي، مما يسمح بحساب الدوال المعقدة بشكل تدريجي دون الحاجة إلى حساب الدالة بأكملها دفعة واحدة. هذا مفيد جدًا عند التعامل مع البيانات الكبيرة أو الحسابات المعقدة. بالإضافة إلى ذلك، تدعم نوفا أيضًا الحسابات متعددة الحدود، مما يمكنها من معالجة مهام الإثبات الأكثر تعقيدًا.
عيوب نوفا
يستخدم نوفا R1CS المسترخية، وقد لا تكون أدلةه قوية مثل أنظمة R1CS التقليدية. تستخدم R1CS المسترخية عشوائية أقل، مما قد يقلل من أمان الأدلة. ومع ذلك، اتخذ مطورو نوفا تدابير لمعالجة هذه المشكلة، مثل استخدام خوارزميات تشفير أكثر قوة واستراتيجيات إثبات أكثر تعقيدًا.
ثانياً، تنفيذ Nova معقد نسبياً، مما قد يزيد من صعوبة الاستخدام والصيانة. يستخدم Nova العديد من تقنيات التشفير المتقدمة، مثل حسابات متعددة الحدود، والعمليات الجماعية، وآلات العشوائية، مما يتطلب فهماً عميقاً لهذه التقنيات لاستخدام Nova وتعديله بفعالية.
أهمية Nova في مجال zk-SNARKs
تحتل Nova مكانة مهمة في مجال zk-SNARKs. لقد فتحت طرقًا جديدة لتطوير zk-SNARKs. التقنية المستخدمة في Nova، R1CS المريحة، تجعل عملية توليد وإثبات البرهان أكثر كفاءة، وهو أمر بالغ الأهمية لتطبيقات zk-SNARKs على نطاق واسع. بالإضافة إلى ذلك، تدعم Nova الحساب التزايدي والحساب المتعدد الحدود، مما يمكنها من التعامل مع مهام البرهان الأكثر تعقيدًا، مما يوسع نطاق تطبيق zk-SNARKs.
تفسير كود Nova
يتضمن كود مصدر Nova بشكل أساسي الوحدات المهمة التالية:
bellperson: حققت إنشاء أنظمة القيود من الرتبة الأولى R1CS(.
gadgets: تحتوي على أدوات لبناء zk-SNARKs.
provider: يحتوي على بعض شفرة الموفرين، مثل تنفيذ دالة تجزئة Keccak.
spartan: يحتوي على كود متعلق ببروتوكول Spartan.
traits: تعريف بعض السلوكيات العامة في ترايتس Rust.
تنفيذ نوفا الأساسي يشمل:
تنفيذ R1CS و R1CS المُرخى
مخطط الالتزام متعدد الحدود
خوارزمية Sumcheck
خطة الطي غير التفاعلية ) NIFS (
عمليات التشفير باستخدام المنحنيات البيضاوية
محرك النسخ
تشكل هذه المكونات معًا نظام zk-SNARKs الخاص بـ Nova، مما يسمح له بإنشاء والتحقق من إثباتات الحسابات المعقدة بكفاءة، مع ضمان أمان وخصوصية هذه الإثباتات.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 17
أعجبني
17
8
مشاركة
تعليق
0/400
DefiEngineerJack
· 07-27 05:09
*sigh* مايكروسوفت تحاول تحسين zk مرة أخرى... يظهر لي التحقق الرسمي أو أنه مجرد وعاء العسل L2 آخر
شاهد النسخة الأصليةرد0
tx_pending_forever
· 07-26 11:14
هل لا يزال يُستخدم مع ضعف الأمان؟
شاهد النسخة الأصليةرد0
TestnetScholar
· 07-25 14:13
التكنولوجيا أصبحت معقدة مرة أخرى
شاهد النسخة الأصليةرد0
RugpullTherapist
· 07-25 03:30
الاختراعات الجديدة تعيدني إلى مشاكلي القديمة.. أليس مجرد فخ فارغ؟
شاهد النسخة الأصليةرد0
liquiditea_sipper
· 07-25 03:26
أداء جيد، مايكروسوفت تحكمت في التوازن بشكل جيد هذه المرة.
شاهد النسخة الأصليةرد0
Rugpull幸存者
· 07-25 03:25
هذه الدجاجة لا تستحق العناء، من الأفضل استخدام Stark
Nova: نظام zk-SNARKs جديد يعزز الكفاءة والمرونة
Nova: نظام zk-SNARKs جديد
نوفا هو نظام جديد لإثبات المعرفة الصفرية تم تطويره بواسطة مايكروسوفت، يستخدم نظام قيود رقيق من الدرجة الأولى (Relaxed R1CS) لتحسين كفاءة ومرونة الإثبات.
مزايا نوفا
الميزة الرئيسية لنوفا هي استخدام تقنية R1CS المريحة. تحتاج أنظمة R1CS التقليدية إلى الكثير من العشوائية في عملية الإثبات، مما يجعل عملية إنشاء الإثبات والتحقق منها معقدة وتستغرق وقتًا طويلاً. من خلال استخدام R1CS المريح، يسمح نوفا باستخدام كمية أقل من العشوائية في الإثبات، مما يزيد بشكل كبير من كفاءة الإثبات.
نوفا تدعم أيضًا الحساب التدريجي، مما يسمح بحساب الدوال المعقدة بشكل تدريجي دون الحاجة إلى حساب الدالة بأكملها دفعة واحدة. هذا مفيد جدًا عند التعامل مع البيانات الكبيرة أو الحسابات المعقدة. بالإضافة إلى ذلك، تدعم نوفا أيضًا الحسابات متعددة الحدود، مما يمكنها من معالجة مهام الإثبات الأكثر تعقيدًا.
عيوب نوفا
يستخدم نوفا R1CS المسترخية، وقد لا تكون أدلةه قوية مثل أنظمة R1CS التقليدية. تستخدم R1CS المسترخية عشوائية أقل، مما قد يقلل من أمان الأدلة. ومع ذلك، اتخذ مطورو نوفا تدابير لمعالجة هذه المشكلة، مثل استخدام خوارزميات تشفير أكثر قوة واستراتيجيات إثبات أكثر تعقيدًا.
ثانياً، تنفيذ Nova معقد نسبياً، مما قد يزيد من صعوبة الاستخدام والصيانة. يستخدم Nova العديد من تقنيات التشفير المتقدمة، مثل حسابات متعددة الحدود، والعمليات الجماعية، وآلات العشوائية، مما يتطلب فهماً عميقاً لهذه التقنيات لاستخدام Nova وتعديله بفعالية.
أهمية Nova في مجال zk-SNARKs
تحتل Nova مكانة مهمة في مجال zk-SNARKs. لقد فتحت طرقًا جديدة لتطوير zk-SNARKs. التقنية المستخدمة في Nova، R1CS المريحة، تجعل عملية توليد وإثبات البرهان أكثر كفاءة، وهو أمر بالغ الأهمية لتطبيقات zk-SNARKs على نطاق واسع. بالإضافة إلى ذلك، تدعم Nova الحساب التزايدي والحساب المتعدد الحدود، مما يمكنها من التعامل مع مهام البرهان الأكثر تعقيدًا، مما يوسع نطاق تطبيق zk-SNARKs.
تفسير كود Nova
يتضمن كود مصدر Nova بشكل أساسي الوحدات المهمة التالية:
bellperson: حققت إنشاء أنظمة القيود من الرتبة الأولى R1CS(.
gadgets: تحتوي على أدوات لبناء zk-SNARKs.
provider: يحتوي على بعض شفرة الموفرين، مثل تنفيذ دالة تجزئة Keccak.
spartan: يحتوي على كود متعلق ببروتوكول Spartan.
traits: تعريف بعض السلوكيات العامة في ترايتس Rust.
تنفيذ نوفا الأساسي يشمل:
تشكل هذه المكونات معًا نظام zk-SNARKs الخاص بـ Nova، مما يسمح له بإنشاء والتحقق من إثباتات الحسابات المعقدة بكفاءة، مع ضمان أمان وخصوصية هذه الإثباتات.