إثبات كل شيء، الشك في كل شيء - مفارقة Succinct



في عالم التشفير، نحن دائمًا نسعى وراء تناقض:
كيف تبني الثقة في بيئة غير موثوقة؟

الطرق التقليدية للحل هي إثبات التكرار: ازدواجية السجل، توافق العقد، وتنافس قوة الحوسبة.
Succinct تختار الطريق المعاكس - إنها تختار أبسط إثبات.

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

لذا، أصبح كل شيء ممكنًا.
يمكن ضغط أي حساب، أي سلسلة، أي منطق، ونقله والتحقق منه.

ولكن في نفس الوقت، أثار ذلك شكوكًا جديدة:
عندما يمكن "إثبات" كل شيء، هل لا زلنا بحاجة إلى تجربته بأنفسنا؟
عندما يتم "التحقق" من كل شيء، هل سنفقد حق الشك؟

هذه هي مفارقة Succinct.
و $PROVE هو العملة التي تحمل هذا التناقض.

إنه وقود الدفع، الذي يدفع العديد من $prove للعمل؛
أيضًا، نظام الرهن يمنع الشبكة من القيام بأعمال الشر؛
أكثر من ذلك، هو مقياس الثقة، في عالم المعرفة الصفرية المجرد، يترك أكثر نقاط الارتكاز قيمة.

ربما في المستقبل، ستتواجد الإثباتات والشكوك معًا.
مثل الضوء والظل، لا ينفي أحدهما الآخر، بل يكمل كل منهما الآخر.

و @SuccinctLabs تقف عند تلك المفترق.
#SuccinctLabs
PROVE-1.1%
شاهد النسخة الأصلية
post-image
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
  • أعجبني
  • تعليق
  • إعادة النشر
  • مشاركة
تعليق
0/400
لا توجد تعليقات
  • تثبيت