في كلمات مؤسس @0xPolygon، @sandeepnailwal، عرّف الإثبات المتشائم كحل أمان ZK يضمن أنه لا يمكن لأي سلسلة سحب أكثر من ما أودعته من الجسر المشترك.
وصفًا أكثر، الإثبات المتشائم هو ببساطة أمان zk للتشغيل المتداخل بين السلاسل، وهو أيضًا حل تشفيري متكامل في Agglayer لمعالجة جميع السلاسل على أنها غير موثوقة وسيتحقق منها بشكل صارم. بعبارة أخرى:
الإثبات المتشائم هو تغطية واقية ودفاعية على المعاملات في Agglayer عبر سلاسل متداخلة متنوعة، مع تواصل سلس وتفاعل بين هذه السلاسل.
مع تشغيل هذا البروتوكول على الشبكة الرئيسية (Mainnet)، فإنه يهيئ الإطار لتمكين Agglayer من العمل على العديد من البُنى/الـ stacks، وبالتالي ضمان السلامة للمعاملات بين السلاسل.
تجمع الإثباتات الموجودة على Agglayer V0.2 بين سلاسل مختلفة وتوحدها، وتُدخل هذه الترقية ميزتين محددتين إلى النظام:
١. المرونة: اتصالات سلاسل ذات نماذج أمنية مختلفة
٢. السلامة: يوفر السلامة للتوافقية بين السلاسل.
كيف تعمل إثباتات Pessimistic.
- يستخدم جسرًا موحدًا في جعل #Agglayer بروتوكولًا لامركزيًا يقوم بقياس/توسعة سلاسل الكتل عبر توحيد السيولة والمستخدمين والحالات.
- يوفر ضمانًا تشفيريًا يسمح للسلاسل بالاتصال بجسور مشتركة دون ثقة.
- يتيح للمستخدمين نقل الأصول من السلسلة (A) إلى السلسلة (B) دون وسيط، ما يعكس الشفافية في Agglayer
- يضمن إثبات Pessimistic دائمًا عدم قيام أي سلسلة بالتلاعب بالإيداعات إلى سلاسل أخرى.
- يشكل Agglayer إثباتات تفاؤلية (Pessimistic proofs) من خلال العمل مع ثلاث معلومات مهمة:
١. تقوم السلاسل بتحديث نفسها بشكل صحيح
٢. تقوم السلاسل بحساباتها الداخلية بشكل صحيح، أي لا تحاول سحب رموز لا تملكها.
٣. قامت جميع السلاسل بإجراء حساباتها الداخلية بشكل صحيح.
فوائد لـ Agglayer
- يمكن لـ Agglayer حساب كيفية إجراء المعاملات بين سلاسل مختلفة، وذلك لمنع أي مقاطعة/تعطيل في النظام.
- يجعل Agglayer آمنًا وذكيًا وموثوقًا للمعاملات.
- تواصل سريع وسلس بين السلاسل
- توافقية كافية
- قابلية التوسع والسيولة
- عدم فقدان الرسالة من سلسلة إلى أخرى.
- يصبح Agglayer متاحًا لسلاسل أخرى وليس فقط تلك الموجودة على Polygon CDK.
تُعد هذه الترقية شرطًا مسبقًا مهمًا لكي ينتقل Agglayer إلى مرحلته التالية من الترقية.
اقرأ المزيد عن ترقية Agglayer عبر منشور المدونة:
https://polygon.technology/blog/major-development-upgrade-for-a-multistack-future-pessimistic-proofs-live-on-agglayer-mainnet