نوفا: تقنية جديدة لإثبات المعرفة الصفرية تعتمد على نظام قيود ترتيب الاسترخاء
نوفا هو نظام جديد مثبت للمعرفة الصفرية طورته مايكروسوفت، حيث يستخدم تقنية نظم القيود المرتخية ذات الرتبة الواحدة (Relaxed Rank-1 Constraint Systems، Relaxed R1CS) لتحسين كفاءة ومرونة الإثبات.
المزايا الرئيسية لـ Nova
استخدام تقنية R1CS المريحة، مما يسمح باستخدام عشوائية أقل في الإثبات، مما يزيد بشكل كبير من كفاءة الإثبات.
يدعم الحساب التدريجي، مما يتيح حساب دوال معقدة خطوة بخطوة، دون الحاجة إلى حساب الدالة بالكامل دفعة واحدة.
يدعم حسابات متعددة الحدود، قادر على معالجة مهام إثبات أكثر تعقيدًا.
العيوب المحتملة لنوفا
قد تؤدي استخدام R1CS المريح إلى تقليل أمان الإثباتات، لكن المطورين قد اتخذوا تدابير لمعالجة هذه المشكلة.
التنفيذ معقد نسبيًا، مما يزيد من صعوبة الاستخدام والصيانة.
وضع نوفا في مجال zk-SNARKs
لقد فتحت Nova طريقًا جديدًا لتطوير zk-SNARKs. إن تقنية R1CS المريحة التي تعتمدها تجعل عملية إنشاء وإثبات البرهان أكثر كفاءة، وهو أمر حيوي لتطبيقات zk-SNARKs على نطاق واسع. وتساعد الميزات التي تدعم الحسابات التزايدية والحسابات متعددة الحدود في توسيع نطاق تطبيقات zk-SNARKs.
المكونات الأساسية لـ Nova
R1CS و R1CS المرنة: أنظمة قيود تُستخدم لبناء zk-SNARKs.
مخطط التزام متعدد الحدود: يستخدم لإثبات قيمة تقييم متعدد الحدود دون الكشف عن متعدد الحدود نفسه.
خوارزمية Sumcheck: تستخدم للتحقق من جمع كثيرات الحدود.
4.方案 غير تفاعلي للطي (NIFS): يستخدم لإثبات صحة كل خطوة في الحساب التزايدي.
تشفير المنحنيات البيضاوية (ECC): يوفر تقنية تشفير مفتاح عام فعالة.
دالة هاش Keccak256: تُستخدم لمعالجة transcript في عملية zk-SNARKs.
نوڤا من خلال تركيبة مبتكرة من هذه المكونات، حققت نظام إثبات المعرفة الصفرية فعال ومرن، مما يوفر إمكانيات جديدة في مجالات blockchain، والتحقق من الهوية، والحوسبة الآمنة.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 15
أعجبني
15
7
مشاركة
تعليق
0/400
EntryPositionAnalyst
· منذ 4 س
新白酒新حمقى
شاهد النسخة الأصليةرد0
GateUser-2fce706c
· منذ 21 س
جاءت جاءت! فرصة جديدة لـ zk-SNARKs، أسرع في التخطيط لها
شاهد النسخة الأصليةرد0
MidnightGenesis
· منذ 21 س
الكود يبدو جيدًا لكنني لست مطمئنًا جدًا
شاهد النسخة الأصليةرد0
CryptoHistoryClass
· منذ 21 س
يبدو أن هناك ضجة تقنية أخرى مثل IEO لعام 2017 حقًا حقًا
Nova: نظام قيود الرتبة المتراخية يعزز إثبات المعرفة الصفرية بكفاءة
نوفا: تقنية جديدة لإثبات المعرفة الصفرية تعتمد على نظام قيود ترتيب الاسترخاء
نوفا هو نظام جديد مثبت للمعرفة الصفرية طورته مايكروسوفت، حيث يستخدم تقنية نظم القيود المرتخية ذات الرتبة الواحدة (Relaxed Rank-1 Constraint Systems، Relaxed R1CS) لتحسين كفاءة ومرونة الإثبات.
المزايا الرئيسية لـ Nova
استخدام تقنية R1CS المريحة، مما يسمح باستخدام عشوائية أقل في الإثبات، مما يزيد بشكل كبير من كفاءة الإثبات.
يدعم الحساب التدريجي، مما يتيح حساب دوال معقدة خطوة بخطوة، دون الحاجة إلى حساب الدالة بالكامل دفعة واحدة.
يدعم حسابات متعددة الحدود، قادر على معالجة مهام إثبات أكثر تعقيدًا.
العيوب المحتملة لنوفا
قد تؤدي استخدام R1CS المريح إلى تقليل أمان الإثباتات، لكن المطورين قد اتخذوا تدابير لمعالجة هذه المشكلة.
التنفيذ معقد نسبيًا، مما يزيد من صعوبة الاستخدام والصيانة.
وضع نوفا في مجال zk-SNARKs
لقد فتحت Nova طريقًا جديدًا لتطوير zk-SNARKs. إن تقنية R1CS المريحة التي تعتمدها تجعل عملية إنشاء وإثبات البرهان أكثر كفاءة، وهو أمر حيوي لتطبيقات zk-SNARKs على نطاق واسع. وتساعد الميزات التي تدعم الحسابات التزايدية والحسابات متعددة الحدود في توسيع نطاق تطبيقات zk-SNARKs.
المكونات الأساسية لـ Nova
R1CS و R1CS المرنة: أنظمة قيود تُستخدم لبناء zk-SNARKs.
مخطط التزام متعدد الحدود: يستخدم لإثبات قيمة تقييم متعدد الحدود دون الكشف عن متعدد الحدود نفسه.
خوارزمية Sumcheck: تستخدم للتحقق من جمع كثيرات الحدود.
4.方案 غير تفاعلي للطي (NIFS): يستخدم لإثبات صحة كل خطوة في الحساب التزايدي.
تشفير المنحنيات البيضاوية (ECC): يوفر تقنية تشفير مفتاح عام فعالة.
دالة هاش Keccak256: تُستخدم لمعالجة transcript في عملية zk-SNARKs.
نوڤا من خلال تركيبة مبتكرة من هذه المكونات، حققت نظام إثبات المعرفة الصفرية فعال ومرن، مما يوفر إمكانيات جديدة في مجالات blockchain، والتحقق من الهوية، والحوسبة الآمنة.