تعريف إثباتات الأخطاء:
تعمل إثباتات الأخطاء كآلية للحفاظ على أمان وعدم الإحتياج للثقة في عمليات Optimistic Roll-ups. حيث إنها أدلة تشفير يتم تقديمها إلى البلوكتشين من الطبقة الأولى لتحدي أي أنشطة ضارة محتملة أو حسابات غير صحيحة على الطبقة الثانية. هذه البراهين ضرورية لضمان سلامة النظام بأكمله.
منع سوء السلوك:
تعمل إثباتات الأخطاء كرادع ضد السلوك غير النزيه. إذا حاول أحد المشاركين تقديم بيانات احتيالية أو غير صحيحة إلى الطبقة الثانية، فيمكن لأي مراقب استخدام إثبات الخطأ للطعن في صحة البيانات، مما يؤدي في النهاية إلى رفض المعاملات الاحتيالية.
كيف تعمل إثباتات الأخطاء:
بإستخدام Optimistic Roll-up، يقدم المشاركون المعاملات والبيانات خارج السلسلة، ويتم إرسال مجموعة فرعية صغيرة فقط من هذه البيانات بشكل دوري إلى الطبقة الأولى للتسوية. إذا اكتشف أحد المشاركين نشاطًا احتياليًا، فيمكنه إصدار تحدي احتيال عن طريق إرسال دليل على الخطأ إلى الطبقة 1.
حل النزاعات:
بمجرد تقديم إثبات الخطأ، تبدأ عملية حل النزاع المحددة مسبقًا. تقدم الأطراف المعنية، بما في ذلك الجهة الخبيثة والمنافس، أدلة إضافية لدعم ادعاءاتها. ثم يقوم العقد الذكي من الطبقة الأولى بتقييم هذه الأدلة واتخاذ القرار، ومعاقبة المخطئ إذا لزم الأمر.
إستخدام Optimism للمجموعات المتفائلة وإثباتات الأخطاء
يتم نشر الإلتزامات إلى الطبقة الأولى وهى هنا شبكة Ethereum في حالة OP Mainnet دون أي دليل مباشر على صحة هذه الالتزامات. وبدلاً من ذلك، تعتبر هذه الالتزامات معلقة لفترة من الوقت (تسمى “نافذة التحدي”). إذا لم يتم الاعتراض على الإلتزام المقترح طوال مدة نافذة التحدي (المحددة حاليًا بـ 7 أيام)، فسيتم اعتباره نهائيًا. بمجرد اعتبار الالتزام نهائيًا، يمكن للعقود الذكية على Ethereum أن تقبل بأمان إثباتات السحب حول حالة OP Mainnet بناءً على هذا الالتزام.
عندما يتم الطعن في الإلتزام، يمكن إبطاله من خلال عملية “إثبات الخطأ” التى تكلمنا عنها أعلاة. إذا تم الطعن في الالتزام بنجاح، فسيتم إزالته ليتم استبداله في النهاية بالتزام مقترح آخر. من المهم ملاحظة أن التحدي الناجح لا يؤدي إلى التراجع في OP Mainnet نفسها، بل يؤدي فقط إلى الالتزامات المنشورة حول حالة السلسلة. لا يتغير ترتيب المعاملات وحالة OP Mainnet من خلال تحدي إثبات الخطأ.