Succinct: المشروع الرائد في ZK وتقنية SP1 الخاصة به

Succinct هو مشروع رائد في مجال إثباتات عدم المعرفة (ZK)، وقد أكمل حتى الآن جولتين من التمويل بمجموع 55 مليون دولار. يُعتبر المنتج الأساسي للمشروع SP1 أسرع آلة افتراضية تعتمد على إثباتات عدم المعرفة (zkVM) في الوقت الحالي.

تشمل المزايا الرئيسية لـ SP1:

• أداء ممتاز، سرعة إثبات تفوق 28 مرة على zkVM الأخرى، وتكاليف ملحوظة أقل.
• دعم استخدام لغة Rust لكتابة ZKP، مما يتيح إعادة استخدام المكتبات الحالية، مما يزيد بشكل كبير من كفاءة التطوير.
• مناسب لسيناريوهات التطبيقات الإنتاجية، تم تدقيقه أمنيًا بدقة، وقد اعتمدته العديد من المشاريع المعروفة.

! موجز SP1: أسرع zkVM

مقدمة SP1

SP1 هو جهاز zkVM عام، يسمح للمطورين باستخدام لغة Rust أو لغات أخرى تدعم تجميع LLVM لكتابة كود عادي، وتوليد براهين صفرية فعالة للتحقق من التنفيذ الصحيح للبرامج.

الابتكار الأساسي في SP1 يكمن في خفض عتبة تطوير ZKP بشكل كبير، مع الحفاظ على الأداء العالي والمرونة. إنه يجعل تطوير ZKP بسيطًا مثل كتابة برنامج عادي، مما يسمح للبنية التحتية للبلوكشين ( مثل Rollup، والجسور عبر السلاسل، والعرّافات، وغيرها من ) بتحقيق القابلية للتحقق من خلال كود يمكن الحفاظ عليه.

تستخدم تقنية ZKP على نطاق واسع في مجال blockchain، بما في ذلك:

• توسيع: من خلال Rollup يتم ضغط عدد كبير من المعاملات إلى إثبات واحد، مما يقلل من عبء السلسلة الرئيسية.
• التداخلية: تحقق من حالة سلاسل الكتل المختلفة، وتعزز الاتصالات عبر السلاسل.
• حماية الخصوصية: ضمان خصوصية المعاملات أو الحالة، وحماية بيانات المستخدم.
• الجسور وآلات التنبؤ: تحقيق التحقق غير الموثوق به على السلسلة للبيانات أو الحسابات خارج السلسلة.

ظهر SP1 ليغير تمامًا الوضع التقليدي لتطوير ZKP المعقد والوقت المستغرق والتكاليف العالية.

الخصائص الرئيسية لـ SP1

1. zkVM الرائدة في الأداء

في أعباء العمل الفعلية على البلوكشين، يكون SP1 أسرع من غيره من zkVM بمعدل 4-28 مرة، قريبًا من أداء الدوائر المخصصة المحسّنة يدويًا. الإصدار الأحدث SP1 Turbo (v4.0.0) يتحقق من كتل الشبكة الرئيسية للإيثريوم على مجموعات GPU في غضون 40 ثانية فقط، بتكلفة منخفضة للغاية.

2. دعم كتابة ZKP باستخدام Rust

يسمح SP1 للمطورين باستخدام Rust لكتابة منطق ZKP وإعادة استخدام مكتبات نظام Rust الحالية مباشرة. يمكن للمطورين الاستفادة مباشرة من كود عقد blockchain الموجود، وبإجراء تعديلات بسيطة يمكنهم إنشاء ZKP، مما يبسط بشكل كبير عملية التطوير.

3. آلية ما قبل الترجمة

يقدم SP1 آلية "التجميع المسبق"، حيث يتم تحسين العمليات المشفرة الشائعة بشكل كبير، مما يقلل بشكل ملحوظ من تكلفة الحساب. على سبيل المثال، تم تقليص وقت التحقق من عميل ZK Tendermint الخفيف من 2.2 ساعة إلى 4.6 دقيقة.

4. المصدر المفتوح والأمان

SP1 مفتوح المصدر بالكامل ( ترخيص MIT/Apache 2.0 )، هيكلها المعياري يسمح للمطورين بتخصيص "ما قبل التجميع"، وتحسين أداء حالات الاستخدام المحددة. لقد اجتاز SP1 تدقيقًا من قبل العديد من الشركات الرائدة في أمان ZK، وحقق نتائج خالية من الثغرات عالية الخطورة في مسابقة تدقيق علنية.

5. التعاون الواسع

لقد اعتمدت العديد من المشاريع المعروفة SP1 لبناء ZKP، مما يضمن أكثر من 10 مليارات دولار من الأصول على السلسلة (TVL). أصبح SP1 جزءًا مهمًا من البنية التحتية للكتل، مع نطاق تطبيق يشمل Rollup، والجسور عبر السلاسل، والأوراكل، وبروتوكولات الخصوصية.

! موجز SP1: أسرع zkVM

حالات استخدام SP1

SP1 لديه تطبيقات متعددة في مجال blockchain:

• Rollup: بناء ZK Rollup، إنشاء إثباتات المعرفة الصفرية لتحويل الحالة، ربط السلسلة الرئيسية لتحقيق قدرة عالية على المعالجة وتكاليف منخفضة.
• جسر متعدد السلاسل: التحقق من توافق Layer 1، وبناء جسر متعدد السلاسل آمن وفعال.
• التوافقية: تحقيق التأكيد السريع والتشغيل المتداخل بين الـ Rollups.
• الأوراكل: يدعم حسابات ضخمة خارج السلسلة وينتج إثباتات قابلة للتحقق على السلسلة، مما يقلل من تكاليف الغاز.
• حماية الخصوصية: تحقيق معاملات وحالات سرية، وحماية بيانات المستخدم.
• التجميع: تجميع ZKP من نفس النوع، مما يقلل من تكلفة التحقق على السلسلة.

ظهور SP1 أحدث تغييرات ثورية في بنية تحتية blockchain، مما مهد الطريق لمزيد من التطبيقات الابتكارية.