نوفا هو نظام جديد لإثبات المعرفة الصفرية تم تطويره بواسطة مايكروسوفت، يستخدم تقنية أنظمة القيود من النوع المرتخي من الدرجة الأولى (Relaxed Rank-1 Constraint Systems، Relaxed R1CS) لزيادة كفاءة الإثبات ومرونته.
مزايا نوفا
تتمثل المزايا الرئيسية لـ Nova في استخدامها لتقنية R1CS المريحة. مقارنةً بأنظمة R1CS التقليدية، يسمح Nova باستخدام عشوائية أقل في الإثبات، مما يعزز بشكل كبير من كفاءة الإثبات. بالإضافة إلى ذلك، يدعم Nova الحسابات التراكمية والحسابات متعددة الحدود، مما يمكّنه من التعامل مع مهام الإثبات الأكثر تعقيدًا.
يدعم Nova الحساب التزايدي، مما يتيح حساب الدوال المعقدة خطوة بخطوة، دون الحاجة إلى حساب الدالة بالكامل دفعة واحدة. هذا مفيد جدًا عند التعامل مع البيانات الكبيرة أو إجراء حسابات معقدة.
عيوب نوفا
نظرًا لاستخدام R1CS المريح، قد لا تكون إثباتات Nova قوية مثل أنظمة R1CS التقليدية. يسمح R1CS المريح باستخدام عشوائية أقل، مما قد يقلل من أمان الإثبات. ومع ذلك، اتخذ مطورو Nova تدابير لمعالجة هذه المشكلة، مثل استخدام خوارزميات تشفير أقوى واستراتيجيات إثبات أكثر تعقيدًا.
تطبيق نوفا معقد نسبيًا، وقد يزيد من صعوبة الاستخدام والصيانة. يستخدم العديد من تقنيات التشفير المتقدمة، مثل حسابات متعددة الحدود، والعمليات الجماعية، والأوراكل العشوائية، مما يتطلب فهمًا عميقًا لهذه التقنيات لاستخدام نوفا وتعديله بشكل فعال.
أهمية نوفا في مجال zk-SNARKs
نوفا تفتح طريقًا جديدًا لتطوير zk-SNARKs. إن تقنية R1CS المخففة التي تعتمدها تجعل عملية توليد وإثبات البرهان أكثر كفاءة، وهو أمر بالغ الأهمية لتطبيقات zk-SNARKs على نطاق واسع. بالإضافة إلى ذلك، تدعم نوفا أيضًا الحساب التزايدي والحساب متعدد الحدود، مما يمكنها من التعامل مع مهام برهان أكثر تعقيدًا، مما يوسع نطاق تطبيقات zk-SNARKs.
تفسير مصدر Nova
يتكون الكود المصدري لـ Nova بشكل رئيسي من الأجزاء التالية:
تنفيذات R1CS ذات الصلة: تم تعريف هياكل R1CSShape و R1CSWitness و R1CSInstance وغيرها، وكذلك طرقها.
تنفيذ بروتوكول سبارتان: بما في ذلك حسابات متعددة الحدود، خوارزمية Sumcheck، وغيرها.
خطة الالتزام: تم تنفيذ خطة الالتزام متعددة الحدود المعتمدة على IPA.
محرك النسخ: تم تنفيذ TranscriptEngineTrait باستخدام دالة تجزئة Keccak256.
محرك التقييم: تم تنفيذ EvaluationEngineTrait، لإثبات وتحقق تقييم متعدد الحدود.
تنفيذ SNARK: تم تعريف RelaxedR1CSSNARKTrait، وتم تنفيذ طرق setup و prove و verify.
أدوات رياضية: تم تنفيذ بعض العمليات الرياضية الأساسية، مثل حساب القوى لـ 2، والحصول على البتات الثنائية، وما إلى ذلك.
تعريف الدائرة: تم تعريف خاصية StepCircuit لوصف دالة الخطوات للحساب التراكمي.
بنية مصدر Nova واضحة، ودرجة عالية من التخصيص، مما يوفر للمطورين إطار عمل مرن وفعال لنظام zk-SNARKs.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 7
أعجبني
7
7
مشاركة
تعليق
0/400
RunWhenCut
· 07-12 10:12
أشعر أن النظام التقليدي غير آمن، هربت هربت
شاهد النسخة الأصليةرد0
ConsensusDissenter
· 07-12 04:57
هل عادوا لتطبيق الخوارزمية مرة أخرى؟ يبدو أن مايكروسوفت كانت سريعة هذه المرة.
شاهد النسخة الأصليةرد0
OnChain_Detective
· 07-12 01:24
همم تم اكتشاف تنازلات أمنية... تسوية مايكروسوفت النموذجية
نوفا: مايكروسوفت تطلق نظام إثبات المعرفة الصفرية الفعال لزيادة كفاءة تطبيقات zk-SNARKs
Nova: نظام فعال من نوع zk-SNARKs
نوفا هو نظام جديد لإثبات المعرفة الصفرية تم تطويره بواسطة مايكروسوفت، يستخدم تقنية أنظمة القيود من النوع المرتخي من الدرجة الأولى (Relaxed Rank-1 Constraint Systems، Relaxed R1CS) لزيادة كفاءة الإثبات ومرونته.
مزايا نوفا
تتمثل المزايا الرئيسية لـ Nova في استخدامها لتقنية R1CS المريحة. مقارنةً بأنظمة R1CS التقليدية، يسمح Nova باستخدام عشوائية أقل في الإثبات، مما يعزز بشكل كبير من كفاءة الإثبات. بالإضافة إلى ذلك، يدعم Nova الحسابات التراكمية والحسابات متعددة الحدود، مما يمكّنه من التعامل مع مهام الإثبات الأكثر تعقيدًا.
يدعم Nova الحساب التزايدي، مما يتيح حساب الدوال المعقدة خطوة بخطوة، دون الحاجة إلى حساب الدالة بالكامل دفعة واحدة. هذا مفيد جدًا عند التعامل مع البيانات الكبيرة أو إجراء حسابات معقدة.
عيوب نوفا
نظرًا لاستخدام R1CS المريح، قد لا تكون إثباتات Nova قوية مثل أنظمة R1CS التقليدية. يسمح R1CS المريح باستخدام عشوائية أقل، مما قد يقلل من أمان الإثبات. ومع ذلك، اتخذ مطورو Nova تدابير لمعالجة هذه المشكلة، مثل استخدام خوارزميات تشفير أقوى واستراتيجيات إثبات أكثر تعقيدًا.
تطبيق نوفا معقد نسبيًا، وقد يزيد من صعوبة الاستخدام والصيانة. يستخدم العديد من تقنيات التشفير المتقدمة، مثل حسابات متعددة الحدود، والعمليات الجماعية، والأوراكل العشوائية، مما يتطلب فهمًا عميقًا لهذه التقنيات لاستخدام نوفا وتعديله بشكل فعال.
أهمية نوفا في مجال zk-SNARKs
نوفا تفتح طريقًا جديدًا لتطوير zk-SNARKs. إن تقنية R1CS المخففة التي تعتمدها تجعل عملية توليد وإثبات البرهان أكثر كفاءة، وهو أمر بالغ الأهمية لتطبيقات zk-SNARKs على نطاق واسع. بالإضافة إلى ذلك، تدعم نوفا أيضًا الحساب التزايدي والحساب متعدد الحدود، مما يمكنها من التعامل مع مهام برهان أكثر تعقيدًا، مما يوسع نطاق تطبيقات zk-SNARKs.
تفسير مصدر Nova
يتكون الكود المصدري لـ Nova بشكل رئيسي من الأجزاء التالية:
تنفيذات R1CS ذات الصلة: تم تعريف هياكل R1CSShape و R1CSWitness و R1CSInstance وغيرها، وكذلك طرقها.
تنفيذ بروتوكول سبارتان: بما في ذلك حسابات متعددة الحدود، خوارزمية Sumcheck، وغيرها.
خطة الالتزام: تم تنفيذ خطة الالتزام متعددة الحدود المعتمدة على IPA.
محرك النسخ: تم تنفيذ TranscriptEngineTrait باستخدام دالة تجزئة Keccak256.
محرك التقييم: تم تنفيذ EvaluationEngineTrait، لإثبات وتحقق تقييم متعدد الحدود.
تنفيذ SNARK: تم تعريف RelaxedR1CSSNARKTrait، وتم تنفيذ طرق setup و prove و verify.
أدوات رياضية: تم تنفيذ بعض العمليات الرياضية الأساسية، مثل حساب القوى لـ 2، والحصول على البتات الثنائية، وما إلى ذلك.
تعريف الدائرة: تم تعريف خاصية StepCircuit لوصف دالة الخطوات للحساب التراكمي.
بنية مصدر Nova واضحة، ودرجة عالية من التخصيص، مما يوفر للمطورين إطار عمل مرن وفعال لنظام zk-SNARKs.