Succinct SP1: أسرع zkVM في الوقت الحالي

Succinct هو مشروع ZK رائد، ومنتجه الأساسي SP1 هو أسرع zkVM في الوقت الحالي. لقد حصل المشروع على تمويل قدره 55 مليون دولار.

تتميز SP1 بالخصائص التالية:

• أداء رائد، إثبات السرعة أعلى من غيرها من zkVM بمعدل يصل إلى 28 مرة، مع انخفاض كبير في التكلفة.

• يدعم كتابة ZKP باستخدام Rust، مما يتيح إعادة استخدام المكتبات البرمجية الحالية، وزيادة كفاءة التطوير بمقدار 100 مرة.

• يدعم التطبيقات على مستوى الإنتاج، وقد تم تدقيقه بواسطة محترفين، واعتمدته العديد من المشاريع الكبيرة.

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

1. مقدمة عن SP1

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

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

إثبات عدم المعرفة ( ZKP ) يمكنه إثبات صحة حساب ما دون الكشف عن أي بيانات إدخال. تُستخدم هذه التقنية على نطاق واسع في مجال البلوكتشين، بما في ذلك التوسع، التشغيل البيني، حماية الخصوصية، بالإضافة إلى الجسور والأوراكل.

ومع ذلك، فإن تطوير ZKP التقليدي معقد للغاية، ويتطلب فريقًا متخصصًا في التشفير، وفترات تطوير طويلة، وتكاليف صيانة مرتفعة. لقد غير ظهور SP1 هذا الوضع تمامًا.

٢. خصائص SP1

1. أداء ممتاز

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

2. دعم تطوير Rust

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

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

أدخل SP1 آلية "التحضير المسبق"، والتي تم تحسينها بشكل كبير للعمليات الشائعة في التشفير ( مثل keccak وsha256 والتحقق من التوقيع وغيرها من العمليات ). هذه التحضيرات المسبقة تقلل بشكل كبير من تكاليف الحساب، مما يعزز بشكل ملحوظ كفاءة SP1 في معالجة أحمال العمل المعقدة على blockchain. على سبيل المثال، يقوم SP1 بتشغيل عميل خفيف ZK Tendermint، مما يقلل زمن التحقق من ساعتين و2.2 إلى 4.6 دقيقة.

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

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

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

5. شراكة واسعة

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

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

٣. سيناريوهات تطبيق SP1

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

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

• جسر عبر السلاسل: يمكن لـ SP1 التحقق من توافق طبقة 1 ( مثل Tendermint أو عميل Ethereum الخفيف )، وبناء جسر عبر السلاسل آمن وفعال.

• التشغيل البيني: من خلال SP1، يمكن تحقيق تحديد سريع وتشغيل بيني بين Rollups.

• أوراكل: يدعم SP1 حسابات كبيرة خارج السلسلة ( مثل استعلامات الحالة التاريخية، وتعلم الآلة على السلسلة )، ويولد إثباتات قابلة للتحقق على السلسلة، مما يقلل بشكل كبير من تكاليف الغاز.

• الخصوصية: يمكن لـ SP1 تحقيق المعاملات الخاصة والحالة، مما يحمي أمان بيانات المستخدم.

• التجميع: يمكن لـ SP1 تجميع ZKP المماثلة، مما يقلل بشكل أكبر من تكلفة التحقق على السلسلة.