Succinct أطلقت SP1: آلة افتراضية ذات أداء متفوق مع عدم الكشف عن المعلومات
Succinct هو مشروع معروف في مجال المعرفة الصفرية، ويعتبر منتجه الأساسي SP1 هو أقوى zkVM من حيث الأداء في الوقت الحالي.
SP1 يمتاز بالخصائص البارزة التالية:
• سرعة إثبات أعلى من غيرها من الآلات الافتراضية zkVM بما يصل إلى 28 مرة، وتكاليف أقل بشكل كبير
• يدعم استخدام لغة Rust لكتابة الإثباتات صفرية المعرفة، مما يزيد من كفاءة التطوير بمئة مرة
• تم اعتماده من قبل العديد من تدقيقات الأمان، وتم استخدامه من قبل عدة مشاريع معروفة
SP1 هو آلة افتراضية عامة للمعرفة الصفرية (zkVM)، يسمح للمطورين بكتابة الشفرات باستخدام لغات رئيسية مثل Rust وتوليد إثباتات المعرفة الصفرية الفعالة، للتحقق من التنفيذ الصحيح للبرامج.
تتمثل الابتكار الأساسي في خفض الحواجز أمام تطوير الإثباتات الصفرية بشكل كبير، مع الحفاظ على الأداء العالي والمرونة. يجعل SP1 تطوير التطبيقات ذات الإثباتات الصفرية سهلاً مثل كتابة البرمجيات العادية، مما يوفر دعم القابلية للتحقق للبنية التحتية للبلوك تشين ( مثل Rollup والجسور عبر السلاسل والأوراكل وغيرها ).
إثبات المعرفة الصفرية ( ZKP ) يمكن أن يثبت صحة الحساب دون الكشف عن بيانات الإدخال، وله تطبيقات واسعة في مجال البلوكشين:
• تحقيق التوسع من خلال Rollup
• تعزيز التشغيل البيني عبر السلاسل
• حماية خصوصية المعاملات
• التحقق من بيانات خارج السلسلة
إن تطوير ZKP التقليدي معقد، ويستغرق وقتًا طويلاً، ويكلف الكثير. لقد غير ظهور SP1 هذه الحالة تمامًا.
الميزات الرئيسية لـ SP1
أداء رائد في الصناعة
في أحمال العمل الفعلية على blockchain، SP1 أسرع من zkVM الأخرى بمعدل 4-28 مرة. النسخة الأحدث SP1 Turbo تحقق كتل شبكة الإيثيريوم الرئيسية على تجمعات GPU في 40 ثانية فقط، وتكلفتها تقل إلى بضعة سنتات.
دعم تطوير Rust
يسمح SP1 بكتابة منطق ZKP مباشرة باستخدام Rust، وإعادة استخدام مكتبات النظام البيئي الموجودة في Rust. يمكن للمطورين بسهولة تحويل شفرة عقد blockchain الحالية إلى تطبيقات ZKP.
آلية ما قبل التجميع
تم إدخال آلية ما قبل التجميع SP1، والتي تم تحسينها بشكل كبير للعمليات التشفيرية الشائعة ( مثل keccak وsha256 والتحقق من التوقيع وغيرها )، مما أدى إلى زيادة كبيرة في الأداء. على سبيل المثال، تم تقليل وقت التحقق من عميل ZK Tendermint الخفيف من 2.2 ساعة إلى 4.6 دقيقة.
أمان مفتوح المصدر
SP1 مفتوح المصدر بالكامل ( ترخيص MIT/Apache 2.0 ). تتيح بنية SP1 القابلة للتعديل تخصيص ما قبل التجميع، وتحسين الأداء لمشاهد معينة. SP1 جذب مطورين من عدة مشاريع معروفة للمشاركة في تحسينه.
لقد اجتاز SP1 تدقيق العديد من شركات الأمان ZK الرائدة، وحقق نتائج خالية من الثغرات الشديدة في مسابقة تدقيق علنية.
اعتماد واسع النطاق
لقد اعتمدت العديد من المشاريع المعروفة SP1 لبناء ZKP، مما يضمن أكثر من 10 مليارات دولار من الأصول على السلسلة (TVL). أصبح SP1 مكونًا قياسيًا للبنية التحتية للبلوكشين.
• Rollup: بناء ZK Rollup، إنشاء إثبات تحويل الحالة، ربطها بسلاسل الكتل الرئيسية مثل إيثيريوم.
• جسر عبر السلاسل: التحقق من توافق السلاسل المختلفة، وبناء جسر عبر السلاسل بشكل آمن وفعال
• التشغيل البيني: تحقيق اليقين السريع والتشغيل البيني بين Rollups
• الأوركل: يدعم الحسابات الكبيرة خارج السلسلة ويولد إثباتات قابلة للتحقق على السلسلة
• حماية الخصوصية: تحقيق معاملات وحالات سرية
• إثبات التجميع: تجميع ZKP من نفس النوع، مما يقلل من تكلفة التحقق على السلسلة.
SP1 تجلب تغييرات ثورية لنظام blockchain البيئي، مما يجعل تقنية إثبات المعرفة الصفرية أكثر سهولة وكفاءة وانتشارًا.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
SP1: Succinct أطلقت آلة افتراضية تعتمد على المعرفة الصفرية ذات أداء متفوق
Succinct أطلقت SP1: آلة افتراضية ذات أداء متفوق مع عدم الكشف عن المعلومات
Succinct هو مشروع معروف في مجال المعرفة الصفرية، ويعتبر منتجه الأساسي SP1 هو أقوى zkVM من حيث الأداء في الوقت الحالي.
SP1 يمتاز بالخصائص البارزة التالية:
• سرعة إثبات أعلى من غيرها من الآلات الافتراضية zkVM بما يصل إلى 28 مرة، وتكاليف أقل بشكل كبير • يدعم استخدام لغة Rust لكتابة الإثباتات صفرية المعرفة، مما يزيد من كفاءة التطوير بمئة مرة • تم اعتماده من قبل العديد من تدقيقات الأمان، وتم استخدامه من قبل عدة مشاريع معروفة
! موجز SP1: أسرع zkVM
مقدمة SP1
SP1 هو آلة افتراضية عامة للمعرفة الصفرية (zkVM)، يسمح للمطورين بكتابة الشفرات باستخدام لغات رئيسية مثل Rust وتوليد إثباتات المعرفة الصفرية الفعالة، للتحقق من التنفيذ الصحيح للبرامج.
تتمثل الابتكار الأساسي في خفض الحواجز أمام تطوير الإثباتات الصفرية بشكل كبير، مع الحفاظ على الأداء العالي والمرونة. يجعل SP1 تطوير التطبيقات ذات الإثباتات الصفرية سهلاً مثل كتابة البرمجيات العادية، مما يوفر دعم القابلية للتحقق للبنية التحتية للبلوك تشين ( مثل Rollup والجسور عبر السلاسل والأوراكل وغيرها ).
إثبات المعرفة الصفرية ( ZKP ) يمكن أن يثبت صحة الحساب دون الكشف عن بيانات الإدخال، وله تطبيقات واسعة في مجال البلوكشين:
• تحقيق التوسع من خلال Rollup • تعزيز التشغيل البيني عبر السلاسل • حماية خصوصية المعاملات • التحقق من بيانات خارج السلسلة
إن تطوير ZKP التقليدي معقد، ويستغرق وقتًا طويلاً، ويكلف الكثير. لقد غير ظهور SP1 هذه الحالة تمامًا.
الميزات الرئيسية لـ SP1
في أحمال العمل الفعلية على blockchain، SP1 أسرع من zkVM الأخرى بمعدل 4-28 مرة. النسخة الأحدث SP1 Turbo تحقق كتل شبكة الإيثيريوم الرئيسية على تجمعات GPU في 40 ثانية فقط، وتكلفتها تقل إلى بضعة سنتات.
يسمح SP1 بكتابة منطق ZKP مباشرة باستخدام Rust، وإعادة استخدام مكتبات النظام البيئي الموجودة في Rust. يمكن للمطورين بسهولة تحويل شفرة عقد blockchain الحالية إلى تطبيقات ZKP.
تم إدخال آلية ما قبل التجميع SP1، والتي تم تحسينها بشكل كبير للعمليات التشفيرية الشائعة ( مثل keccak وsha256 والتحقق من التوقيع وغيرها )، مما أدى إلى زيادة كبيرة في الأداء. على سبيل المثال، تم تقليل وقت التحقق من عميل ZK Tendermint الخفيف من 2.2 ساعة إلى 4.6 دقيقة.
SP1 مفتوح المصدر بالكامل ( ترخيص MIT/Apache 2.0 ). تتيح بنية SP1 القابلة للتعديل تخصيص ما قبل التجميع، وتحسين الأداء لمشاهد معينة. SP1 جذب مطورين من عدة مشاريع معروفة للمشاركة في تحسينه.
لقد اجتاز SP1 تدقيق العديد من شركات الأمان ZK الرائدة، وحقق نتائج خالية من الثغرات الشديدة في مسابقة تدقيق علنية.
لقد اعتمدت العديد من المشاريع المعروفة SP1 لبناء ZKP، مما يضمن أكثر من 10 مليارات دولار من الأصول على السلسلة (TVL). أصبح SP1 مكونًا قياسيًا للبنية التحتية للبلوكشين.
! موجز SP1: أسرع zkVM
مجالات تطبيق SP1
SP1 لديه تطبيقات متعددة في مجال blockchain:
• Rollup: بناء ZK Rollup، إنشاء إثبات تحويل الحالة، ربطها بسلاسل الكتل الرئيسية مثل إيثيريوم. • جسر عبر السلاسل: التحقق من توافق السلاسل المختلفة، وبناء جسر عبر السلاسل بشكل آمن وفعال • التشغيل البيني: تحقيق اليقين السريع والتشغيل البيني بين Rollups • الأوركل: يدعم الحسابات الكبيرة خارج السلسلة ويولد إثباتات قابلة للتحقق على السلسلة • حماية الخصوصية: تحقيق معاملات وحالات سرية • إثبات التجميع: تجميع ZKP من نفس النوع، مما يقلل من تكلفة التحقق على السلسلة.
SP1 تجلب تغييرات ثورية لنظام blockchain البيئي، مما يجعل تقنية إثبات المعرفة الصفرية أكثر سهولة وكفاءة وانتشارًا.