نوفا هو نظام جديد لإثبات المعرفة الصفرية طورته مايكروسوفت، يعتمد على تقنية أنظمة القيود المرتخية من الدرجة الأولى (Relaxed Rank-1 Constraint Systems، Relaxed R1CS) لتحسين كفاءة ومرونة الإثبات.
المزايا الرئيسية لـ Nova
استخدام تقنية R1CS المريحة، مما أدى إلى تحسين كبير في كفاءة الإثبات.
يدعم الحساب التدريجي، حيث يمكن حساب الدوال المعقدة خطوة بخطوة، دون الحاجة إلى حساب الدالة بأكملها دفعة واحدة.
دعم الحسابات المتعددة الحدود، قادر على معالجة مهام الإثبات الأكثر تعقيدًا.
العيوب المحتملة لنوفا
قد لا تكون الإثباتات قوية مثل أنظمة R1CS التقليدية، لأن R1CS المسترخية تسمح باستخدام عشوائية أقل في الإثبات.
التنفيذ نسبيًا معقد، وقد يزيد من صعوبة الاستخدام والصيانة.
أهمية Nova في مجال zk-SNARKs
ظهور نوفا فتح طريقًا جديدًا لتطوير zk-SNARKs. إن كفاءته ومرونته تجعل تطبيقات zk-SNARKs على نطاق واسع ممكنة، مما يزيد من توسيع نطاق تطبيق zk-SNARKs.
المكونات الأساسية لـ Nova
R1CS و R1CS المسترخية: أنظمة القيود المستخدمة لبناء zk-SNARKs.
مخطط الالتزام المتعدد الحدود: يستخدم لإثبات صحة تقييمات متعددة الحدود.
خطة الطي غير التفاعلية (NIFS): تستخدم لإثبات صحة كل خطوة في الحساب التزايدي.
خوارزمية Sumcheck: تستخدم للتحقق من جمع متعددة الحدود.
علم التشفير باستخدام المنحنيات البيضاوية (ECC): يوفر عمليات التشفير الأساسية.
تنفيذ Nova يتضمن العديد من المفاهيم والتقنيات المعقدة في علم التشفير، بما في ذلك R1CS، والتعهدات المتعددة الحدود، والنبّاء العشوائي، وغيرها. تشكل هذه المكونات معًا نظامًا فعالًا ومرنًا من zk-SNARKs، مما يوفر دعمًا تقنيًا قويًا لتطبيقات في مجالات blockchain، والتحقق من الهوية، وغيرها.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 9
أعجبني
9
8
مشاركة
تعليق
0/400
MidnightTrader
· 07-15 10:05
ميكروسوفت لم تفهم ذلك؟
شاهد النسخة الأصليةرد0
TokenVelocity
· 07-15 01:51
متى بدأت مايكروسوفت في العمل على zk...
شاهد النسخة الأصليةرد0
ForkMonger
· 07-15 01:34
meh... zk مركزي بواسطة msft؟ ماذا يمكن أن يسير بشكل خاطئ
Nova: نظام zk-SNARKs الفعال الذي طورته مايكروسوفت يغير تطبيقات البلوكتشين
نوفا: نظام فعال للـ zk-SNARKs
نوفا هو نظام جديد لإثبات المعرفة الصفرية طورته مايكروسوفت، يعتمد على تقنية أنظمة القيود المرتخية من الدرجة الأولى (Relaxed Rank-1 Constraint Systems، Relaxed R1CS) لتحسين كفاءة ومرونة الإثبات.
المزايا الرئيسية لـ Nova
استخدام تقنية R1CS المريحة، مما أدى إلى تحسين كبير في كفاءة الإثبات.
يدعم الحساب التدريجي، حيث يمكن حساب الدوال المعقدة خطوة بخطوة، دون الحاجة إلى حساب الدالة بأكملها دفعة واحدة.
دعم الحسابات المتعددة الحدود، قادر على معالجة مهام الإثبات الأكثر تعقيدًا.
العيوب المحتملة لنوفا
قد لا تكون الإثباتات قوية مثل أنظمة R1CS التقليدية، لأن R1CS المسترخية تسمح باستخدام عشوائية أقل في الإثبات.
التنفيذ نسبيًا معقد، وقد يزيد من صعوبة الاستخدام والصيانة.
أهمية Nova في مجال zk-SNARKs
ظهور نوفا فتح طريقًا جديدًا لتطوير zk-SNARKs. إن كفاءته ومرونته تجعل تطبيقات zk-SNARKs على نطاق واسع ممكنة، مما يزيد من توسيع نطاق تطبيق zk-SNARKs.
المكونات الأساسية لـ Nova
R1CS و R1CS المسترخية: أنظمة القيود المستخدمة لبناء zk-SNARKs.
مخطط الالتزام المتعدد الحدود: يستخدم لإثبات صحة تقييمات متعددة الحدود.
خطة الطي غير التفاعلية (NIFS): تستخدم لإثبات صحة كل خطوة في الحساب التزايدي.
خوارزمية Sumcheck: تستخدم للتحقق من جمع متعددة الحدود.
علم التشفير باستخدام المنحنيات البيضاوية (ECC): يوفر عمليات التشفير الأساسية.
تنفيذ Nova يتضمن العديد من المفاهيم والتقنيات المعقدة في علم التشفير، بما في ذلك R1CS، والتعهدات المتعددة الحدود، والنبّاء العشوائي، وغيرها. تشكل هذه المكونات معًا نظامًا فعالًا ومرنًا من zk-SNARKs، مما يوفر دعمًا تقنيًا قويًا لتطبيقات في مجالات blockchain، والتحقق من الهوية، وغيرها.