نوفا هو نظام جديد من أنظمة إثبات المعرفة الصفرية تم تطويره بواسطة مايكروسوفت، حيث يستخدم أنظمة قيود الصف الأول المريحة ( Relaxed Rank-1 Constraint Systems، وتقنية ) Relaxed R1CS لزيادة كفاءة ومرونة الإثبات.
مزايا نوفا
تتمثل الميزة الرئيسية لـ Nova في استخدام تقنية R1CS المريحة. تتطلب أنظمة R1CS التقليدية كمية كبيرة من العشوائية خلال عملية الإثبات، مما يؤدي إلى تعقيد وإطالة الوقت المستغرق في عملية إنشاء وإثبات. تستخدم Nova R1CS المريحة، مما يتطلب عشوائية أقل، مما يزيد بشكل كبير من كفاءة الإثبات.
تدعم Nova أيضًا الحساب التدريجي، مما يسمح بحساب الدوال المعقدة خطوة بخطوة دون الحاجة إلى حساب الدالة بالكامل دفعة واحدة. وهذا مفيد جدًا عند التعامل مع بيانات كبيرة أو حسابات معقدة. بالإضافة إلى ذلك، تدعم Nova الحسابات متعددة الحدود، مما يتيح التعامل مع مهام الإثبات الأكثر تعقيدًا.
عيوب نوفا
تستخدم Nova R1CS المسترخي، وقد لا تكون الإثباتات قوية مثل أنظمة R1CS التقليدية. قد يؤدي استخدام R1CS المسترخي الذي يستخدم عشوائية أقل إلى تقليل أمان الإثباتات. ومع ذلك، اتخذ مطورو Nova تدابير للتعامل مع ذلك، مثل استخدام خوارزميات تشفير أكثر قوة واستراتيجيات إثبات معقدة.
تنفيذ نوفا معقد نسبيًا، مما قد يزيد من صعوبة الاستخدام والصيانة. تستخدم نوفا العديد من التقنيات التشفيرية المتقدمة، مثل حسابات متعددة الحدود، وعمليات المجموعات، وآلات التنبؤ العشوائية، مما يتطلب فهمًا عميقًا لهذه التقنيات لاستخدام نوفا وتعديلها بشكل فعال.
Nova في مجال zk-SNARKs مكانة هامة
نوفا فتحت مساراً جديداً لتطوير zk-SNARKs. إن تقنية R1CS المريحة التي تعتمدها تجعل توليد وإثبات البرهان أكثر كفاءة، مما يعد أمراً حيوياً لتطبيقات zk-SNARKs على نطاق واسع. تدعم نوفا الحساب التزايدي والحساب المتعدد الحدود، مما يمكنها من التعامل مع مهام برهان أكثر تعقيداً، مما يزيد بشكل أكبر من نطاق تطبيقات zk-SNARKs.
تحليل الشيفرة المصدرية لـ Nova
يحتوي كود مصدر مشروع نوفا على الوحدات الرئيسية التالية:
bellperson: نفذ توليد أنظمة القيود من الدرجة الأولى R1CS( (Rank-1 Constraint Systems)).
gadgets: تحتوي على أدوات لبناء zk-SNARKs.
provider: قدمت تنفيذ دالة التجزئة keccak وغيرها.
spartan: نفذت بروتوكول Spartan.
traits: تعرف على بعض السلوكيات العامة.
الوثائق الرئيسية تشمل:
circuit.rs: تعريف الدائرة المعززة في بروتوكول نوفا.
nifs.rs: تم تنفيذ مخطط الطي غير التفاعلي.
ipa_pc.rs: ينفذ محرك تقييم خطة التعهد متعدد الحدود القائم على IPA.
r1cs.rs: يحدد الأنواع والأساليب المتعلقة بـ R1CS.
تعمل هذه الوحدات والملفات معًا على تحقيق الوظائف الأساسية لـ Nova، بما في ذلك إنشاء ومعالجة R1CS، والتعهدات المتعددة، والانهيارات غير التفاعلية، مما يوفر أساسًا لبناء نظام فعال للzk-SNARKs.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 15
أعجبني
15
7
مشاركة
تعليق
0/400
NotSatoshi
· 07-22 16:23
هل تجرؤ على الصعود إذا كانت الأمان غير كافية؟
شاهد النسخة الأصليةرد0
GateUser-1a2ed0b9
· 07-21 07:17
هل هذا الشيء لذيذ حقًا؟
شاهد النسخة الأصليةرد0
OnchainUndercover
· 07-20 04:21
هناك شيء جديد، طريقة جديدة للعب!
شاهد النسخة الأصليةرد0
AltcoinOracle
· 07-20 04:20
تبادل أمان يمكن التنبؤ به... نمط يهز الرأس يتكرر
شاهد النسخة الأصليةرد0
ShibaOnTheRun
· 07-20 04:17
مرة أخرى، إنها خدعة جديدة من مايكروسوفت ها
شاهد النسخة الأصليةرد0
OnChainSleuth
· 07-20 04:15
أشعر بعدم الأمان، غير موثوق
شاهد النسخة الأصليةرد0
MetaMaskVictim
· 07-20 04:06
هل هو شيء جديد من مايكروسوفت مرة أخرى؟ غير موثوق به
نظام Nova الابتكاري للـ zk-SNARKs: كسر قيود R1CS التقليدية بكفاءة ومرونة
نوفا: نظام جديد من zk-SNARKs
نوفا هو نظام جديد من أنظمة إثبات المعرفة الصفرية تم تطويره بواسطة مايكروسوفت، حيث يستخدم أنظمة قيود الصف الأول المريحة ( Relaxed Rank-1 Constraint Systems، وتقنية ) Relaxed R1CS لزيادة كفاءة ومرونة الإثبات.
مزايا نوفا
تتمثل الميزة الرئيسية لـ Nova في استخدام تقنية R1CS المريحة. تتطلب أنظمة R1CS التقليدية كمية كبيرة من العشوائية خلال عملية الإثبات، مما يؤدي إلى تعقيد وإطالة الوقت المستغرق في عملية إنشاء وإثبات. تستخدم Nova R1CS المريحة، مما يتطلب عشوائية أقل، مما يزيد بشكل كبير من كفاءة الإثبات.
تدعم Nova أيضًا الحساب التدريجي، مما يسمح بحساب الدوال المعقدة خطوة بخطوة دون الحاجة إلى حساب الدالة بالكامل دفعة واحدة. وهذا مفيد جدًا عند التعامل مع بيانات كبيرة أو حسابات معقدة. بالإضافة إلى ذلك، تدعم Nova الحسابات متعددة الحدود، مما يتيح التعامل مع مهام الإثبات الأكثر تعقيدًا.
عيوب نوفا
تستخدم Nova R1CS المسترخي، وقد لا تكون الإثباتات قوية مثل أنظمة R1CS التقليدية. قد يؤدي استخدام R1CS المسترخي الذي يستخدم عشوائية أقل إلى تقليل أمان الإثباتات. ومع ذلك، اتخذ مطورو Nova تدابير للتعامل مع ذلك، مثل استخدام خوارزميات تشفير أكثر قوة واستراتيجيات إثبات معقدة.
تنفيذ نوفا معقد نسبيًا، مما قد يزيد من صعوبة الاستخدام والصيانة. تستخدم نوفا العديد من التقنيات التشفيرية المتقدمة، مثل حسابات متعددة الحدود، وعمليات المجموعات، وآلات التنبؤ العشوائية، مما يتطلب فهمًا عميقًا لهذه التقنيات لاستخدام نوفا وتعديلها بشكل فعال.
Nova في مجال zk-SNARKs مكانة هامة
نوفا فتحت مساراً جديداً لتطوير zk-SNARKs. إن تقنية R1CS المريحة التي تعتمدها تجعل توليد وإثبات البرهان أكثر كفاءة، مما يعد أمراً حيوياً لتطبيقات zk-SNARKs على نطاق واسع. تدعم نوفا الحساب التزايدي والحساب المتعدد الحدود، مما يمكنها من التعامل مع مهام برهان أكثر تعقيداً، مما يزيد بشكل أكبر من نطاق تطبيقات zk-SNARKs.
تحليل الشيفرة المصدرية لـ Nova
يحتوي كود مصدر مشروع نوفا على الوحدات الرئيسية التالية:
الوثائق الرئيسية تشمل:
تعمل هذه الوحدات والملفات معًا على تحقيق الوظائف الأساسية لـ Nova، بما في ذلك إنشاء ومعالجة R1CS، والتعهدات المتعددة، والانهيارات غير التفاعلية، مما يوفر أساسًا لبناء نظام فعال للzk-SNARKs.