نوفا هو نظام جديد من أنظمة zk-SNARKs، تم تطويره بواسطة مايكروسوفت. يعتمد على نظام قيود من الدرجة الأولى المريح (Relaxed R1CS) لزيادة كفاءة ومرونة الإثبات.
الميزة الرئيسية لنوفا هي:
باستخدام R1CS المريح، تم تقليل العشوائية المطلوبة في الإثبات، مما زاد بشكل كبير من كفاءة توليد الإثبات والتحقق منه.
يدعم الحساب التدريجي، حيث يمكن حساب الدوال المعقدة خطوة بخطوة، دون الحاجة لحساب الدالة بأكملها دفعة واحدة.
يدعم حسابات متعددة الحدود، ويمكنه معالجة مهام إثبات أكثر تعقيدًا.
قدم آلية فعالة لطي الإثباتات، يمكنها دمج عدة إثباتات في واحدة.
ومع ذلك، فإن Nova لها بعض القيود:
نظرًا لاستخدام R1CS المتراخي، قد تكون قوة إثباته أقل مقارنةً بأنظمة R1CS التقليدية.
التنفيذ معقد نسبيًا، مما زاد من صعوبة الاستخدام والصيانة.
تحتاج إلى فهم عميق لتقنيات التشفير المتقدمة مثل حسابات متعددة الحدود والعمليات الجماعية لاستخدامها بفعالية.
نوفا لها مكانة مهمة في مجال zk-SNARKs، حيث قدمت إمكانيات جديدة للتطبيقات على نطاق واسع. لقد وسعت ظهورها نطاق تطبيقات zk-SNARKs، مما جلب فرص جديدة في مجالات البلوكشين والحساب الآمن وغيرها.
تنفيذ Nova الأساسي يتضمن:
تعريفات وإجراءات R1CS و R1CS المريحة
مخطط التزام متعدد الحدود
خطة الطي غير التفاعلية ( NIFS )
خوارزمية Sumcheck
إثبات الضرب الداخلي ( IPA )
من خلال الجمع بين هذه التقنيات، حققت Nova توليدًا وتحققًا فعالين من الإثبات. في المستقبل، من المتوقع أن تلعب Nova دورًا مهمًا في مجالات حماية الخصوصية والحوسبة القابلة للتحقق.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 18
أعجبني
18
4
مشاركة
تعليق
0/400
ChainComedian
· 08-04 03:56
مايكروسوفت لن تحاول مرة أخرى التنافس مع L2 في هذا الفخ؟
شاهد النسخة الأصليةرد0
Anon32942
· 08-04 03:55
هل ما زالت مايكروسوفت القديمة تلعب بالمعرفة الصفرية؟؟؟
شاهد النسخة الأصليةرد0
NftDeepBreather
· 08-04 03:46
لطالما شعرت أن الاعتماد على gm خلال السوق الصاعدة ليس موثوقًا.
نوفا: نظام zk-SNARKs الرائد يعزز كفاءة البلوكتشين
Nova: نظام zk-SNARKs عالي الكفاءة
نوفا هو نظام جديد من أنظمة zk-SNARKs، تم تطويره بواسطة مايكروسوفت. يعتمد على نظام قيود من الدرجة الأولى المريح (Relaxed R1CS) لزيادة كفاءة ومرونة الإثبات.
الميزة الرئيسية لنوفا هي:
باستخدام R1CS المريح، تم تقليل العشوائية المطلوبة في الإثبات، مما زاد بشكل كبير من كفاءة توليد الإثبات والتحقق منه.
يدعم الحساب التدريجي، حيث يمكن حساب الدوال المعقدة خطوة بخطوة، دون الحاجة لحساب الدالة بأكملها دفعة واحدة.
يدعم حسابات متعددة الحدود، ويمكنه معالجة مهام إثبات أكثر تعقيدًا.
قدم آلية فعالة لطي الإثباتات، يمكنها دمج عدة إثباتات في واحدة.
ومع ذلك، فإن Nova لها بعض القيود:
نظرًا لاستخدام R1CS المتراخي، قد تكون قوة إثباته أقل مقارنةً بأنظمة R1CS التقليدية.
التنفيذ معقد نسبيًا، مما زاد من صعوبة الاستخدام والصيانة.
تحتاج إلى فهم عميق لتقنيات التشفير المتقدمة مثل حسابات متعددة الحدود والعمليات الجماعية لاستخدامها بفعالية.
نوفا لها مكانة مهمة في مجال zk-SNARKs، حيث قدمت إمكانيات جديدة للتطبيقات على نطاق واسع. لقد وسعت ظهورها نطاق تطبيقات zk-SNARKs، مما جلب فرص جديدة في مجالات البلوكشين والحساب الآمن وغيرها.
تنفيذ Nova الأساسي يتضمن:
من خلال الجمع بين هذه التقنيات، حققت Nova توليدًا وتحققًا فعالين من الإثبات. في المستقبل، من المتوقع أن تلعب Nova دورًا مهمًا في مجالات حماية الخصوصية والحوسبة القابلة للتحقق.