إنه يشبه تقريبًا أوبر لإثباتات المعرفة الصفرية: التطبيقات هي الركاب، ومقدمو الخدمة هم السائقون، والشبكة تضمن أن يلعب الجميع بعدل.



SP1 - zkVM

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

$احترافي
{مستقبل}(احترافيUSDT)
ZERO-2.75%
PROVE-0.97%
OWN-0.14%
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
  • أعجبني
  • تعليق
  • إعادة النشر
  • مشاركة
تعليق
0/400
لا توجد تعليقات
  • تثبيت