Succinct: نجم جديد في مجال ZK

Succinct هو مشروع بارز في مجال إثبات المعرفة الصفرية (ZKP)، ويعتبر منتجه الأساسي SP1 أسرع آلة افتراضية للمعرفة الصفرية (zkVM) في الوقت الحالي.

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

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

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

مقدمة SP1

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

تتمثل الابتكارات الأساسية في SP1 في تقليل كبير لعقبات تطوير ZKP، مع الحفاظ على الأداء العالي والمرونة. يجعل تطوير ZKP سهلًا مثل كتابة البرامج العادية، مما يسمح للبنية التحتية ل блокчейн ( مثل Rollup و الجسور عبر السلاسل و أوامر البيانات بأن تحقق القابلية للتحقق من خلال كود يمكن صيانته.

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

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

أدى ظهور SP1 إلى تغيير الوضع التقليدي لتطوير ZKP الذي كان معقدًا ويستغرق وقتًا طويلاً وبتكاليف عالية.

ميزات SP1

) 1. الأداء الرائد

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

) 2. دعم تطوير Rust

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

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

تقدم SP1 آلية "التحضير المسبق"، وتقوم بتحسين العمليات التشفيرية الشائعة ### مثل keccak و sha256 والتحقق من التوقيع وغيرها (، مما يقلل بشكل كبير من تكاليف الحساب. على سبيل المثال، يقوم SP1 بتشغيل عميل خفيف ZK Tendermint، حيث تم تقصير وقت التحقق من 2.2 ساعة إلى 4.6 دقيقة.

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

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

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

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

! [موجز SP1: أسرع zkVM])https://img-cdn.gateio.im/webp-social/moments-7eb5f72c1df8caab22cd25376d932345.webp(

تطبيقات SP1

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

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

جلب SP1 إمكانيات جديدة للنظام البيئي blockchain، مما يعزز الاستخدام والابتكار الواسع لتقنية ZKP.