SP1 هو zkVM عام يسمح للمطورين باستخدام لغات تدعم تجميع LLVM مثل Rust لكتابة كود عادي، وإنتاج إثباتات معرفية فعالة للتحقق من التنفيذ الصحيح للبرامج.
تتمثل الابتكارات الأساسية في خفض كبير لعقبات تطوير ZKP، مع الحفاظ على أداء ومرونة من الطراز الأول. تجعل SP1 تطوير ZKP سهلاً مثل كتابة البرمجيات العادية، مما يسمح للبنية التحتية للبلوكشين ) مثل Rollup، الجسور عبر السلاسل، وعلم البيانات، وما إلى ذلك ( بالتحقق من الصحة من خلال الشفرات القابلة للصيانة.
تكنولوجيا ZKP يمكن أن تثبت صحة حساب معين دون الكشف عن بيانات الإدخال. وهذا له تطبيقات واسعة في مجال blockchain، مثل التوسع، والتشغيل المتداخل، وحماية الخصوصية، وغيرها. ومع ذلك، فإن تطوير ZKP التقليدي معقد للغاية، ويتطلب فريقًا متخصصًا وموارد كبيرة. ظهور SP1 غير هذه الوضعية تمامًا.
الميزات الرئيسية لـ SP1
أداء ممتاز: أسرع من zkVM الأخرى بمعدل 4-28 مرة في أحمال العمل الحقيقية على البلوكشين. الإصدار الأخير SP1 Turbo تم التحقق منه على مجموعة GPU مما يتطلب 40 ثانية فقط للتحقق من كتل الشبكة الرئيسية للإيثيريوم، بتكلفة تصل إلى بضع سنتات.
دعم تطوير Rust: يسمح بكتابة منطق ZKP باستخدام Rust، ويمكن إعادة استخدام مكتبات البيئة الحالية لـ Rust مباشرة. يمكن للمطورين تعديل كود عقد blockchain الحالي لإنشاء ZKP، مما يبسط عملية التطوير بشكل كبير.
آلية التجميع المسبق: تم تحسينها بشكل كبير للعمليات التشفيرية الشائعة، مما يعزز الأداء بشكل ملحوظ. على سبيل المثال، في عميل ZK Tendermint الخفيف، تم تقليل وقت التحقق من 2.2 ساعة إلى 4.6 دقيقة.
الأمان مفتوح المصدر: 100% مفتوح المصدر، تدعم البنية المعمارية المعيارية تحسين مخصص. تم تدقيقها من قبل العديد من شركات الأمان الرائدة، وحققت نتائج خالية من الثغرات العالية الخطورة في مسابقات التدقيق العامة.
التطبيقات الواسعة: تم اعتمادها من قبل العديد من المشاريع المعروفة، مما يضمن أكثر من مليار دولار من الأصول على السلسلة. أصبحت تدريجياً التكوين القياسي للبنية التحتية للبلوكشين.
Rollup: بناء ZK Rollup، إنشاء إثبات المعرفة الصفرية لتحويل الحالة، ربط سلسلة الكتلة الرئيسية لتحقيق قدرة عالية على المعالجة وتكاليف منخفضة.
جسر عبر السلاسل: التحقق من توافق الآراء بين سلاسل الكتل المختلفة، وبناء اتصالات عبر السلاسل بشكل آمن وفعال.
التوافقية: تحقيق تحديد سريع وتوافق بين Rollups.
أوراكل: يدعم حسابات كبيرة خارج السلسلة ويولد أدلة قابلة للتحقق على السلسلة، مما يقلل من تكاليف الغاز.
حماية الخصوصية: تحقيق المعاملات والحالة السرية، وحماية أمان بيانات المستخدم.
إثبات التجميع: تجميع ZKP من نفس النوع، مما يقلل بشكل أكبر من تكلفة التحقق على السلسلة.
SP1 يحقق ثورة في بنية تحتية البلوك تشين، مما يعزز تطبيق تكنولوجيا ZKP في المزيد من السيناريوهات.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 17
أعجبني
17
8
مشاركة
تعليق
0/400
LiquidityNinja
· 07-11 22:35
تم تأمين عائلة zk بالكامل
شاهد النسخة الأصليةرد0
RugPullAlarm
· 07-11 00:53
تحسين سرعة بمقدار 28 مرة؟ لا أجرؤ على الاقتراب من العقود التي لم تمر بالتدقيق
شاهد النسخة الأصليةرد0
StablecoinArbitrageur
· 07-10 00:36
*يعدل نظارته* أسرع بـ 28 مرة؟ قمت بحساباتي... إمكانيات التحكيم بالغاز هنا مجنونة
شاهد النسخة الأصليةرد0
GhostAddressMiner
· 07-09 10:46
28 مرة سرعة؟ قطع الأموال لا تزال قابلة للتتبع. من يفهم يفهم.
شاهد النسخة الأصليةرد0
NFTragedy
· 07-09 10:45
أه، zk على وشك التحديث الكبير مرة أخرى
شاهد النسخة الأصليةرد0
ChainPoet
· 07-09 10:45
عصر zkvm قادم بسرعة
شاهد النسخة الأصليةرد0
token_therapist
· 07-09 10:41
انظر من حصل على rust مرة أخرى
شاهد النسخة الأصليةرد0
SatoshiHeir
· 07-09 10:40
بشكل أساسي ، يعتبر zkVM امتدادًا لـ POW ، هل هناك اقتباسات لدعم ذلك؟ دعونا نناقش بعد أن تتعلموا جميعًا.
SP1: أسرع zkVM يجعل تطوير ZKP مثل كتابة كود عادي
Succinct SP1: أسرع تنفيذ zkVM
Succinct هو مشروع رائد في الإثباتات الصفرية المعرفة (ZKP)، ويعتبر منتجه الأساسي SP1 هو أقوى آلة افتراضية صفرية المعرفة zkVM( في الأداء الحالي.
تشمل المزايا الرئيسية لـ SP1:
! [موجز SP1: أسرع zkVM])https://img-cdn.gateio.im/webp-social/moments-4df014af6080fb855e1994d3d3d3a157.webp(
مقدمة SP1
SP1 هو zkVM عام يسمح للمطورين باستخدام لغات تدعم تجميع LLVM مثل Rust لكتابة كود عادي، وإنتاج إثباتات معرفية فعالة للتحقق من التنفيذ الصحيح للبرامج.
تتمثل الابتكارات الأساسية في خفض كبير لعقبات تطوير ZKP، مع الحفاظ على أداء ومرونة من الطراز الأول. تجعل SP1 تطوير ZKP سهلاً مثل كتابة البرمجيات العادية، مما يسمح للبنية التحتية للبلوكشين ) مثل Rollup، الجسور عبر السلاسل، وعلم البيانات، وما إلى ذلك ( بالتحقق من الصحة من خلال الشفرات القابلة للصيانة.
تكنولوجيا ZKP يمكن أن تثبت صحة حساب معين دون الكشف عن بيانات الإدخال. وهذا له تطبيقات واسعة في مجال blockchain، مثل التوسع، والتشغيل المتداخل، وحماية الخصوصية، وغيرها. ومع ذلك، فإن تطوير ZKP التقليدي معقد للغاية، ويتطلب فريقًا متخصصًا وموارد كبيرة. ظهور SP1 غير هذه الوضعية تمامًا.
الميزات الرئيسية لـ SP1
أداء ممتاز: أسرع من zkVM الأخرى بمعدل 4-28 مرة في أحمال العمل الحقيقية على البلوكشين. الإصدار الأخير SP1 Turbo تم التحقق منه على مجموعة GPU مما يتطلب 40 ثانية فقط للتحقق من كتل الشبكة الرئيسية للإيثيريوم، بتكلفة تصل إلى بضع سنتات.
دعم تطوير Rust: يسمح بكتابة منطق ZKP باستخدام Rust، ويمكن إعادة استخدام مكتبات البيئة الحالية لـ Rust مباشرة. يمكن للمطورين تعديل كود عقد blockchain الحالي لإنشاء ZKP، مما يبسط عملية التطوير بشكل كبير.
آلية التجميع المسبق: تم تحسينها بشكل كبير للعمليات التشفيرية الشائعة، مما يعزز الأداء بشكل ملحوظ. على سبيل المثال، في عميل ZK Tendermint الخفيف، تم تقليل وقت التحقق من 2.2 ساعة إلى 4.6 دقيقة.
الأمان مفتوح المصدر: 100% مفتوح المصدر، تدعم البنية المعمارية المعيارية تحسين مخصص. تم تدقيقها من قبل العديد من شركات الأمان الرائدة، وحققت نتائج خالية من الثغرات العالية الخطورة في مسابقات التدقيق العامة.
التطبيقات الواسعة: تم اعتمادها من قبل العديد من المشاريع المعروفة، مما يضمن أكثر من مليار دولار من الأصول على السلسلة. أصبحت تدريجياً التكوين القياسي للبنية التحتية للبلوكشين.
! [موجز SP1: أسرع zkVM])https://img-cdn.gateio.im/webp-social/moments-7eb5f72c1df8caab22cd25376d932345.webp(
سيناريوهات تطبيق SP1
SP1 له تطبيقات متعددة في مجال البلوكشين:
Rollup: بناء ZK Rollup، إنشاء إثبات المعرفة الصفرية لتحويل الحالة، ربط سلسلة الكتلة الرئيسية لتحقيق قدرة عالية على المعالجة وتكاليف منخفضة.
جسر عبر السلاسل: التحقق من توافق الآراء بين سلاسل الكتل المختلفة، وبناء اتصالات عبر السلاسل بشكل آمن وفعال.
التوافقية: تحقيق تحديد سريع وتوافق بين Rollups.
أوراكل: يدعم حسابات كبيرة خارج السلسلة ويولد أدلة قابلة للتحقق على السلسلة، مما يقلل من تكاليف الغاز.
حماية الخصوصية: تحقيق المعاملات والحالة السرية، وحماية أمان بيانات المستخدم.
إثبات التجميع: تجميع ZKP من نفس النوع، مما يقلل بشكل أكبر من تكلفة التحقق على السلسلة.
SP1 يحقق ثورة في بنية تحتية البلوك تشين، مما يعزز تطبيق تكنولوجيا ZKP في المزيد من السيناريوهات.